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; Matlab; KeYmaera; C2e2; dReach; sitar; GitHub; HSolver; RSOLVER; PRISM; ImageNet; AdaptiveStressTesting.jl; Julia; Reluplex; HARE; d/dt; HyTech; Sapo Cited in: 30 Publications 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 106 Authors 6 Bartocci, Ezio 6 Nickovic, Dejan 3 Deshmukh, Jyotirmoy V. 3 Donzé, Alexandre 3 Dreossi, Tommaso 3 Seshia, Sanjit Arunkumar 2 Brim, Luboš 2 Češka, Milan 2 Falcone, Yliès 2 Ferrère, Thomas 2 Jin, Xiaoqing 2 Kapinski, James 2 Manjunath, Niveditha 2 Mitra, Sayan 2 Paoletti, Nicola 1 Ahrendt, Wolfgang 1 Alur, Rajeev 1 Annpureddy, Yashwanth 1 Arcaini, Paolo 1 Basagiannis, Stylianos 1 Bianculli, Domenico 1 Biewer, Sebastian 1 Bloem, Roderick 1 Bortolussi, Luca 1 Carpenter, Taylor J. 1 Carter, Rebekah 1 Casagrande, Alberto 1 Chen, Hongkai 1 Colombo, Christian 1 Corso, Anthony 1 Dang, Thao 1 Dannenberg, Frits 1 Dimitrova, Rayna 1 Dorigo, Luca 1 Duggirala, Parasara Sridhar 1 Fainekos, Georgios E. 1 Fan, Chuchu 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 Grosu, Radu 1 Hasuo, Ichiro 1 Heinze, Thomas S. 1 Henrion, Didier 1 Hermanns, Holger 1 Huang, Zhenqi 1 Ito, Hisahiro 1 Ivanov, Radoslav 1 Jakšić, Stefan 1 Jha, Susmit 1 Juniwal, Garvit 1 Kassem, Ali 1 Kochenderfer, Mykel J. 1 Koren, Mark 1 Kouramas, Kostas 1 Krstić, Srđan 1 Kwiatkowska, Marta Z. 1 Lafourcade, Pascal 1 Lee, Insup 1 Lee, Ritchie 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 Mokhlesi, Navid 1 Moss, Robert J. 1 Mousavi, Mohammad Reza 1 Navarro-López, Eva María 1 Nenzi, Laura 1 Nesterini, Eleonora 1 Pace, Gordon J. 1 Pappas, George J. 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 Schneider, Gerardo 1 Shankar, Natarajan 1 Sibai, Hussein 1 Siddique, Umair 1 Signoles, Julien 1 Smolka, Scott A. 1 Thirioux, Xavier 1 Tiwari, Ashish Kumar ...and 6 more Authors all top 5 Cited in 11 Serials 6 Formal Methods in System Design 2 Theoretical Computer Science 2 Information and Computation 2 Nonlinear Analysis. Hybrid Systems 1 Acta Informatica 1 Automatica 1 SIAM Journal on Control and Optimization 1 Journal of Automated Reasoning 1 The Journal of Artificial Intelligence Research (JAIR) 1 Logical Methods in Computer Science 1 Numerical Algebra, Control and Optimization all top 5 Cited in 10 Fields 24 Computer science (68-XX) 12 Systems theory; control (93-XX) 7 Mathematical logic and foundations (03-XX) 4 Operations research, mathematical programming (90-XX) 4 Biology and other natural sciences (92-XX) 2 Numerical analysis (65-XX) 1 General and overarching topics; collections (00-XX) 1 Linear and multilinear algebra; matrix theory (15-XX) 1 Ordinary differential equations (34-XX) 1 Dynamical systems and ergodic theory (37-XX) Citations by Year