-
1
-
-
0024479313
-
The control of discrete event systems
-
Jan.
-
P. J. G. Ramadge and W. M. Wonham, "The control of discrete event systems," Proc. IEEE, vol. 77, no. 1, pp. 81-98, Jan. 1989.
-
(1989)
Proc. IEEE
, vol.77
, Issue.1
, pp. 81-98
-
-
Ramadge, P.J.G.1
Wonham, W.M.2
-
2
-
-
0000378227
-
On supervisory control of sequential behaviors
-
Dec.
-
R. Kumar, V. Garg, and S. I. Marcus, "On supervisory control of sequential behaviors," IEEE Trans. Automat. Contr., vol. 37, pp. 1978-1985, Dec. 1992.
-
(1992)
IEEE Trans. Automat. Contr.
, vol.37
, pp. 1978-1985
-
-
Kumar, R.1
Garg, V.2
Marcus, S.I.3
-
3
-
-
0024480135
-
Some tractable supervisory control problems for discrete-event systems modeled by Büchi automata
-
Jan.
-
P. J. G. Ramadge, "Some tractable supervisory control problems for discrete-event systems modeled by Büchi automata," IEEE Trans. Automat. Contr., vol. 34, pp. 10-19, Jan. 1989.
-
(1989)
IEEE Trans. Automat. Contr.
, vol.34
, pp. 10-19
-
-
Ramadge, P.J.G.1
-
4
-
-
0029379313
-
On control of systems modeled as deterministic Rabin automata
-
Sept.
-
J. G. Thistle, "On control of systems modeled as deterministic Rabin automata," Discrete Event Dynamic Syst.: Theory and Appl., vol. 5, no. 4, pp. 357-381, Sept. 1995.
-
(1995)
Discrete Event Dynamic Syst.: Theory and Appl.
, vol.5
, Issue.4
, pp. 357-381
-
-
Thistle, J.G.1
-
5
-
-
0028465594
-
Supervision of infinite behavior of discrete-event systems
-
July
-
J. G. Thistle and W. M Wonham, "Supervision of infinite behavior of discrete-event systems," SIAM J. Contr. Opt., vol. 32, no. 4, pp. 1098-1113, July 1994.
-
(1994)
SIAM J. Contr. Opt.
, vol.32
, Issue.4
, pp. 1098-1113
-
-
Thistle, J.G.1
Wonham, W.M.2
-
6
-
-
0027853460
-
Robust and adaptive supervisory control of discrete event systems
-
Dec.
-
F. Lin, "Robust and adaptive supervisory control of discrete event systems," IEEE Trans. Automat. Contr., vol. 38, pp. 1848-1852, Dec. 1993.
-
(1993)
IEEE Trans. Automat. Contr.
, vol.38
, pp. 1848-1852
-
-
Lin, F.1
-
7
-
-
0032049732
-
Synthesis of supervisory controllers for hybrid systems based on approximating automata
-
to be published
-
J. E. R. Cury, B. H. Krogh, and T. Niinomi, "Synthesis of supervisory controllers for hybrid systems based on approximating automata," IEEE Trans. Automat. Contr., to be published.
-
IEEE Trans. Automat. Contr.
-
-
Cury, J.E.R.1
Krogh, B.H.2
Niinomi, T.3
-
8
-
-
33746950392
-
-
Dept. Electrical and Computer Engineering, Carnegie Mellon Univ., Tech. Rep., Apr.
-
J. E. R. Cury and B. H. Krogh, "Design of robust supervisors for discrete event systems with infinite behaviors," Dept. Electrical and Computer Engineering, Carnegie Mellon Univ., Tech. Rep., Apr. 1996.
-
(1996)
Design of Robust Supervisors for Discrete Event Systems with Infinite Behaviors
-
-
Cury, J.E.R.1
Krogh, B.H.2
-
9
-
-
0001282303
-
Automata on infinite objects
-
J. van Leeuwen, Ed. New York: Elsevier, Ch. 4
-
W. Thomas, "Automata on infinite objects," in Handbook of Theoretical Computer Science, Volume B: Formal Models and Semantics, J. van Leeuwen, Ed. New York: Elsevier, 1990, Ch. 4.
-
(1990)
Handbook of Theoretical Computer Science, Volume B: Formal Models and Semantics
-
-
Thomas, W.1
|