Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 225,321,456 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
Design and development of an embedded aeronautical router with security capabilities
Antoine Varet
,
Nicolas Larrieu
International Conference on Networking and…
2012
Corpus ID: 16918971
Aeronautical communications are growing in complexity: avionic systems are more and more connected together through complex…
Expand
2009
2009
MATLAB - Simulink - Stateflow: Grundlagen, Toolboxen, Beispiele
Anne Angermann
,
Michael Beuschel
,
M. Rau
,
Ulrich Wohlfarth
2009
Corpus ID: 67407294
MATLAB/Simulink/Stateflow von MathWorks ist so ein. Werkzeugsystem. Dieses Werkzeugsystem wird bereits auch für Steuergeräte…
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
2007
2007
Towards the Integration of Visual and Formal Models for GUI Testing
A. C. Paiva
,
J. Faria
,
R. M. Vidal
MBT
2007
Corpus ID: 2018889
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
Architecture and Application Abstractions for Multi-Agent Collaboration Projects
D. Caveney
,
R. Sengupta
Proceedings of the 44th IEEE Conference on…
2005
Corpus ID: 37133152
In this paper, we propose that allapplication for multi-agent collaborative control, and in particular fixed-wing umanned arial…
Expand
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