Live briefing
Everything about Stateflow
Control logic tool developed by MathWorks
Stateflow is a control logic tool used to model reactive systems via state machines and flow charts within a Simulink model. Stateflow uses a variant of the finite-state machine notation established by David Harel, enabling the representation of hierarchy, parallelism and history within a state chart. Stateflow also provides state transition tables and truth tables. Wikipedia →
🧭 Start here: a 6-step reading path
- Read the overview: StateflowA 5-minute orientation
- Skim a recent paper: HAZOP using Stateflow software: Methodology and case studyInfluential work since 2022
- Pick up a classic book: Matlab - Simulink - StateflowThe most-reprinted book on the subject
- Read the landmark paper: Semantic Translation of Simulink/Stateflow Models to Hybrid Automata Using Graph TransformationsCited 95 times
- Go sideways: SimulinkA closely related topic
- Go sideways: List of computer simulation softwareA closely related topic
📖 Definitions
No dictionary entry for this exact phrase.
🗂️ The subject at a glance
🏆 Landmark papers (most cited)
Semantic Translation of Simulink/Stateflow Models to Hybrid Automata Using Graph Transformations
Bayesian statistical model checking with application to Stateflow/Simulink verification
An operational semantics for Stateflow
Automatic test case generation from Simulink/Stateflow models using model checking
Integrated Stateflow-based simulation modelling and testability evaluation for electronic built-in-test (BIT) systems
Stateflow-Based Energy Management Strategy for Hybrid Energy System to Mitigate Load Shedding
Unified graphical co-modeling, analysis and verification of cyber-physical systems by combining AADL and Simulink/Stateflow
Formal modeling and validation of Stateflow diagrams
🆕 Influential since 2022
HAZOP using Stateflow software: Methodology and case study
Translating a large subset of stateflow to hybrid CSP with code optimization
Repository mining for changes in Simulink and Stateflow models
An approach of battery energy management systems for DC micro-grids considering stateflow controller
ПРОЕКТИРОВАНИЕ КОНЕЧНЫХ АВТОМАТОВ В ПРИЛОЖЕНИИ STATEFLOW СИСТЕМЫ MATLAB / SIMULINK С ПОСЛЕДУЮЩЕЙ РЕАЛИЗАЦИЕЙ В БАЗИСЕ ПЛИС
📚 Books worth reading
Matlab - Simulink - StateflowAnne Angermann · 2004
Matlab, Simulink, StateflowMaurice Rivoire, Jean-Louis Ferrier · 2000
Introduction to Stateflow with ApplicationsSteven T. Karris · 2007
Matlab - Simulink - StateflowAnne Angermann · 2005
Basic Matlab, Simulink And Stateflow (Aiaa Education Series)Richard Colgren · 2006
Basic MATLAB, Simulink, and StateflowRichard D. Colgren · 2007
Ranked by number of editions on Open Library, a rough measure of how lasting a book is.
🔗 Related topics
- Simulink Simulink is a MATLAB-based graphical programming environment for modeling, simulating and analyzing multidomain dynamical systems. Its primary interface…
- List of computer simulation software The following is a list of notable computer simulation software. Advanced Simulation Library - open-source hardware accelerated multiphysics simulation…
- SimEvents SimEvents is a discrete event simulation tool developed by MathWorks. It adds a library of graphical building blocks for modeling queuing systems to the…
- MathWorks The MathWorks, Inc. is an American privately held corporation that specializes in mathematical computing software. Its major products include MATLAB and…
- DSPACE (company) dSPACE (digital signal processing and control engineering) is a German company that develops tools and solutions for the development and testing of electronic…
- List of MATLAB software and tools This is a list of MATLAB software and tools, including development environments, model-based design tools, code generation software, testing utilities…
- Fault injection In computer science, fault injection is a testing technique for understanding how computing systems behave when stressed in unusual ways. This can be achieved…
- Model-based design Model-based design (MBD) is a mathematical and visual method of addressing problems associated with designing complex control, signal processing and communicati…