Sciweavers

Share
CAV
2010
Springer

Breach, A Toolbox for Verification and Parameter Synthesis of Hybrid Systems

9 years 1 months ago
Breach, A Toolbox for Verification and Parameter Synthesis of Hybrid Systems
We describe Breach, a Matlab toolbox providing a coherent set of simulation-based techniques aimed at the analysis of deterministic models of hybrid dynamical systems. The primary feature of Breach is to facilitate the computation and the property investigation of large sets of trajectories. It relies on an efficient numerical solver of ordinary differential equations that can also provide information about sensitivity with respect to parameters variation. The latter is used to perform approximate reachability analysis and parameter synthesis. A major novel feature is the robust monitoring of metric interval temporal logic (MITL) formulas. The application domain of Breach ranges from embedded systems design using Simulink to the analysis of complex non-linear models from systems biology.
Alexandre Donzé
Added 10 Feb 2011
Updated 10 Feb 2011
Type Journal
Year 2010
Where CAV
Authors Alexandre Donzé
Comments (0)
books