Control of ω-automata under state fairness assumptions

Systems and Control Letters

Volumn 33, Issue 4, 1998, Pages 265-274

  Thistle, J G ^a   Malhame R P ^a  

^a ÉCOLE POLYTECHNIQUE DE MONTRÉAL   (Canada)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 0345764937     PISSN: 01676911     EISSN: None     Source Type: Journal    
DOI: 10.1016/S0167-6911(97)00106-0     Document Type: Article

References (14)

1. C. Courcoubetis, M. Yannakakis, Verifying temporal properties of finite-state probabilistic programs, in: Proc. 29th Annual Symp. on Foundations of Computer Science, 1988, pp. 338-345.
2. C. Courcoubetis, M.Y. Vardi, P. Wolper, Reasoning about fair concurrent programs (extended abstract), in: Symp. on the Theory of Computing, ACM, New York, 1986, pp. 283-294.
3. E.A. Emerson, Automata, tableaux and temporal logics, in: R. Parikh (Ed.), Logics of Programs, Lecture Notes in Computer Science, vol. 193, Springer, Berlin, 1985, pp. 79-87.
4. E.A. Emerson, C.S. Jutla, The complexity of tree automata and logics of programs (extended abstract), in: 29th Annual Symp. on Foundations of Computer Science, 1988, pp. 328-337.
5. E.A. Emerson, C.-L. Lei, Efficient model checking in fragments of the prepositional mu-calculus (extended abstract), in: Symp. on Logic in Computer Science, IEEE Press, New York, 1986, pp. 267-278.
6. A. Pnueli, R. Rosner, On the synthesis of a reactive module, in: 16th Annual Symp. on Principles of Programming Languages, ACM, New York, 1989, pp. 179-190.
7. M.O. Rabin, Automata on Infinite Objects and Church's Problem, Conf. Board of the Mathematical Sciences Regional Conf. Series in Mathematics, No. 13, American Mathematical Society, Providence, RI, 1972. Lectures from the CBMS Regional Conf. held at Morehouse College, Atlanta, Georgia, September 8-12, 1969.
8. P.J. Ramadge, W.M. Wonham, The control of discrete event systems, Proc. IEEE 77 (1) (1989) 81-98.
9. P.J.G. Ramadge, Some tractable supervisory control problems for discrete-event systems modeled by Büchi automata, IEEE Trans. Automat. Control 34 (1) (1989) 10-19.
10. A. Tarski, A lattice-theoretical fixpoint theorem and its applications, Pacific J. Math. 5 (1955) 285-309.
11. J.G. Thistle, On control of systems modelled as deterministic Rabin automata, Discrete Event Dynamic Systems: Theory and Applications 5 (4) (1995) 357-381.
12. J.G. Thistle, W.M. Wonham, Control of infinite behaviour of finite automata, SIAM J. Control Optim. 32 (4) (1994) 1075-1097.
13. J.G. Thistle, W.M. Wonham, Supervision of infinite behaviour of discrete-event systems, SIAM J. Control Optim. 32 (4) (1994) 1098-1113.
14. K.C. Wong, W.M. Wonham, Hierarchical control of timed discrete-event systems, in: Proc. 2nd European Control Conf., June-July 1993, pp. 509-512.