Symbolic controller synthesis for discrete and timed systems

This publication has 27 references indexed in Scilit:

• A theory of timed automata
  Published by Elsevier ,2002
• On the synthesis of discrete controllers for timed systems
  Published by Springer Nature ,1995
• Symbolic Model Checking for Real-Time Systems
  Information and Computation, 1994
• Supervisory control of timed discrete-event systems
  IEEE Transactions on Automatic Control, 1994
• Supervisory control of a rapid thermal multiprocessor
  IEEE Transactions on Automatic Control, 1993
• Model-Checking in Dense Real-Time
  Information and Computation, 1993
• Symbolic Synthesis of Supervisory Controllers
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,1992
• Graph-Based Algorithms for Boolean Function Manipulation
  IEEE Transactions on Computers, 1986
• Using branching time temporal logic to synthesize synchronization skeletons
  Science of Computer Programming, 1982
• Solving sequential conditions by finite-state strategies
  Transactions of the American Mathematical Society, 1969