×

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; KeYmaera; HyTech; PHAVer; dReach; Breach; S-TaLiRo; C2e2; Matlab; d/dt; GitHub; Ellipsoidal Toolbox; Reluplex; DynIbex; JuliaReach; ValEncIA-IVP; KeYmaera X; LySHA; CORA; HyLAA
Referenced in: 31 Publications
all top 5

Referenced by 107 Authors

3 Bogomolov, Sergiy
2 Dai, Liyun
2 Deshmukh, Jyotirmoy V.
2 Dreossi, Tommaso
2 Frehse, Goran
2 Gan, Ting
2 Johnson, Taylor T.
2 Platzer, André
2 Sankaranarayanan, Sriram
2 Xia, Bican
2 Zhan, Naijun
1 Abate, Alessandro
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 Bak, Stanley
1 Bansal, Somil
1 Bartocci, Ezio
1 Basagiannis, Stylianos
1 Bianculli, Domenico
1 Bünger, Florian
1 Cardelli, Luca
1 Carpenter, Taylor J.
1 Cattaruzza, Dario
1 Chapoutot, Alexandre
1 Chen, Mingshuai
1 Chen, Mo
1 Colombo, Christian
1 Damers, Julien
1 Dang, Thao
1 Devonport, Alex
1 Dupont, Guillaume
1 Dutta, Souradeep
1 Falcone, Yliès
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 Hamilton, Nathaniel
1 Hasuo, Ichiro
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 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 Lourenço, João M.
1 Lyu, Deyun
1 Ma, Lei
1 Majumdar, Rupak
1 Malik, Avinash
1 Meyer, Pierre-Jean
1 Nguyen, Luan Viet
1 Nickovic, Dejan
1 Pace, Gordon J.
1 Pantel, Marc
1 Pappas, George J.
1 Piazza, Carla
1 Potomkin, Kostiantyn
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
1 Schneider, Gerardo
1 Schrammel, Peter
1 Signoles, Julien
1 Singh, Neeraj Kumar
1 Sogokon, Andrew
1 Suenaga, Kohei
1 Tan, Yong Kiam
1 Tiwari, Ashish Kumar
1 Tomlin, Claire J.
1 Tran, Hoang-Dung
1 Traytel, Dmitry
1 Tribastone, Mirco
1 Tsachouridis, Vassilios A.
1 Tschaikowski, Max
1 Tveretina, Olga
...and 7 more Authors

Referencing Publications by Year