Timed Control with Partial Observability

This publication has 12 references indexed in Scilit:

• Infinite Games and Verification
  Published by Springer Nature ,2002
• A theory of timed automata
  Published by Elsevier ,2002
• A Comparison of Control Problems for Timed and Hybrid Systems
  Published by Springer Nature ,2002
• Timed Control Synthesis for External Specifications
  Published by Springer Nature ,2002
• Dense real-time games
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2002
• Supervisory control of timed discrete-event systems under partial observation
  IEEE Transactions on Automatic Control, 1995
• Modeling and Control of Logical Discrete Event Systems
  Published by Springer Nature ,1995
• Higher Order Logic Theorem Proving and Its Applications
  Published by Springer Nature ,1995
• Infinite games played on finite graphs
  Annals of Pure and Applied Logic, 1993
• The complexity of two-player games of incomplete information
  Journal of Computer and System Sciences, 1984