×

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 107 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 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
1 Yamaguti, Masaya
...and 7 more Authors

Citations by Year