StateFlow swMATH ID: 4350 Software Authors: The MathWorks, Inc. Description: Stateflow® is an environment for modeling and simulating combinatorial and sequential decision logic based on state machines and flow charts. Stateflow lets you combine graphical and tabular representations, including state transition diagrams, flow charts, state transition tables, and truth tables, to model how your system reacts to events, time-based conditions, and external input signals. With Stateflow you can design logic for supervisory control, task scheduling, and fault management applications. Stateflow includes state machine animation and static and run-time checks for testing design consistency and completeness before implementation. Homepage: http://www.mathworks.com/products/stateflow/ Dependencies: Matlab; Simulink Related Software: Simulink; Matlab; Ptolemy; Esterel; S-TaLiRo; Circus; Zelus; Modelica; Z; dReach; iFEST; SIGNAL; Uppaal; PHAVer; Breach; Quartz; LUSTRE; ProofPower; SPARK; Isabelle/HOL Cited in: 41 Publications all top 5 Cited by 108 Authors 4 Wang, Shuling 4 Zhan, Naijun 2 Benveniste, Albert 2 Bourke, Timothy 2 Caillaud, Benoît 2 Cavalcanti, Ana 2 Eshuis, Rik 2 Mendler, Michael 2 Mitra, Sayan 2 Moore, J Strother 2 Navarro-López, Eva María 2 Pagano, Bruno 2 Pouzet, Marc 2 Ray, Sandip 1 Aguado, Joaquin 1 Angermann, Anne 1 Annpureddy, Yashwanth 1 Antsaklis, Panos J. 1 Åström, Karl Johan 1 Avadhanula, Srinath 1 Bae, Kyungmin 1 Bapty, Ted 1 Bartocci, Ezio 1 Benerecetti, Massimo 1 Beuschel, Michael 1 Carter, Rebekah 1 Chantem, Thidapat 1 Chen, Mingshuai 1 Chutinan, Alongkrit 1 Clarke, Edmund Melson jun. 1 Cleaveland, Rance 1 Dan, Haitao 1 De Guglielmo, Renato 1 de Roever, Willem-Paul 1 Dotoli, Mariagrazia 1 Duggirala, Parasara Sridhar 1 Fainekos, Georgios E. 1 Fanti, Maria Pia 1 Feng, Thomas Huining 1 Ferrère, Thomas 1 Fränzle, Martin 1 Fuhrmann, Insa 1 Garoche, Pierre-Loïc 1 Gentile, Ugo 1 Gokhale, Aniruddha 1 Gran, Richard J. 1 Gray, Jeff 1 Hamon, Grégoire 1 Hierons, Robert Mark 1 Hu, Xiaobo Sharon 1 Huang, Zhenqi 1 Hunt, Warren A. jun. 1 Jin, Xiangyu 1 Kaalen, Stefan 1 Kahsai, Temesghen 1 Kühl, Markus 1 Kumar, Panganamala R. 1 Lee, Edward Ashford 1 Lemmon, Michael D. 1 Lin, Hai 1 Liu, Che 1 Lüttgen, Gerald 1 Mancini, Toni 1 Manjunath, Niveditha 1 Mari, Federico 1 Marinovici, Laurentiu 1 Marrone, Stefano 1 Massini, Annalisa 1 Mattsson, Olle 1 Mazzocca, Nicola 1 Melatti, Igor 1 Mikk, Erich 1 Miyazawa, Alvaro 1 Mosterman, Pieter J. 1 Müller-Glaser, Klaus D. 1 Nardone, Roberto 1 Neema, Sandeep 1 Nickovic, Dejan 1 Nyberg, Mattias 1 Olveczky, Peter Csaba 1 O’Toole, M. D. 1 Peron, Adriano 1 Pingree, Paula J. 1 Platzer, André 1 Rajhans, Akshay 1 Rau, Martin 1 Ravn, Anders P. 1 Reichmann, Clemens 1 Rushby, John 1 Sankaranarayanan, Sriram 1 Talpin, Jean-Pierre 1 Thirioux, Xavier 1 Tripakis, Stavros 1 Tronci, Enrico 1 Velardi, Luigi 1 Vittorini, Valeria 1 von Hanxleden, Reinhard 1 Vroon, Daron 1 Wohlfarth, Ulrich 1 Xu, Xiong ...and 8 more Authors all top 5 Cited in 16 Serials 4 Science of Computer Programming 1 Acta Informatica 1 International Journal of Systems Science 1 Automatica 1 Journal of the Faculty of Science. Section I A 1 Theoretical Computer Science 1 International Journal of Production Research 1 Journal of Automated Reasoning 1 Formal Aspects of Computing 1 Formal Methods in System Design 1 Mathematical and Computer Modelling of Dynamical Systems 1 Buletinul Institutului Politehnic din Iași. Secția Automatică și Calculatoare 1 Nonlinear Analysis. Hybrid Systems 1 Journal of Logical and Algebraic Methods in Programming 1 De Gruyter Studium 1 Advanced Textbooks in Control and Signal Processing all top 5 Cited in 14 Fields 33 Computer science (68-XX) 14 Systems theory; control (93-XX) 3 Operations research, mathematical programming (90-XX) 2 Mathematical logic and foundations (03-XX) 1 Real functions (26-XX) 1 Ordinary differential equations (34-XX) 1 Dynamical systems and ergodic theory (37-XX) 1 Calculus of variations and optimal control; optimization (49-XX) 1 Statistics (62-XX) 1 Numerical analysis (65-XX) 1 Mechanics of particles and systems (70-XX) 1 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 1 Biology and other natural sciences (92-XX) 1 Information and communication theory, circuits (94-XX) Citations by Year