Meeting a Powertrain Verification Challenge
- 16 July 2015
- book chapter
- Published by Springer Nature
- p. 536-543
Abstract
No abstract availableKeywords
This publication has 13 references indexed in Scilit:
- Bounded Verification with On-the-Fly Discrepancy Computation2015
- Efficient Guiding Strategies for Testing of Temporal Properties of Hybrid Systems2015
- C2E2: A Verification Tool for Stateflow Models2015
- Powertrain control verification benchmark2014
- Temporal Precedence Checking for Switched Models and Its Application to a Parallel Landing ProtocolLecture Notes in Computer Science, 2014
- Verification of annotated models from executions2013
- Flow*: An Analyzer for Non-linear Hybrid Systems2013
- S-TaLiRo: A Tool for Temporal Logic Falsification for Hybrid Systems2011
- Breach, A Toolbox for Verification and Parameter Synthesis of Hybrid Systems2010
- A Lyapunov approach to incremental stability propertiesIEEE Transactions on Automatic Control, 2002