Modeling and analysis of switched-mode hybrid systems driven by threshold events

This publication has 7 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
• Models for hybrid systems: Automata, topologies, controllability, observability
  Published by Springer Nature ,1993
• Hybrid automata: An algorithmic approach to the specification and verification of hybrid systems
  Published by Springer Nature ,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
• Linear automaton transformations
  Proceedings of the American Mathematical Society, 1958