Discrete-time control for rectangular hybrid automata

This publication has 16 references indexed in Scilit:

• Symbolic model checking: 1020 States and beyond
  Published by Elsevier ,2004
• The theory of hybrid automata
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2002
• A theory of timed automata
  Published by Elsevier ,2002
• Modularity for timed and hybrid systems
  Published by Springer Nature ,1997
• HyTech: A model checker for hybrid systems
  Published by Springer Nature ,1997
• The algorithmic analysis of hybrid systems
  Theoretical Computer Science, 1995
• What's decidable about hybrid automata?
  Published by Association for Computing Machinery (ACM) ,1995
• Hybrid automata with finite bisimulations
  Published by Springer Nature ,1995
• Algorithmic analysis of nonlinear hybrid systems
  Published by Springer Nature ,1995
• Alternation
  Journal of the ACM, 1981