On the synthesis of discrete controllers timed systems

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 900, Issue , 1995, Pages 229-242

  Maler, Oded ^a   Pnueli, Amir ^b   Sifakis, Joseph ^a  

^a VERIMAG   (France)

^b WEIZMANN INSTITUTE OF SCIENCE   (Israel)

Author keywords

[No Author keywords available]

Indexed keywords

APPLICATION PROGRAMS; EMBEDDED SYSTEMS; TIME SHARING SYSTEMS;

AUTOMATIC SYNTHESIS; DISCRETE CONTROLLERS; PROGRAM SYNTHESIS; REAL TIME CONTROLLERS; REAL-TIME EMBEDDED SYSTEMS; TIMED AUTOMATA; TIMED SYSTEMS; WINNING STRATEGY;

REAL TIME SYSTEMS;

EID: 84947771104     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-59042-0_76     Document Type: Conference Paper

References (18)

1. R. Alur and D.L. Dill, A Theory of Timed Automata, Theoretical Computer Science 126, 183-235, 1994.
2. R. Alur, C. Courcoubetis, and D.L. Dill, Model Checking in Dense Real Time, Information and Computation 104, 2-34, 1993.
3. M. Abadi, L. Lamport, and P. Wolper, Realizable and Unrealizable Concurrent Program Specifications. In Proc. 16th Int. Colloq. Aut. Lang. Prog., volume 372 of Lect. Notes in Comp. Sci., pages 1-17. Springer-Verlag, 1989.
4. B.A. Brandin and W.M. Wonham, Supervisory Control of Timed Discreteevent Systems, IEEE Transactions on Automatic Control, 39, 329-342, 1994.
5. J.R. Büchi and L.H. Landweber, Solving Sequential Conditions by Finite-state Operators, Trans. of the AMS 138, 295-311, 1969.
6. E.A. Emerson and C.J. Jutla, Tree Automata, μ-calculus and Determinacy, Proc. 32nd FOCS, 1991.
7. Y. Gurevich and L. Harrington, Trees, Automata and Games, Proc. l4th STOC, 1982.
8. T. Henzinger, X. Nicollin, J. Sifakis, and S. Yovine, Symbolic Modelchecking for Real-time Systems, Information and Computation 111, 193-244, 1994.
9. M. Le Borgne, Dynamical Systems over Finite Fields, Ph.D. thesis, Univ. Rennes 1, 1993 (In French).
10. A. Pnueli and R. Rosner. On the Synthesis of a Reactive Module, In Proc. 16th ACM Syrup. Princ. of Prog. Lang., pages 179-190, 1989.
11. M.O. Rabin, Automata on Infinite Objects and Church’s Problem, AMS, 1972.
12. P.J. Ramadge and W.M. Wonham, Supervisory Control of a Class of Discrete Event Processes, SIAM J. of Control and Optimization 25, 206-230, 1987.
13. P.J. Ramadge and W.M. Wonham, The Control of Discrete Event Systems, Proc. of the IEEE 77, 81-98, 1989.
14. J.G. Thistle and W.M. Wonham, Control of Infinite Behavior of Finite Automata, SIAM J. of Control and Optimization 32, 1075-1097, 1994.
15. W. Thomas, On the Synthesis of Strategies in Infinite Games, These proceedings.
16. B.A. Trakhtenbrot and Y.M. Barzdin, Finite Automata: Behavior and Synthesis, North-Holland, Amsterdam, 1973.
17. M.Y. Vardi, Personal communication.
18. H. Wong-Toi and G. Hoffmann, The Control of Dense Real-Time Discrete Event Systems, Technical report STAN-CS-92-1411, Stanford University, 1992.