dReach swMATH ID: 20164 Software Authors: S. Kong, S. Gao, W. Chen, E. M. Clarke Description: dReach:(δ)-reachability analysis for hybrid systems. dReach is a bounded reachability analysis tool for nonlinear hybrid systems. It encodes reachability problems of hybrid systems to first-order formulas over real numbers, which are solved by delta-decision procedures in the SMT solver dReach. In this way, dReach is able to handle a wide range of highly nonlinear hybrid systems. It has scaled well on various realistic models from biomedical and robotics applications. Homepage: http://link.springer.com/chapter/10.1007%2F978-3-662-46681-0_15 Related Software: SpaceEx; Flow*; KeYmaera; HyTech; PHAVer; dReal; S-TaLiRo; KeYmaera X; ModelPlex; Bellerophon; z3; Sostools; MetiTarski; CalCS; StateFlow; HySAT; Haskell; HYST; Breach; C2e2 Referenced in: 22 Publications all top 5 Referenced by 80 Authors 2 Dreossi, Tommaso 2 Figueiredo, Daniel Ratton 2 Mitsch, Stefan 2 Platzer, André 2 Sogokon, Andrew 1 Abhishek, Aakash 1 Ahrendt, Wolfgang 1 Althoff, Matthias 1 Bak, Stanley 1 Bansal, Somil 1 Bartocci, Ezio 1 Bianculli, Domenico 1 Bogomolov, Sergiy 1 Bohrer, Brandon 1 Chaves, Madalena 1 Chen, Mingshuai 1 Chen, Mo 1 Cimatti, Alessandro 1 Cleaveland, Rance 1 Colombo, Christian 1 Cordwell, Katherine 1 Dai, Liyun 1 Dang, Thao 1 Duracz, Adam 1 Falcone, Yliès 1 Farjudian, Amin 1 Fenton, Flavio H. 1 Francalanza, Adrian 1 Fulton, Nathan 1 Gan, Ting 1 Goncharov, Sergeĭ Savost’yanovich 1 Griggio, Alberto 1 Grosu, Radu 1 Herbert, Sylvia L. 1 Irfan, Ahmed 1 Islam, Md. Ariful 1 Jackson, Paul B. 1 Jeannin, Jean-Baptiste 1 Johnson, Taylor T. 1 Jones, Paul L. 1 Krstić, Srđan 1 Li, Yinan 1 Lin, Wang 1 Liu, Jun 1 Lourenço, João M. 1 Mancini, Toni 1 Mari, Federico 1 Martins, Manuel António 1 Massini, Annalisa 1 Melatti, Igor 1 Moggi, Eugenio 1 Murillo, Kelly Patricia 1 Navarro-López, Eva María 1 Neves, Renato 1 Nickovic, Dejan 1 O’Toole, M. D. 1 Pace, Gordon J. 1 Piazza, Carla 1 Proença, José 1 Rocha, Eugénio Miguel Alexandre 1 Roveri, Marco 1 Rufino, José 1 Sánchez, César 1 Sandler, Andrei 1 Schneider, Gerardo 1 Sebastiani, Roberto 1 Signoles, Julien 1 Smolka, Scott A. 1 Sood, Harry 1 Taha, Walid 1 Tan, Yong Kiam 1 Tomlin, Claire J. 1 Traytel, Dmitry 1 Tronci, Enrico 1 Tveretina, Olga 1 Vashishtha, Mahesh S. 1 Weiss, Alexander 1 Xia, Bican 1 Yang, Zhengfeng 1 Zhan, Naijun all top 5 Referenced in 9 Serials 3 Formal Methods in System Design 2 Theoretical Computer Science 1 Mathematical Biosciences 1 IEEE Transactions on Automatic Control 1 Journal of Automated Reasoning 1 Archives of Control Sciences 1 Mathematical and Computer Modelling of Dynamical Systems 1 Nonlinear Analysis. Hybrid Systems 1 Journal of Logical and Algebraic Methods in Programming all top 5 Referenced in 10 Fields 15 Systems theory; control (93-XX) 14 Computer science (68-XX) 4 Biology and other natural sciences (92-XX) 2 Mathematical logic and foundations (03-XX) 2 Ordinary differential equations (34-XX) 2 Numerical analysis (65-XX) 1 Order, lattices, ordered algebraic structures (06-XX) 1 Category theory; homological algebra (18-XX) 1 Calculus of variations and optimal control; optimization (49-XX) 1 Mechanics of particles and systems (70-XX) Referencing Publications by Year