d/dt swMATH ID: 10314 Software Authors: Asarin, Eugene; Dang, Thao; Maler, Oded Description: d/dt is a tool for reachability analysis of continuous and hybrid systems with linear differential inclusions. The d/dt tool for verification of hybrid systems. We describe the tool d/dt which provides automatic safety verification of hybrid systems with linear continuous dynamics with uncertain input. The verification procedure is based on a method for overapproximating reachable sets by orthogonal polyhedra. The tool also allows to synthesize a controller which switches the system between continuous modes in order to satisfy a safety specification. Homepage: http://www-verimag.imag.fr/~tdang/ddt.html Related Software: HyTech; PHAVer; SpaceEx; RSOLVER; Uppaal; HSolver; Kronos; QEPCAD; Flow*; Benchmarks; MATISSE; C2e2; Breach; S-TaLiRo; KeYmaera; MiniSat; REDLOG; HARE; Bebop; Charon Cited in: 38 Documents all top 5 Cited by 79 Authors 6 Dang, Thao 4 Asarin, Eugene 4 Sankaranarayanan, Sriram 3 Damm, Werner 3 Disch, Stefan 3 Piazza, Carla 3 Pigorsch, Florian 3 Scholl, Christoph 3 Waldmann, Uwe 3 Wirtz, Boris 2 Bartocci, Ezio 2 Campagna, Dario 2 Corradini, Flavio 2 Di Berardini, Maria Rita 2 Duggirala, Parasara Sridhar 2 Entcheva, Emilia 2 Girard, Antoine 2 Grosu, Radu 2 Hungar, Hardi 2 Maler, Oded 2 Manna, Zohar 2 Mitra, Sayan 2 Pang, Jun 2 Prabhakar, Pavithra 2 Prajna, Stephen 2 Sipma, Henny B. 2 Smolka, Scott A. 2 Viswanathan, Mahesh 1 Ait-Ameur, Yamine 1 Akbarpour, Behzad 1 Althoff, Matthias 1 Basagiannis, Stylianos 1 Benerecetti, Massimo 1 Bhatia, Amit 1 Bu, Lei 1 Carloni, Luca P. 1 Casagrande, Alberto 1 Collins, Peter J. 1 Di Vito, Ben L. 1 Dierks, Henning 1 Donzé, Alexandre 1 Drechsler, Rolf 1 Dreossi, Tommaso 1 Dupont, Guillaume 1 Faella, Marco 1 Frazzoli, Emilio 1 Giantamidis, Georgios 1 Gonçalves, Jorge M. 1 Hagemann, Willem 1 Hamadeh, Abdullah O. 1 Ivančić, Franjo 1 Jacobs, Swen 1 Jadbabaie, Ali 1 Kavraki, Lydia E. 1 Koo, T. John 1 Kouramas, Kostas 1 Krogh, Bruce H. 1 Le Guernic, Colas 1 Li, Xuandong 1 Liberzon, Daniel 1 Minopoli, Stefano 1 Muñoz, César A. 1 Pantel, Marc 1 Passerone, Roberto 1 Paulson, Lawrence Charles 1 Pinto, Alessandro 1 Plaku, Erion 1 Policriti, Alberto 1 Rantzer, Anders 1 Ratschan, Stefan 1 Sangiovanni-Vincentelli, Alberto L. 1 She, Zhikun 1 Singh, Neeraj Kumar 1 Su, Hang 1 Tsachouridis, Vassilios A. 1 Vardi, Moshe Ya’akov 1 Wu, Xianbin 1 Xia, Songtao 1 Zhao, Jianhua all top 5 Cited in 9 Serials 4 Theoretical Computer Science 3 Formal Methods in System Design 2 Automatica 1 Acta Informatica 1 SIAM Journal on Control and Optimization 1 Science of Computer Programming 1 Discrete Event Dynamic Systems 1 Nonlinear Analysis. Hybrid Systems 1 Numerical Algebra, Control and Optimization all top 5 Cited in 12 Fields 27 Computer science (68-XX) 20 Systems theory; control (93-XX) 3 Operations research, mathematical programming (90-XX) 3 Biology and other natural sciences (92-XX) 1 General and overarching topics; collections (00-XX) 1 Mathematical logic and foundations (03-XX) 1 Commutative algebra (13-XX) 1 Linear and multilinear algebra; matrix theory (15-XX) 1 Ordinary differential equations (34-XX) 1 Numerical analysis (65-XX) 1 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 1 Information and communication theory, circuits (94-XX) Citations by Year