-
1
-
-
0001354261
-
Special issue on hybrid systems
-
P. Antsaklis, editor
-
P. Antsaklis, editor. Special Issue on Hybrid Systems. Proceedings of the IEEE. July 2000.
-
Proceedings of the IEEE. July 2000
-
-
-
3
-
-
0032049732
-
Synthesis of supervisory controllers for hybrid systems based on approximating automata
-
J. Cury, B. Krogh, and T. Niinomi. Synthesis of supervisory controllers for hybrid systems based on approximating automata. IEEE Trans. Autom. Control, 43(4):564568, 1998.
-
(1998)
IEEE Trans. Autom. Control
, vol.43
, Issue.4
, pp. 564568
-
-
Cury, J.1
Krogh, B.2
Niinomi, T.3
-
4
-
-
0005631555
-
Supervisory control of hybrid systems
-
July
-
X. D. Koutsoukos, P. J. Antsaklis, J. A. Stiver, and M. D. Lemmon. Supervisory control of hybrid systems. Proc. IEEE, 88(7):1026-1049, July 2000.
-
(2000)
Proc. IEEE
, vol.88
, Issue.7
, pp. 1026-1049
-
-
Koutsoukos, X.D.1
Antsaklis, P.J.2
Stiver, J.A.3
Lemmon, M.D.4
-
5
-
-
0029276430
-
Optimal supervisory control of discrete event dynamic systems
-
R. Kumar and V.K. Garg. Optimal supervisory control of discrete event dynamic systems. SIAM Journal on Control and Optimization, 33(2):419-439, 1995.
-
(1995)
SIAM Journal on Control and Optimization
, vol.33
, Issue.2
, pp. 419-439
-
-
Kumar, R.1
Garg, V.K.2
-
6
-
-
0028393268
-
Qualitative modeling of linear dynamical systems with quantised state measurements
-
J. Lunze. Qualitative modeling of linear dynamical systems with quantised state measurements. Automatica, 30(3):417-431, 1994.
-
(1994)
Automatica
, vol.30
, Issue.3
, pp. 417-431
-
-
Lunze, J.1
-
7
-
-
0033100884
-
Deterministic discrete-event representations of linear continuous-variable systems
-
J. Lunze, B. Nixdorf, and J. Schroder. Deterministic discrete-event representations of linear continuous-variable systems. Automatica, 35(3):396-406, 1999.
-
(1999)
Automatica
, vol.35
, Issue.3
, pp. 396-406
-
-
Lunze, J.1
Nixdorf, B.2
Schroder, J.3
-
8
-
-
0000870565
-
Models for hybrid systems: Automata, topologies, controllability, observability
-
In R. L. Grossman, A. Nerode, A. P. Ravn, and H. Rischel, editors; Berlin, Germany; Springer-Verlag
-
A. Nerode and W. Kohn. Models for hybrid systems: Automata, topologies, controllability, observability. In R. L. Grossman, A. Nerode, A. P. Ravn, and H. Rischel, editors, Hybrid Systems, pages 317-356, Berlin, Germany, 1993, Springer-Verlag.
-
(1993)
Hybrid Systems
, pp. 317-356
-
-
Nerode, A.1
Kohn, W.2
-
9
-
-
84947929785
-
A totally ordered set of discrete abstractions for a given hybrid system
-
In P. Antsaklis, W. Kohn, A. Nerode, and S. Sastry, editors; Germany; Springer-Verlag
-
J. Raisch and S. O'Young. A totally ordered set of discrete abstractions for a given hybrid system. In P. Antsaklis, W. Kohn, A. Nerode, and S. Sastry, editors, Hybrid Systems IV, pages 342-360, Germany, 1997. Springer-Verlag.
-
(1997)
Hybrid Systems IV
, pp. 342-360
-
-
Raisch, J.1
O'Young, S.2
-
10
-
-
0032047689
-
Discrete approximation and supervisory control of continuous systems
-
J. Raisch and S. O'Young, Discrete approximation and supervisory control of continuous systems. IEEE Trans. Autom. Control, 43(4):568-573, 1998.
-
(1998)
IEEE Trans. Autom. Control
, vol.43
, Issue.4
, pp. 568-573
-
-
Raisch, J.1
O'Young, S.2
-
11
-
-
0030161807
-
A logical DES approach to the design of hybrid control systems
-
J. Stiver, P. Antsaklis, and M. Lemmon. A logical DES approach to the design of hybrid control systems. Mathl. Comput. Modelling, 23(11/12):55-76, 1996.
-
(1996)
Mathl. Comput. Modelling
, vol.23
, Issue.11-12
, pp. 55-76
-
-
Stiver, J.1
Antsaklis, P.2
Lemmon, M.3
-
12
-
-
0003506104
-
-
ECE Department, University of Toronto, revised 1 July
-
W. M. Wonham. Notes on Control of Discrete-Event Systems. ECE Department, University of Toronto, revised 1 July 2002. http://www.control.utoronto.ca/DES.
-
(2002)
Notes on Control of Discrete-Event Systems
-
-
Wonham, W.M.1
|