Sciweavers

21 search results - page 1 / 5
» Effective algorithms for parametrizing linear control system...
Sort
View
64
Voted
AAECC
2005
Springer
91views Algorithms» more  AAECC 2005»
14 years 10 months ago
Effective algorithms for parametrizing linear control systems over Ore algebras
Frédéric Chyzak, Alban Quadrat, Dani...
99
Voted
HYBRID
2003
Springer
15 years 3 months ago
Model Checking LTL over Controllable Linear Systems Is Decidable
Abstract. The use of algorithmic verification and synthesis tools for hybrid systems is currently limited to systems exhibiting simple continuous dynamics such as timed automata o...
Paulo Tabuada, George J. Pappas
88
Voted
AAECC
1998
Springer
167views Algorithms» more  AAECC 1998»
14 years 10 months ago
Generalized Bezout Identity
We describe a new approach of the generalized Bezout identity for linear time-varying ordinary differential control systems. We also explain when and how it can be extended to line...
J. F. Pommaret, Alban Quadrat
88
Voted
AUTOMATICA
2007
154views more  AUTOMATICA 2007»
14 years 10 months ago
A globally stable saturated desired compensation adaptive robust control for linear motor systems with comparative experiments
The recently proposed saturated adaptive robust controller is integrated with desired trajectory compensation to achieve global stability with9 much improved tracking performance....
Yun Hong, Bin Yao
104
Voted
HYBRID
2010
Springer
15 years 5 days ago
Identifiability of discrete-time linear switched systems
In this paper we study the identifiability of linear switched systems (LSSs ) in discrete-time. The question of identifiability is central to system identification, as it sets the...
Mihály Petreczky, Laurent Bako, Jan H. van ...