HYBRID SYSTEM VERIFICATION IS NOT A SINECURE — THE ELECTRONIC THROTTLE CONTROL CASE STUDY

DOI10.1142/S0129054106004169zbMath1096.68670OpenAlexW2156272518MaRDI QIDQ5484908

Ansgar Fehnker, Bruce H. Krogh

Publication date: 21 August 2006

Published in: International Journal of Foundations of Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1142/s0129054106004169

zbMATH Keywords

model checking

Mathematics Subject Classification ID

Application models in control theory (93C95) Specification and verification (program logics, model checking, etc.) (68Q60)

Related Items (1)

Verification of Hybrid Systems

Cites Work

• HyTech: A model checker for hybrid systems
• Variable structure systems with sliding modes
• Algorithmic analysis of nonlinear hybrid systems

This page was built for publication: HYBRID SYSTEM VERIFICATION IS NOT A SINECURE — THE ELECTRONIC THROTTLE CONTROL CASE STUDY