Synthesis of supervisory controllers for hybrid systems based on approximating automata

This publication has 8 references indexed in Scilit:

• Modeling and analysis of switched-mode hybrid systems driven by threshold events
  Published by Springer Nature ,2005
• Condition/event signal interfaces for block diagram modeling and analysis of hybrid systems
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2002
• 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 system modeling and autonomous control systems
  Published by Springer Nature ,1993
• On condition/event systems with discrete state realizations
  Discrete Event Dynamic Systems, 1991
• On the periodicity of symbolic observations of piecewise smooth discrete-time systems
  IEEE Transactions on Automatic Control, 1990
• Control of discrete event processes with forced events
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,1987