Discrete-time control for rectangular hybrid automata

This publication has 11 references indexed in Scilit:

• Symbolic model checking: 1020 States and beyond
  Published by Elsevier ,2004
• A theory of timed automata
  Published by Elsevier ,2002
• Algorithmic analysis of nonlinear hybrid systems
  IEEE Transactions on Automatic Control, 1998
• Automatic symbolic verification of embedded systems
  IEEE Transactions on Software Engineering, 1996
• The algorithmic analysis of hybrid systems
  Theoretical Computer Science, 1995
• Symbolic Model Checking for Real-Time Systems
  Information and Computation, 1994
• Number of quantifiers is better than number of tape cells
  Journal of Computer and System Sciences, 1981
• Alternation
  Journal of the ACM, 1981
• On the menbership problem for functional and multivalued dependencies in relational databases
  ACM Transactions on Database Systems, 1980
• Generalized finite automata theory with an application to a decision problem of second-order logic
  Theory of Computing Systems, 1968