×

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; dReach; HSolver; d/dt; C2e2; Ellipsoidal Toolbox; z3; S-TaLiRo; PPL; Uppaal; HySAT; Breach; KeYmaera X; HYST; GitHub; CORA
Referenced in: 77 Publications
Further Publications: http://spaceex.imag.fr/documentation/publications
all top 5

Referenced by 184 Authors

8 Bogomolov, Sergiy
7 Frehse, Goran
6 Johnson, Taylor T.
6 Platzer, André
4 Althoff, Matthias
4 Bak, Stanley
4 Dang, Thao
4 Duggirala, Parasara Sridhar
3 Abate, Alessandro
3 Bresolin, Davide
3 Dreossi, Tommaso
3 Geretti, Luca
3 Krogh, Bruce H.
3 Mitra, Sayan
3 Mitsch, Stefan
3 Podelski, Andreas
3 Prabhakar, Pavithra
3 Villa, Tiziano
2 Ben Sassi, Mohamed Amin
2 Bouissou, Olivier
2 Chapoutot, Alexandre
2 Chen, Mo
2 Collins, Peter J.
2 Forets, Marcelo
2 Goubault, Eric
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 Schilling, Christian
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
1 Green, Jeremy
...and 84 more Authors

Referencing Publications by Year