StateFlow

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

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

1 2 3 next

  1. Lin, Hai; Antsaklis, Panos J.: Hybrid dynamical systems. Fundamentals and methods (2022)
  2. Xu, Xiong; Wang, Shuling; Zhan, Bohua; Jin, Xiangyu; Talpin, Jean-Pierre; Zhan, Naijun: Unified graphical co-modeling, analysis and verification of cyber-physical systems by combining AADL and simulink/stateflow (2022)
  3. Mancini, Toni; Mari, Federico; Massini, Annalisa; Melatti, Igor; Tronci, Enrico: On checking equivalence of simulation scripts (2021)
  4. Angermann, Anne; Beuschel, Michael; Rau, Martin; Wohlfarth, Ulrich: MATLAB -- Simulink -- Stateflow. Foundations, toolboxes, examples (2020)
  5. Bartocci, Ezio; Ferrère, Thomas; Manjunath, Niveditha; Ničković, Dejan: Localizing faults in Simulink/Stateflow models with STL (2018)
  6. Rajhans, Akshay; Avadhanula, Srinath; Chutinan, Alongkrit; Mosterman, Pieter J.; Zhang, Fu: Graphical modeling of hybrid dynamics with Simulink and Stateflow (2018)
  7. Benveniste, Albert; Bourke, Timothy; Caillaud, Benoit; Pagano, Bruno; Pouzet, Marc: A type-based analysis of causality loops in hybrid systems modelers (2017)
  8. Chen, Mingshuai; Ravn, Anders P.; Wang, Shuling; Yang, Mengfei; Zhan, Naijun: A two-way path between formal and informal design of embedded systems (2017)
  9. Zhan, Naijun; Wang, Shuling; Zhao, Hengjun: Formal verification of Simulink/Stateflow diagrams. A deductive approach (2017)
  10. Garoche, Pierre-Loïc; Kahsai, Temesghen; Thirioux, Xavier: Hierarchical state machines as modular Horn clauses (2016)
  11. Aguado, Joaquín; Mendler, Michael; von Hanxleden, Reinhard; Fuhrmann, Insa: Denotational fixed-point semantics for constructive scheduling of synchronous concurrency (2015)
  12. 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)
  13. Zou, Liang; Zhan, Naijun; Wang, Shuling; Fränzle, Martin: Formal verification of Simulink/Stateflow diagrams (2015)
  14. Åström, Karl J.; Kumar, P. R.: Control: a perspective (2014)
  15. Benveniste, Albert; Bourke, Timothy; Caillaud, Benoit; Pagano, Bruno; Pouzet, Marc: A type-based analysis of causality loops in hybrid systems modelers (2014)
  16. Miyazawa, Alvaro; Cavalcanti, Ana: Refinement-based verification of implementations of Stateflow charts (2014) ioport
  17. Clark, John A.; Dan, Haitao; Hierons, Robert M.: Semantic mutation testing (2013)
  18. Eshuis, Rik: Statechartable Petri nets (2013)
  19. Ferrari, Alessio; Fantechi, Alessandro; Magnani, Gianluca; Grasso, Daniele; Tempestini, Matteo: The Metrô Rio case study (2013) ioport
  20. Zuliani, Paolo; Platzer, André; Clarke, Edmund M.: Bayesian statistical model checking with application to Stateflow/Simulink verification (2013)

1 2 3 next