A Service-Oriented Approach for Decomposing and Verifying Hybrid System Models
- 13 February 2020
- book chapter
- conference paper
- Published by Springer Science and Business Media LLC
Abstract
No abstract availableKeywords
This publication has 25 references indexed in Scilit:
- Compositional Analysis of Hybrid Systems Defined Over Finite AlphabetsIFAC-PapersOnLine, 2018
- A Compositional Approach to the Verification of Hybrid SystemsPublished by Springer Science and Business Media LLC ,2016
- Formal verification of control systems' properties with theorem provingPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2014
- Why3 — Where Programs Meet ProversLecture Notes in Computer Science, 2013
- Assume-guarantee verification of nonlinear hybrid systems with AriadneInternational Journal of Robust and Nonlinear Control, 2012
- Contract-Based Verification of Simulink ModelsLecture Notes in Computer Science, 2011
- Z3: An Efficient SMT SolverLecture Notes in Computer Science, 2008
- Boogie: A Modular Reusable Verifier for Object-Oriented ProgramsLecture Notes in Computer Science, 2006
- Computational techniques for hybrid system verificationIEEE Transactions on Automatic Control, 2003
- Hybrid automata: An algorithmic approach to the specification and verification of hybrid systemsLecture Notes in Computer Science, 1993