SpaceEx swMATH ID: 10939 Software Authors: Goran Frehse, Colas Le Guernic, Alexandre Donzé, Scott Cotton, Rajarshi Ray,Olivier Lebeltel, Rodolfo Ripado, Antoine Girard,Thao Dang, Oded Maler Description: SpaceEx: Scalable Verification of Hybrid Systems. We present a scalable reachability algorithm for hybrid systems with piecewise affine, non-deterministic dynamics. It combines polyhedra and support function representations of continuous sets to compute an over-approximation of the reachable states. The algorithm improves over previous work by using variable time steps to guarantee a given local error bound. In addition, we propose an improved approximation model, which drastically improves the accuracy of the algorithm. The algorithm is implemented as part of SpaceEx, a new verification platform for hybrid systems, available at spaceex.imag.fr. Experimental results of full fixed-point computations with hybrid systems with more than 100 variables illustrate the scalability of the approach. Homepage: http://spaceex.imag.fr/ Related Software: HyTech; PHAVer; Flow*; KeYmaera; RSOLVER; Ellipsoidal Toolbox; dReach; HSolver; d/dt; C2e2; z3; PPL; S-TaLiRo; Uppaal; HySAT; Breach; KeYmaera X; HYST; XSpeed; GitHub Cited in: 79 Documents Further Publications: http://spaceex.imag.fr/documentation/publications all top 5 Cited by 187 Authors 9 Bogomolov, Sergiy 8 Frehse, Goran 7 Johnson, Taylor T. 6 Platzer, André 4 Althoff, Matthias 4 Bak, Stanley 4 Dang, Thao 4 Duggirala, Parasara Sridhar 4 Podelski, Andreas 3 Abate, Alessandro 3 Bresolin, Davide 3 Dreossi, Tommaso 3 Forets, Marcelo 3 Geretti, Luca 3 Krogh, Bruce H. 3 Mitra, Sayan 3 Mitsch, Stefan 3 Prabhakar, Pavithra 3 Schilling, Christian 3 Villa, Tiziano 2 Ben Sassi, Mohamed Amin 2 Bouissou, Olivier 2 Chapoutot, Alexandre 2 Chen, Mo 2 Collins, Peter J. 2 Goubault, Eric 2 Hamilton, Nathaniel P. 2 Henzinger, Thomas A. 2 Kaynama, Shahab 2 Mitchell, Ian M. 2 Nguyen, Luan Viet 2 Pappas, George J. 2 Piazza, Carla 2 Putot, Sylvie 2 Sankaranarayanan, Sriram 2 Sogokon, Andrew 2 Tan, Yong Kiam 2 Testylier, Romain 2 Tran, Hoang-Dung 2 Viswanathan, Mahesh 2 Xiang, Weiming 1 Abbas, Houssam 1 Ábrahám, Erika 1 Ahrendt, Wolfgang 1 Ait-Ameur, Yamine 1 Alexandre dit Sandretto, Julien 1 Aliprantis, Dionysios C. 1 Alur, Rajeev 1 Ames, Aaron D. 1 André, Étienne 1 Arcaini, Paolo 1 Arcak, Murat 1 Aréchiga, Nikos 1 Bansal, Somil 1 Bartha, Ferenc Ágoston 1 Bartocci, Ezio 1 Basagiannis, Stylianos 1 Becker, Stephen R. 1 Benerecetti, Massimo 1 Benvenuti, Luca 1 Bianculli, Domenico 1 Bohrer, Brandon 1 Bourke, Timothy 1 Bu, Lei 1 Carpenter, Taylor J. 1 Casagrande, Alberto 1 Cassez, Franck 1 Cattaruzza, Dario 1 Chen, Xin 1 Cimatti, Alessandro 1 Colombo, Christian 1 Cordwell, Katherine 1 Damm, Werner 1 Deshmukh, Jyotirmoy V. 1 Devonport, Alex 1 Djaballah, Adel 1 Doyen, Laurent 1 Drechsler, Rolf 1 Dudley, Rachel 1 Dumont, Guy A. 1 Dupont, Guillaume 1 Duracz, Adam 1 Duracz, Jan 1 Erwin, Richard Scott 1 Fabriková, J. 1 Faella, Marco 1 Fahrenberg, Uli 1 Fainekos, Georgios E. 1 Falcone, Yliès 1 Ferrari, Alberto 1 Fiorini, Paolo 1 Francalanza, Adrian 1 Fränzle, Martin 1 Fribourg, Laurent 1 Fulton, Nathan 1 Gawlitza, Thomas Martin 1 Giacobbe, Mirco 1 Giantamidis, Georgios 1 Girard, Antoine 1 Goyal, Manish ...and 87 more Authors all top 5 Cited in 14 Serials 10 Formal Methods in System Design 7 Automatica 5 Nonlinear Analysis. Hybrid Systems 3 Information and Computation 2 IEEE Transactions on Automatic Control 2 Journal of Automated Reasoning 2 Formal Aspects of Computing 1 Theoretical Computer Science 1 Systems & Control Letters 1 Discrete Event Dynamic Systems 1 Mathematical and Computer Modelling of Dynamical Systems 1 Fundamenta Informaticae 1 Mathematics in Computer Science 1 Numerical Algebra, Control and Optimization all top 5 Cited in 15 Fields 59 Computer science (68-XX) 46 Systems theory; control (93-XX) 8 Operations research, mathematical programming (90-XX) 7 Ordinary differential equations (34-XX) 5 Numerical analysis (65-XX) 3 Mathematical logic and foundations (03-XX) 2 Convex and discrete geometry (52-XX) 2 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 2 Biology and other natural sciences (92-XX) 1 General and overarching topics; collections (00-XX) 1 Linear and multilinear algebra; matrix theory (15-XX) 1 Dynamical systems and ergodic theory (37-XX) 1 Calculus of variations and optimal control; optimization (49-XX) 1 Statistics (62-XX) 1 Mechanics of particles and systems (70-XX) Citations by Year