Control synthesis for a class of hybrid systems subject to configuration-based safety constraints

This publication has 18 references indexed in Scilit:

• Automata for modeling real-time systems
  Published by Springer Nature ,2005
• Steam-boiler control specification problem
  Published by Springer Nature ,1996
• Using HyTech to synthesize control parameters for a steam boiler
  Published by Springer Nature ,1996
• Universal computation and other capabilities of hybrid and continuous dynamical systems
  Theoretical Computer Science, 1995
• The algorithmic analysis of hybrid systems
  Theoretical Computer Science, 1995
• What's decidable about hybrid automata?
  Published by Association for Computing Machinery (ACM) ,1995
• Symbolic controller synthesis for discrete and timed systems
  Published by Springer Nature ,1995
• On-line control of partially observed discrete event systems
  Discrete Event Dynamic Systems, 1994
• Hybrid system modeling and autonomous control systems
  Published by Springer Nature ,1993
• Concurrency and discrete event control
  IEEE Control Systems Magazine, 1990