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 all top 5 Referenced in 10 Serials 4 Formal Methods in System Design 2 Journal of Automated Reasoning 2 Nonlinear Analysis. Hybrid Systems 1 Automatica 1 IEEE Transactions on Automatic Control 1 Journal of Computational and Applied Mathematics 1 Journal of Symbolic Computation 1 Formal Aspects of Computing 1 Mathematics in Computer Science 1 Numerical Algebra, Control and Optimization all top 5 Referenced in 10 Fields 23 Computer science (68-XX) 20 Systems theory; control (93-XX) 4 Ordinary differential equations (34-XX) 3 Numerical analysis (65-XX) 2 Mathematical logic and foundations (03-XX) 2 Operations research, mathematical programming (90-XX) 1 Linear and multilinear algebra; matrix theory (15-XX) 1 Calculus of variations and optimal control; optimization (49-XX) 1 Convex and discrete geometry (52-XX) 1 Probability theory and stochastic processes (60-XX) Referencing Publications by Year