Stateflow

Stateflow, (developed by MathWorks), is a control logic tool used to model reactive systems via state machines and flow charts within a Simulink… (More)
Wikipedia

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2016
2016
Simulink Stateflow is widely used for the model-driven development of software. However, the increasing demand of rigorous… (More)
  • figure 1
  • figure 2
  • figure 4
  • figure 3
  • figure 6
Is this relevant?
Highly Cited
2015
Highly Cited
2015
Mathwork’s Stateflow is a predominant environment for modeling embedded and cyberphysical systems where control software interact… (More)
  • figure 1
  • figure 2
  • figure 3
  • table 1
Is this relevant?
2015
2015
Stateflow is a visual tool that is used extensively in industry for designing the reactive behaviour of embedded systems… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Is this relevant?
2014
2014
An approach to integrating PVS executable specifications and Stateflow models is presented that uses web services to enable a… (More)
  • figure 1
  • figure 2
  • figure 3
Is this relevant?
2012
2012
Stateflow is an industrial tool for modeling and simulating control systems in model-based development. In this paper, we present… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
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… (More)
  • figure 1
  • table 1
  • table 2
  • table 3
  • table 4
Is this relevant?
2005
2005
We present a denotational semantics for Stateflow, the graphical Statecharts-like language of the Matlab/Simulink toolsuite. This… (More)
  • figure 1
  • figure 2
  • figure 4
  • figure 5
  • figure 7
Is this relevant?
Highly Cited
2004
Highly Cited
2004
Research in the field of hybrid systems has produced a number of verification tools. Formal verification of systems is performed… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 5
  • figure 6
Is this relevant?
Highly Cited
2004
Highly Cited
2004
The Simulink/Stateflow toolset is an integrated suite enabling model-based design and has become popular in the automotive and… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Is this relevant?
Highly Cited
2002
Highly Cited
2002
Embedded control systems typically comprise continuous control laws combined with discrete mode logic. The Simulink graphical… (More)
  • figure 1
  • figure 2
  • figure 5
  • figure 6
  • figure 3
Is this relevant?