Hybrid systems in automotive control applications

This publication has 8 references indexed in Scilit:

• PARTS-a temporal logic-based real-time software specification method supporting multiple-viewpoints
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2002
• Adaptive compensation of fuel dynamics in an SI engine using a switching EGO sensor
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2002
• Models and Control Methodologies for IC Engine Idle Speed Control Design
  IFAC Proceedings Volumes, 1996
• Hybrid systems modelling and validating using Statecharts and Grafcet
  Annual Review in Automatic Programming, 1994
• Verifying hybrid systems
  Published by Springer Nature ,1993
• Control of discrete event systems modeled as hierarchical state machines
  IEEE Transactions on Automatic Control, 1993
• Statecharts: a visual formalism for complex systems
  Science of Computer Programming, 1987
• Implementation of digital controllers—A survey
  Automatica, 1987