Modelling and analysis of hybrid systems

This publication has 41 references indexed in Scilit:

• A unified framework for hybrid control
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2002
• Model-based verification of batch process control software
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2002
• Modeling of combined discrete/continuous processes
  AIChE Journal, 1994
• A dynamical simulation facility for hybrid systems
  Published by Springer Nature ,1993
• Control of discrete event systems modeled as hierarchical state machines
  IEEE Transactions on Automatic Control, 1993
• Petri nets: Properties, analysis and applications
  Proceedings of the IEEE, 1989
• The control of discrete event systems
  Proceedings of the IEEE, 1989
• Principles and engineering of process control with Petri nets
  IEEE Transactions on Automatic Control, 1988
• Differential automata and their discrete simulators
  Nonlinear Analysis, 1987
• Statecharts: a visual formalism for complex systems
  Science of Computer Programming, 1987