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 34 articles )

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

1 2 next

  1. Aguado, Joaquín; Mendler, Michael; von Hanxleden, Reinhard; Fuhrmann, Insa: Denotational fixed-point semantics for constructive scheduling of synchronous concurrency (2015)
  2. Duggirala, Parasara Sridhar; Potok, Matthew; Mitra, Sayan; Viswanathan, Mahesh: C2E2: a tool for verifying annotated hybrid systems (2015)
  3. 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)
  4. Nguyen, Luan Viet; Schilling, Christian; Bogomolov, Sergiy; Johnson, Taylor T.: HyRG: a random generation tool for affine hybrid automata (2015)
  5. Zou, Liang; Zhan, Naijun; Wang, Shuling; Fränzle, Martin: Formal verification of Simulink/Stateflow diagrams (2015)
  6. Åström, Karl J.; Kumar, P.R.: Control: a perspective (2014)
  7. Benveniste, Albert; Bourke, Timothy; Caillaud, Benoit; Pagano, Bruno; Pouzet, Marc: A type-based analysis of causality loops in hybrid systems modelers (2014)
  8. Miyazawa, Alvaro; Cavalcanti, Ana: Refinement-based verification of implementations of Stateflow charts (2014) ioport
  9. Eshuis, Rik: Statechartable Petri nets (2013)
  10. Ferrari, Alessio; Fantechi, Alessandro; Magnani, Gianluca; Grasso, Daniele; Tempestini, Matteo: The Metr^o Rio case study (2013) ioport
  11. Zuliani, Paolo; Platzer, André; Clarke, Edmund M.: Bayesian statistical model checking with application to Stateflow/Simulink verification (2013)
  12. 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)
  13. 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
  14. Duggirala, Parasara Sridhar; Mitra, Sayan: Lyapunov abstractions for inevitability of hybrid systems (2012)
  15. Huang, Zhenqi; Mitra, Sayan: Computing bounded reach sets from sampled simulation traces (2012)
  16. Miyazawa, Alvaro; Cavalcanti, Ana: Refinement-oriented models of Stateflow charts (2012)
  17. Annpureddy, Yashwanth; Liu, Che; Fainekos, Georgios; Sankaranarayanan, Sriram: S-TaLiRo: a tool for temporal logic falsification for hybrid systems (2011)
  18. Navarro-López, Eva M.; Carter, Rebekah: Hybrid automata: an insight into the discrete abstraction of discontinuous systems (2011)
  19. Cavalcanti, Ana: Stateflow diagrams in Circus (2009)
  20. Eshuis, Rik: Reconciling statechart semantics (2009)

1 2 next