Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 228,398,553 papers from all fields of science
Search
Sign In
Create Free Account
Stateflow
Stateflow, (developed by MathWorks), is a control logic tool used to model reactive systems via state machines and flow charts within a Simulink…
Expand
Wikipedia
(opens in a new tab)
Create Alert
Alert
Related topics
Related topics
8 relations
Finite-state machine
Hybrid system
List of model checking tools
List of programming languages
Expand
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
2015
2015
Software Verification and Validation Laboratory : Simulink Fault Localization : an Iterative Statistical Debugging Approach
Bing Liu
,
Lucia
,
S. Nejati
,
L. Briand
,
Thomas Bruckmann
2015
Corpus ID: 37412286
Debugging Simulink models presents a significant challenge in the embedded industry. In this work, we propose SimFL, a fault…
Expand
2012
2012
Formal verification of implementations of Stateflow charts
Alvaro Miyazawa
2012
Corpus ID: 60483210
Simulink diagrams are widely used in industry for specifying control systems, and a particular type of block used in them is a…
Expand
Review
2011
Review
2011
A survey of UML applications in mechatronic systems
Fernando Valles-Barajas
Innovations in Systems and Software Engineering
2011
Corpus ID: 20481212
Mechatronic systems are composed of mechanical, electronic and software parts. Recently, software processes and modeling…
Expand
2010
2010
Formal Analysis for Stateflow Diagrams
Chunqing Chen
Fourth International Conference on Secure…
2010
Corpus ID: 14190003
Stateflow has been widely used in industry to specify and simulate control systems. Unfortunately, the lack of formal…
Expand
2008
2008
Generic and reflective graph transformations for the checking and enforcement of modeling guidelines
Elodie Legros
,
C. Amelunxen
,
Felix Klar
,
Andy Schürr
IEEE Symposium on Visual Languages and Human…
2008
Corpus ID: 13894365
2008
2008
Predictive Hybrid Redundancy using Exponential Smoothing Method for Safety Critical Systems
Man-ho Kim
,
Suk Lee
,
K. Lee
2008
Corpus ID: 15643375
As many systems depend on electronics, concern for fault tolerance is growing rapidly. For example, a car with its steering…
Expand
2006
2006
Basic Matlab, Simulink And Stateflow
R. Colgren
2006
Corpus ID: 58969161
Designed to be modular and thus flexible for use in a variety of teaching and time formats, or for self-study, this book takes a…
Expand
2006
2006
Verification of control systems using Circus
Ana Cavalcanti
,
P. Clayton
IEEE International Conference on Engineering of…
2006
Corpus ID: 14734399
The design of control systems is usually based on diagrammatic definitions of control laws. The independent use of Z and CSP to…
Expand
2006
2006
Rapid Prototyping Design Acceleration Using a Novel Merging Methodology for Partial Configuration Streams of Xilinx Virtex-II FPGAs
C. Bieser
,
K. Müller-Glaser
RSP
2006
Corpus ID: 6178778
RAM-based FPGAs have become very important for electronic designs in the last years since they are very flexible, provide high…
Expand
2005
2005
Advanced ECU Software Development Method for Fuel Cell Systems
Shuo Tian
,
Yuan Liu
,
W. Xia
,
Jianqiu Li
,
Minggao Yang
2005
Corpus ID: 17676473
By clicking accept or continuing to use the site, you agree to the terms outlined in our
Privacy Policy
(opens in a new tab)
,
Terms of Service
(opens in a new tab)
, and
Dataset License
(opens in a new tab)
ACCEPT & CONTINUE