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

DOI10.1142/S0129054106004169zbMATH Open1096.68670OpenAlexW2156272518MaRDI QIDQ5484908FDOQ5484908

Authors: 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

Recommendations

• Automated Technology for Verification and Analysis
• Hybrid systems in automotive electronics design
• HyTech: A model checker for hybrid systems
• Powertrain control verification benchmark
• Hybrid diagrams

zbMATH Keywords

model checking

Mathematics Subject Classification ID

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

Cites Work

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

Cited In (9)

• Title not available (Why is that?)
• Hybrid Control and Verification of a Pulsed Welding Process
• Title not available (Why is that?)
• Automated Technology for Verification and Analysis
• Formal verification of specification models
• \textsc{DryVR}: data-driven verification and compositional reasoning for automotive systems
• Verification of Hybrid Systems
• FM 2005: Formal Methods
• Hybrid systems in automotive electronics design

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5484908)