21 search results - page 1 / 5 » Effective algorithms for parametrizing linear control system... |
AAECC
2005
Springer
13 years 4 months ago
2005
Springer
HYBRID
2003
Springer
13 years 10 months ago
2003
Springer
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...
AAECC
1998
Springer
13 years 4 months ago
1998
Springer
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...
AUTOMATICA
2007
13 years 5 months ago
2007
The recently proposed saturated adaptive robust controller is integrated with desired trajectory compensation to achieve global stability with9 much improved tracking performance....
HYBRID
2010
Springer
13 years 7 months ago
2010
Springer
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...