There is no author summary for this book yet. Authors can add summaries to their books on ScienceOpen to make them more accessible to a non-specialist audience.

Related collections

Author and book information

Book Chapter

Publication date (Print): 2013

Pages: 258-263

DOI: 10.1007/978-3-642-39799-8_18

SO-VID: 2316cae5-55d3-4c52-a3bf-e773ae33a0fd

History

Data availability:

Comments

Comment on this book

Book chapters

Cited by 46

Simulation-Based Approaches for Verification of Embedded Control Systems: An Overview of Traditional and Advanced Modeling, Testing, and Verification Techniques
Authors: Ken Butts, James Kapinski, Jyotirmoy Deshmukh …
Automatic Reachability Analysis for Nonlinear Hybrid Models with C2E2
Authors: Chuchu Fan, Bolun Qi, Sayan Mitra …
How to model and prove hybrid systems with KeYmaera: a tutorial on safety
Authors: Jan-David Quesel, Stefan Mitsch, Sarah Loos …

See all cited by

Flow*: An Analyzer for Non-linear Hybrid Systems

Read this book at