S-TaLiRo swMATH ID: 9775 Software Authors: Annpureddy, Yashwanth; Liu, Che; Fainekos, Georgios; Sankaranarayanan, Sriram Description: S-TaLiRo: A tool for temporal logic falsification for hybrid systems. S-TaLiRo is a Matlab (TM) toolbox that searches for trajectories of minimal robustness in Simulink/Stateflow diagrams. It can analyze arbitrary Simulink models or user defined functions that model the system. At the heart of the tool, we use randomized testing based on stochastic optimization techniques including Monte-Carlo methods and Ant-Colony Optimization. Among the advantages of the toolbox is the seamless integration inside the Matlab environment, which is widely used in the industry for model-based development of control software. We present the architecture of S-TaLiRo and its working on an application example. Homepage: http://link.springer.com/chapter/10.1007%2F978-3-642-19835-9_21 Dependencies: Matlab Related Software: Breach; SpaceEx; Flow*; Matlab; dReach; StateFlow; C2e2; HyTech; GitHub; AdaptiveStressTesting.jl; Uppaal; sitar; DryVR; PHAVer; HARE; d/dt; HSolver; RSOLVER; KeYmaera; Hybrid Trace Verifier Cited in: 24 Publications all top 5 Cited by 78 Authors 4 Deshmukh, Jyotirmoy V. 3 Bartocci, Ezio 3 Donzé, Alexandre 3 Mitra, Sayan 3 Nickovic, Dejan 3 Seshia, Sanjit Arunkumar 2 Dreossi, Tommaso 2 Fainekos, Georgios E. 2 Huang, Zhenqi 2 Jin, Xiaoqing 2 Kapinski, James 2 Sankaranarayanan, Sriram 1 Ahrendt, Wolfgang 1 Alur, Rajeev 1 Annpureddy, Yashwanth 1 Arcaini, Paolo 1 Aydin Gol, Ebru 1 Basagiannis, Stylianos 1 Bianculli, Domenico 1 Bortolussi, Luca 1 Carpenter, Taylor J. 1 Colombo, Christian 1 Duggirala, Parasara Sridhar 1 Ergurtuna, Mert 1 Falcone, Yliès 1 Fan, Chuchu 1 Ferrère, Thomas 1 Francalanza, Adrian 1 Ghosh, Shromona 1 Giantamidis, Georgios 1 Goyal, Manish 1 Grosu, Radu 1 Hasuo, Ichiro 1 Ito, Hisahiro 1 Ivanov, Radoslav 1 Jakšić, Stefan 1 Jha, Susmit 1 Juniwal, Garvit 1 Kouramas, Kostas 1 Krstić, Srđan 1 Kuřátko, Jan 1 Lee, Insup 1 Liu, Che 1 Lourenço, João M. 1 Lyu, Deyun 1 Ma, Lei 1 Majumdar, Rupak 1 Maler, Oded 1 Mancini, Toni 1 Mari, Federico 1 Massini, Annalisa 1 Melatti, Igor 1 Mokhlesi, Navid 1 Navarro-López, Eva María 1 Nenzi, Laura 1 O’Toole, M. D. 1 Pace, Gordon J. 1 Pappas, George J. 1 Prabhu, Vinayak S. 1 Qin, Xin 1 Ratschan, Stefan 1 Rufino, José 1 Sahai, Tuhin 1 Sánchez, César 1 Sanguinetti, Guido 1 Schneider, Gerardo 1 Shankar, Natarajan 1 Sibai, Hussein 1 Signoles, Julien 1 Tiwari, Ashish Kumar 1 Traytel, Dmitry 1 Tronci, Enrico 1 Tsachouridis, Vassilios A. 1 Weimer, James E. 1 Weiss, Alexander 1 Yalcinkaya, Beyazit 1 Zhang, Zhenya 1 Zhao, Jianjun all top 5 Cited in 10 Serials 5 Formal Methods in System Design 1 Acta Informatica 1 Automatica 1 Theoretical Computer Science 1 Journal of Automated Reasoning 1 Mathematical and Computer Modelling of Dynamical Systems 1 Optimization and Engineering 1 Nonlinear Analysis. Hybrid Systems 1 Numerical Algebra, Control and Optimization 1 Journal of Logical and Algebraic Methods in Programming all top 5 Cited in 11 Fields 18 Computer science (68-XX) 13 Systems theory; control (93-XX) 4 Mathematical logic and foundations (03-XX) 4 Numerical analysis (65-XX) 4 Operations research, mathematical programming (90-XX) 2 Ordinary differential equations (34-XX) 2 Biology and other natural sciences (92-XX) 1 Linear and multilinear algebra; matrix theory (15-XX) 1 Dynamical systems and ergodic theory (37-XX) 1 Mechanics of particles and systems (70-XX) 1 Information and communication theory, circuits (94-XX) Citations by Year