Skip to search formSkip to main content
You are currently offline. Some features of the site may not work correctly.

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

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
Highly Cited
2015
Highly Cited
2015
Mathworks' Stateflow is a predominant environment for modeling embedded and cyber-physical systems where control software… Expand
  • figure 1
  • figure 2
  • figure 3
  • table 1
Is this relevant?
Highly Cited
2013
Highly Cited
2013
We address the problem of model checking stochastic systems, i.e., checking whether a stochastic system satisfies a certain… Expand
  • figure 1
  • table 1
  • table 2
  • table 3
  • table 4
Is this relevant?
Highly Cited
2010
Highly Cited
2010
We address the problem of model checking stochastic systems, i.e.~checking whether a stochastic system satisfies a certain… Expand
  • table 3
  • table 4
  • figure 1
Is this relevant?
Highly Cited
2010
Highly Cited
2010
Cloned code is considered harmful for two reasons: (1) multiple, possibly unnecessary, duplicates of code increase maintenance… Expand
  • figure 1
  • figure 2
  • figure 3
  • table 1
  • table 2
Is this relevant?
2009
2009
This paper addresses a parameter synthesis problem for nonlinear hybrid systems. Considering a set of uncertain parameters and a… Expand
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Is this relevant?
Highly Cited
2007
Highly Cited
2007
  • G. Hamon, J. Rushby
  • International Journal on Software Tools for…
  • 2007
  • Corpus ID: 4160305
We present a formal operational semantics for Stateflow, the graphical Statecharts-like language of the Matlab/Simulink tool… Expand
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Is this relevant?
Highly Cited
2007
Highly Cited
2007
Electrical system capacity determination for conventional vehicles can be expensive due to repetitive empirical vehicle-level… Expand
Is this relevant?
Highly Cited
2004
Highly Cited
2004
Embedded systems are often modeled using Matlab's Simulink and Stateflow (MSS), to simulate plant and controller behavior but… Expand
  • figure 1
  • figure 2
  • figure 3
  • figure 5
  • figure 6
Is this relevant?
Highly Cited
2003
Highly Cited
2003
Twelve years ago, Proceedings of the IEEE devoted a special section to the synchronous languages. This paper discusses the… Expand
  • figure 2
  • figure 3
  • table 1
  • figure 4
  • table 2
Is this relevant?
Highly Cited
2003
Highly Cited
2003
The paper describes a model-integrated approach for embedded software development that is based on domain-specific, multiple-view… Expand
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • table 1
Is this relevant?