Synthesis of supervisory controllers for hybrid systems based on approximating automata

This publication has 10 references indexed in Scilit:

• Condition/event signal interfaces for block diagram modeling and analysis of hybrid systems
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2002
• Computing exact automaton representations for a class of hybrid systems
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2002
• Synthesis of supervisory controllers for hybrid systems based on approximating automata
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2002
• Automatic symbolic verification of embedded systems
  IEEE Transactions on Software Engineering, 1996
• Refinements of approximating automata for synthesis of supervisory controllers for hybrid systems
  Published by Springer Nature ,1996
• Supervision of Infinite Behavior of Discrete-Event Systems
  SIAM Journal on Control and Optimization, 1994
• Periodicity and chaos from switched flow systems: contrasting examples of discretely controlled continuous systems
  IEEE Transactions on Automatic Control, 1993
• Hybrid automata: An algorithmic approach to the specification and verification of hybrid systems
  Published by Springer Nature ,1993
• On condition/event systems with discrete state realizations
  Discrete Event Dynamic Systems, 1991
• Control of discrete event processes with forced events
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,1987