×

Flow*

swMATH ID: 20162
Software Authors: Xin Chen, Erika Ábrahám, Sriram Sankaranarayanan
Description: Flow*: an analyzer for non-linear hybrid systems. The tool Flow* performs Taylor model-based flowpipe construction for non-linear (polynomial) hybrid systems. Flow* combines well-known Taylor model arithmetic techniques for guaranteed approximations of the continuous dynamics in each mode with a combination of approaches for handling mode invariants and discrete transitions. Flow* supports a wide variety of optimizations including adaptive step sizes, adaptive selection of approximation orders and the heuristic selection of template directions for aggregating flowpipes. This paper describes Flow* and demonstrates its performance on a series of non-linear continuous and hybrid system benchmarks. Our comparisons show that Flow* is competitive with other tools.
Homepage: https://flowstar.org/
Related Software: SpaceEx; dReach; KeYmaera; HyTech; Breach; PHAVer; C2e2; CORA; S-TaLiRo; JuliaReach; d/dt; Matlab; ReachNN; HyLAA; RSOLVER; HSolver; HyPro; XSpeed; Sapo; Reluplex
Cited in: 37 Documents
all top 5

Cited by 125 Authors

4 Bogomolov, Sergiy
3 Dreossi, Tommaso
3 Johnson, Taylor T.
2 Bak, Stanley
2 Dai, Liyun
2 Dang, Thao
2 Deshmukh, Jyotirmoy V.
2 Frehse, Goran
2 Gan, Ting
2 Hamilton, Nathaniel P.
2 Piazza, Carla
2 Platzer, André
2 Potomkin, Kostiantyn
2 Sankaranarayanan, Sriram
2 Xia, Bican
2 Zhan, Naijun
1 Abate, Alessandro
1 Ábrahám, Erika
1 Ahrendt, Wolfgang
1 Ait-Ameur, Yamine
1 Alexandre dit Sandretto, Julien
1 Althoff, Matthias
1 Alur, Rajeev
1 Arcaini, Paolo
1 Arcak, Murat
1 Aréchiga, Nikos
1 Bansal, Somil
1 Bartocci, Ezio
1 Basagiannis, Stylianos
1 Bianculli, Domenico
1 Bünger, Florian
1 Cardelli, Luca
1 Carpenter, Taylor J.
1 Casagrande, Alberto
1 Cattaruzza, Dario
1 Chapman, Margaret P.
1 Chapoutot, Alexandre
1 Chen, Mingshuai
1 Chen, Mo
1 Chen, Xin
1 Colombo, Christian
1 Damers, Julien
1 Devonport, Alex
1 Dorigo, Luca
1 Dupont, Guillaume
1 Dutta, Souradeep
1 Ebert, Tristan
1 Falcone, Yliès
1 Fan, Chuchu
1 Forets, Marcelo
1 Francalanza, Adrian
1 Fribourg, Laurent
1 Giacobbe, Mirco
1 Giantamidis, Georgios
1 Goubault, Eric
1 Grosu, Radu
1 Hagemann, Willem
1 Hasuo, Ichiro
1 Hencey, Brandon
1 Henzinger, Thomas A.
1 Herbert, Sylvia L.
1 Ishizawa, Takuya
1 Ivanov, Radoslav
1 Jackson, Paul B.
1 Jaulin, Luc
1 Jha, Susmit
1 Kapinski, James
1 Kochdumper, Niklas
1 Kouramas, Kostas
1 Krogh, Bruce H.
1 Kröning, Daniel
1 Krstić, Srđan
1 Larsen, Kim Guldstrand
1 Le Coënt, Adrien
1 Lee, Insup
1 Lew, Ethan
1 Lourenço, João M.
1 Lyu, Deyun
1 Ma, Lei
1 Majumdar, Rupak
1 Malik, Avinash
1 Manzanas Lopez, Diego
1 Meyer, Pierre-Jean
1 Mitra, Sayan
1 Mokhlesi, Navid
1 Musau, Patrick
1 Nguyen, Luan Viet
1 Nickovic, Dejan
1 Pace, Gordon J.
1 Pantel, Marc
1 Pappas, George J.
1 Pippia, Eleonora
1 Prabhu, Vinayak S.
1 Putot, Sylvie
1 Rohou, Simon
1 Roop, Partha S.
1 Rufino, José
1 Sánchez, César
1 Sandler, Andrei
1 Schilling, Christian
...and 25 more Authors

Citations by Year