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.

References in zbMATH (referenced in 39 articles )

Showing results 1 to 20 of 39.
Sorted by year (citations)

1 2 next

  1. Angermann, Anne; Beuschel, Michael; Rau, Martin; Wohlfarth, Ulrich: MATLAB -- Simulink -- Stateflow. Foundations, toolboxes, examples (2020)
  2. Rajhans, Akshay; Avadhanula, Srinath; Chutinan, Alongkrit; Mosterman, Pieter J.; Zhang, Fu: Graphical modeling of hybrid dynamics with Simulink and Stateflow (2018)
  3. Benveniste, Albert; Bourke, Timothy; Caillaud, Benoit; Pagano, Bruno; Pouzet, Marc: A type-based analysis of causality loops in hybrid systems modelers (2017)
  4. Chen, Mingshuai; Ravn, Anders P.; Wang, Shuling; Yang, Mengfei; Zhan, Naijun: A two-way path between formal and informal design of embedded systems (2017)
  5. Zhan, Naijun; Wang, Shuling; Zhao, Hengjun: Formal verification of Simulink/Stateflow diagrams. A deductive approach (2017)
  6. Aguado, Joaquín; Mendler, Michael; von Hanxleden, Reinhard; Fuhrmann, Insa: Denotational fixed-point semantics for constructive scheduling of synchronous concurrency (2015)
  7. Nardone, Roberto; Gentile, Ugo; Peron, Adriano; Benerecetti, Massimo; Vittorini, Valeria; Marrone, Stefano; De Guglielmo, Renato; Mazzocca, Nicola; Velardi, Luigi: Dynamic state machines for formalizing railway control system specifications (2015)
  8. Zou, Liang; Zhan, Naijun; Wang, Shuling; Fränzle, Martin: Formal verification of Simulink/Stateflow diagrams (2015)
  9. Åström, Karl J.; Kumar, P. R.: Control: a perspective (2014)
  10. Benveniste, Albert; Bourke, Timothy; Caillaud, Benoit; Pagano, Bruno; Pouzet, Marc: A type-based analysis of causality loops in hybrid systems modelers (2014)
  11. Miyazawa, Alvaro; Cavalcanti, Ana: Refinement-based verification of implementations of Stateflow charts (2014) ioport
  12. Eshuis, Rik: Statechartable Petri nets (2013)
  13. Ferrari, Alessio; Fantechi, Alessandro; Magnani, Gianluca; Grasso, Daniele; Tempestini, Matteo: The Metrô Rio case study (2013) ioport
  14. Zuliani, Paolo; Platzer, André; Clarke, Edmund M.: Bayesian statistical model checking with application to Stateflow/Simulink verification (2013)
  15. Bae, Kyungmin; Ölveczky, Peter Csaba; Feng, Thomas Huining; Lee, Edward A.; Tripakis, Stavros: Verifying hierarchical Ptolemy II discrete-event models using real-time maude (2012)
  16. Barnat, Jiri; Beran, Jan; Brim, Lubos; Kratochvíla, Tomas; Ročkai, Petr: Tool chain to support automated formal verification of avionics simulink designs (2012) ioport
  17. Duggirala, Parasara Sridhar; Mitra, Sayan: Lyapunov abstractions for inevitability of hybrid systems (2012)
  18. Huang, Zhenqi; Mitra, Sayan: Computing bounded reach sets from sampled simulation traces (2012)
  19. Miyazawa, Alvaro; Cavalcanti, Ana: Refinement-oriented models of Stateflow charts (2012)
  20. Annpureddy, Yashwanth; Liu, Che; Fainekos, Georgios; Sankaranarayanan, Sriram: S-TaLiRo: a tool for temporal logic falsification for hybrid systems (2011)

1 2 next