Rectangular Hybrid Games

This publication has 25 references indexed in Scilit:

• A theory of timed automata
  Published by Elsevier ,2002
• Controllers for reachability specifications for hybrid systems
  Automatica, 1999
• What's Decidable about Hybrid Automata?
  Journal of Computer and System Sciences, 1998
• Algorithmic analysis of nonlinear hybrid systems
  IEEE Transactions on Automatic Control, 1998
• Control synthesis for a class of hybrid systems subject to configuration-based safety constraints
  Published by Springer Nature ,1997
• ε-Approximation of differential inclusions
  Published by Springer Nature ,1996
• The algorithmic analysis of hybrid systems
  Theoretical Computer Science, 1995
• Three Partition Refinement Algorithms
  SIAM Journal on Computing, 1987
• Supervisory Control of a Class of Discrete Event Processes
  SIAM Journal on Control and Optimization, 1987
• Number of quantifiers is better than number of tape cells
  Journal of Computer and System Sciences, 1981