-
1
-
-
0000050873
-
Hybrid automata: An algorithm approach to the specification and verification of hybrid systems
-
A.R. Ravn, H. Rischel, and R.L. Grossman, editors. Springer-Verlag
-
R. Alur, C. Courcoubetis, T.A. Henzinger, and P. Ho. Hybrid automata: an algorithm approach to the specification and verification of hybrid systems. In A.R. Ravn, H. Rischel, and R.L. Grossman, editors, Lecture Notes in Computer Science, volume 736, pages 209-229. Springer-Verlag, 1993.
-
(1993)
Lecture Notes in Computer Science
, vol.736
, pp. 209-229
-
-
Alur, R.1
Courcoubetis, C.2
Henzinger, T.A.3
Ho, P.4
-
2
-
-
0032051095
-
Hybrid control systems: An introductory discussion to the special issue
-
April. special issue
-
P.J. Antsaklis and A. Nerode. Hybrid control systems: An introductory discussion to the special issue. IEEE Automatic Control, 43(4):457-460, April 1998. special issue.
-
(1998)
IEEE Automatic Control
, vol.43
, Issue.4
, pp. 457-460
-
-
Antsaklis, P.J.1
Nerode, A.2
-
3
-
-
0034291822
-
Observability and controllability of piecewise affine and hybrid systems
-
A. Bemporad, G. Ferrari-Trecate, and M. Morari. Observability and controllability of piecewise affine and hybrid systems. IEEE Automatic Control, 45(10):1864-1876, 2000.
-
(2000)
IEEE Automatic Control
, vol.45
, Issue.10
, pp. 1864-1876
-
-
Bemporad, A.1
Ferrari-Trecate, G.2
Morari, M.3
-
5
-
-
0033100637
-
Complexity of stability and controllability of elementary hybrid systems
-
V.D. Blondel and J.N. Tsitsiklis. Complexity of stability and controllability of elementary hybrid systems. Automatica, 35(3):479-490, 1999.
-
(1999)
Automatica
, vol.35
, Issue.3
, pp. 479-490
-
-
Blondel, V.D.1
Tsitsiklis, J.N.2
-
6
-
-
0031701911
-
A unified framework for hybrid control: Model and optimal control theory
-
January
-
Michael S. Branicfcy, Vivek S. Borkar, and Sanjoy K. Mitter. A unified framework for hybrid control: Model and optimal control theory. IEEE Automatic Control, 43(l):31-45, January 1998.
-
(1998)
IEEE Automatic Control
, vol.43
, Issue.1
, pp. 31-45
-
-
Branicfcy, M.S.1
Borkar, V.S.2
Mitter, S.K.3
-
7
-
-
0032047438
-
Hierarchical hybrid control systems: A lattice theoretic formulation
-
April
-
P.E. Caines and Y.J. Wei. Hierarchical hybrid control systems: A lattice theoretic formulation. IEEE Automatic Control, 43(4):501-508, April 1998.
-
(1998)
IEEE Automatic Control
, vol.43
, Issue.4
, pp. 501-508
-
-
Caines, P.E.1
Wei, Y.J.2
-
8
-
-
0024685717
-
Controllability and observability of hybrid systems
-
J. Ezzine and A.H. Haddad. Controllability and observability of hybrid systems. International Journal of Control, 49(6):2045-2055, 1989.
-
(1989)
International Journal of Control
, vol.49
, Issue.6
, pp. 2045-2055
-
-
Ezzine, J.1
Haddad, A.H.2
-
10
-
-
0033311181
-
Basic problems in stability and design of switched systems
-
October
-
D. Liberzon and A. S. Morse. Basic problems in stability and design of switched systems. IEEE Control Systems, pages 59-70, October 1999.
-
(1999)
IEEE Control Systems
, pp. 59-70
-
-
Liberzon, D.1
Morse, A.S.2
-
12
-
-
0027727738
-
On the controllability of hybrid control systems
-
San Antonio, Texas
-
J.A. Stiver and P.J. Antsaklis. On the controllability of hybrid control systems. In Proc. of 32st CDC, pages 294-299, San Antonio, Texas, 1993.
-
(1993)
Proc. of 32st CDC
, pp. 294-299
-
-
Stiver, J.A.1
Antsaklis, P.J.2
-
13
-
-
0032048781
-
Control design for integrator hybrid systems
-
April
-
M. Tittus and B. Egardt. Control design for integrator hybrid systems. IEEE Automatic Control, 43(4):491-500, April 1998.
-
(1998)
IEEE Automatic Control
, vol.43
, Issue.4
, pp. 491-500
-
-
Tittus, M.1
Egardt, B.2
-
14
-
-
84957866652
-
A sufficient condition for controllability of a class of hybrid systems
-
T.A. Henzinger and S. Sastry, editors, number 1386 in LNCS. Springer
-
Jan H. van Schuppen. A sufficient condition for controllability of a class of hybrid systems. In T.A. Henzinger and S. Sastry, editors, Hybrid Systems: Computation and Control, number 1386 in LNCS, pages 374-383. Springer, 1998.
-
(1998)
Hybrid Systems: Computation and Control
, pp. 374-383
-
-
Van Schuppen, J.H.1
-
15
-
-
0006077151
-
A unified approach for controllability analysis of hybrid control systems
-
Bratislava, Slovak Republic, June
-
Z. Yang and M. Blanke. A unified approach for controllability analysis of hybrid control systems. In Proc. of IFAC CSD2000, pages 158-163, Bratislava, Slovak Republic, June 2000.
-
(2000)
Proc. of IFAC CSD2000
, pp. 158-163
-
-
Yang, Z.1
Blanke, M.2
-
16
-
-
4944257065
-
On-line multiple-model based adaptive control reconfiguration for a class of nonlinear control systems
-
Budapest, Hungary, June
-
Z. Yang, R. Izadi-Zamanabadi, and M. Blanke. On-line multiple-model based adaptive control reconfiguration for a class of nonlinear control systems. In Proc. of IFAC Safeprocess 2000, pages 745-750, Budapest, Hungary, June 2000.
-
(2000)
Proc. of IFAC Safeprocess 2000
, pp. 745-750
-
-
Yang, Z.1
Izadi-Zamanabadi, R.2
Blanke, M.3
-
17
-
-
0006034011
-
Hybrid controllability of linear switched systems
-
Tampa,FL, USA, December
-
Z. Yang, M. Verhaegen, Y.J. Wang, and Z.J. Chen. Hybrid controllability of linear switched systems. In Proc. of 37th CDC, pages 3920-3925, Tampa,FL, USA, December 1998.
-
(1998)
Proc. of 37th CDC
, pp. 3920-3925
-
-
Yang, Z.1
Verhaegen, M.2
Wang, Y.J.3
Chen, Z.J.4
|