Building Hybrid Observers for Complex Dynamic Systems Using Model Abstractions

This publication has 10 references indexed in Scilit:

• Hybrid Automata for Modeling Discrete Transitions in Complex Dynamic Systems
  IFAC Proceedings Volumes, 1998
• A hybrid modeling and verification paradigm for embedded control systems
  Control Engineering Practice, 1998
• A theory of discontinuities in physical system models
  Journal of the Franklin Institute, 1998
• Hybrid control of automotive powertrain systems: A case study
  Lecture Notes in Computer Science, 1998
• Hybrid control for automotive engine management: The cut-off case
  Published by Springer Nature ,1998
• Observer-based supervision and fault detection in robots using nonlinear and fuzzy logic residual evaluation
  IEEE Transactions on Control Systems Technology, 1996
• Planar hybrid systems
  Lecture Notes in Computer Science, 1995
• Hybrid automata: An algorithmic approach to the specification and verification of hybrid systems
  Published by Springer Nature ,1993
• Process fault detection based on modeling and estimation methods—A survey
  Automatica, 1984
• Nonlinear Stochastic Problems
  Published by Springer Nature ,1983