×

Breach

swMATH ID: 20822
Software Authors: Alexandre Donzé
Description: Breach, a toolbox for verification and parameter synthesis of hybrid systems. We describe Breach, a Matlab/C++ 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 to the analysis of complex non-linear models from systems biology.
Homepage: http://people.eecs.berkeley.edu/~donze/breach_page.html
Dependencies: Matlab
Related Software: S-TaLiRo; Flow*; SpaceEx; GitHub; C2e2; Matlab; PRISM; KeYmaera; Reluplex; Sapo; d/dt; HyTech; dReach; sitar; HSolver; RSOLVER; Uppaal; JuliaReach; AdaptiveStressTesting.jl; Julia
Cited in: 35 Documents

Standard Articles

1 Publication describing the Software Year
Breach -- a toolbox for verification and parameter synthesis of hybrid systems
Donzé, Alexandre
2010
all top 5

Cited by 112 Authors

6 Bartocci, Ezio
6 Nickovic, Dejan
5 Donzé, Alexandre
3 Deshmukh, Jyotirmoy V.
3 Dreossi, Tommaso
3 Mitra, Sayan
3 Seshia, Sanjit Arunkumar
2 Brim, Luboš
2 Češka, Milan
2 Fainekos, Georgios E.
2 Falcone, Yliès
2 Fan, Chuchu
2 Ferrère, Thomas
2 Grosu, Radu
2 Jin, Xiaoqing
2 Kapinski, James
2 Manjunath, Niveditha
2 Mokhlesi, Navid
2 Paoletti, Nicola
2 Sibai, Hussein
1 Ahrendt, Wolfgang
1 Åkesson, Knut
1 Alur, Rajeev
1 Annpureddy, Yashwanth
1 Arcaini, Paolo
1 Barbot, Benoît
1 Basagiannis, Stylianos
1 Basset, Nicolas
1 Bianculli, Domenico
1 Biewer, Sebastian
1 Bloem, Roderick
1 Bortolussi, Luca
1 Carpenter, Taylor J.
1 Carter, Rebekah
1 Casagrande, Alberto
1 Chandratre, Aniruddh
1 Chen, Hongkai
1 Colombo, Christian
1 Dang, Thao
1 Dannenberg, Frits
1 Dimitrova, Rayna
1 Dorigo, Luca
1 Duggirala, Parasara Sridhar
1 Forets, Marcelo
1 Francalanza, Adrian
1 Fries, Michael
1 Garoche, Pierre-Loïc
1 Gazda, Maciej W.
1 Ghosh, Shromona
1 Giantamidis, Georgios
1 Goyal, Manish
1 Hasuo, Ichiro
1 Heinze, Thomas S.
1 Henrion, Didier
1 Hermanns, Holger
1 Hernandez Acosta, Tomas
1 Huang, Zhenqi
1 Ito, Hisahiro
1 Ivanov, Radoslav
1 Jakšić, Stefan
1 Jha, Susmit
1 Juniwal, Garvit
1 Kassem, Ali
1 Khandait, Tanmay
1 Kouramas, Kostas
1 Krstić, Srđan
1 Kwiatkowska, Marta Z.
1 Lafourcade, Pascal
1 Lee, Insup
1 Lidén Eddeland, Johan
1 Lin, Shan
1 Liu, Che
1 Lourenço, João M.
1 Lyu, Deyun
1 Ma, Lei
1 Maderbacher, Benedikt
1 Magron, Victor
1 Majumdar, Rupak
1 Maler, Oded
1 Mateis, Cristinel
1 Mousavi, Mohammad Reza
1 Navarro-López, Eva María
1 Nenzi, Laura
1 Nesterini, Eleonora
1 Neubauer, Sophie A.
1 Pace, Gordon J.
1 Pappas, George J.
1 Pedrielli, Giulia
1 Piazza, Carla
1 Pippia, Eleonora
1 Prabhu, Vinayak S.
1 Rufino, José
1 Šafránek, David
1 Sahai, Tuhin
1 Sánchez, César
1 Sanguinetti, Guido
1 Sankaranarayanan, Sriram
1 Sanwal, Usman
1 Schilling, Christian
1 Schneider, Gerardo
...and 12 more Authors

Citations by Year