swMATH4350MaRDI QIDQ16529FDOQ16529
Author name not available (Why is that?)
Official website: http://www.mathworks.com/products/stateflow/
Cited In (87)
- DyverseRBT
- Stateflow diagrams in Circus
- Automated generation of hybrid automata for multi-rigid-body mechanical systems and its application to the falsification of safety properties
- Title not available (Why is that?)
- Title not available (Why is that?)
- A type-based analysis of causality loops in hybrid systems modelers
- MATLAB -- Simulink -- Stateflow. Foundations, toolboxes, examples
- Graphical Modeling of Hybrid Dynamics with Simulink and Stateflow
- Testing using CSP Models: Time, Inputs, and Outputs
- Coloured timed Petri net model for real-time control of automated guided vehicle systems
- Title not available (Why is that?)
- Transient analysis of hierarchical semi-Markov process models with tool support in Stateflow
- What is in a step: new perspectives on a classical question
- Hybrid automata: an insight into the discrete abstraction of discontinuous systems
- Semantic mutation testing
- Lyapunov abstractions for inevitability of hybrid systems
- A two-way path between formal and informal design of embedded systems
- Verification Condition Generation Via Theorem Proving
- Denotational fixed-point semantics for constructive scheduling of synchronous concurrency
- Refinement-oriented models of Stateflow charts
- Verifying hierarchical Ptolemy II discrete-event models using real-time maude
- Bayesian statistical model checking with application to Stateflow/Simulink verification
- On Self-triggered Full-Information H-Infinity Controllers
- A type-based analysis of causality loops in hybrid systems modelers
- On checking equivalence of simulation scripts
- Title not available (Why is that?)
- Control: a perspective
- Hybrid dynamical systems. Fundamentals and methods
- An instrumentation-based approach to controller validation
- Omola
- TimeNET
- HiVy
- HOL-Z
- SIGNAL
- Graph transformation benchmarks
- Simulink
- SimMechanics
- SimPowerSystems
- Cheddar
- ArcAngelC
- iFEST
- Ptolemy
- VPM
- Statechartable Petri nets
- LUSTRE
- AutoMOTGen
- ANN toolbox
- S-TaLiRo
- Quartz
- TaLiRo
- APMC
- STELLA
- ObjectMath
- CalCS
- SAL
- PEP
- NAT2TEST
- Esterel
- CyPhySim
- LySHA
- GRKLib
- Hybrid Trace Verifier
- ABsolver
- Zelus
- PKind
- INFAMY
- Circus
- Modechart
- SCCharts
- DryVR
- AUTOSAR
- Computing bounded reach sets from sampled simulation traces
- SMP-tool
- Check
- Reconciling statechart semantics
- Localizing Faults in Simulink/Stateflow Models with STL
- Formal verification of Simulink/Stateflow diagrams
- Title not available (Why is that?)
- Dynamic state machines for formalizing railway control system specifications
- Unified graphical co-modeling, analysis and verification of cyber-physical systems by combining AADL and simulink/stateflow
- A mechanical analysis of program verification strategies
- Formal Verification of Simulink/Stateflow Diagrams
- Fundamental Approaches to Software Engineering
- A semantic model for interacting cyber-physical systems
- Numerical computing with Simulink. Vol. I: Creating simulations.
- S-TaLiRo: a tool for temporal logic falsification for hybrid systems
- Computer Aided Verification
This page was built for software: StateFlow