On the synthesis of discrete controllers for timed systems

This publication has 14 references indexed in Scilit:

• Tree automata, mu-calculus and determinacy
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2002
• A theory of timed automata
  Published by Elsevier ,2002
• Symbolic Model Checking for Real-Time Systems
  Information and Computation, 1994
• Supervisory control of timed discrete-event systems
  IEEE Transactions on Automatic Control, 1994
• Model-Checking in Dense Real-Time
  Information and Computation, 1993
• The control of discrete event systems
  Proceedings of the IEEE, 1989
• Supervisory Control of a Class of Discrete Event Processes
  SIAM Journal on Control and Optimization, 1987
• Trees, automata, and games
  Published by Association for Computing Machinery (ACM) ,1982
• Automata on Infinite Objects and Church’s Problem
  CBMS Regional Conference Series in Mathematics, 1972
• Solving sequential conditions by finite-state strategies
  Transactions of the American Mathematical Society, 1969