Cited in
(87)- Computer Aided Verification
- Testing using CSP Models: Time, Inputs, and Outputs
- Transient analysis of hierarchical semi-Markov process models with tool support in Stateflow
- Coloured timed Petri net model for real-time control of automated guided vehicle systems
- scientific article; zbMATH DE number 5957770 (Why is no real title available?)
- Stateflow diagrams in Circus
- What is in a step: new perspectives on a classical question
- Hybrid automata: an insight into the discrete abstraction of discontinuous systems
- Automated generation of hybrid automata for multi-rigid-body mechanical systems and its application to the falsification of safety properties
- scientific article; zbMATH DE number 2018592 (Why is no real title available?)
- Semantic mutation testing
- Lyapunov abstractions for inevitability of hybrid systems
- Refinement-oriented models of Stateflow charts
- A two-way path between formal and informal design of embedded systems
- Denotational fixed-point semantics for constructive scheduling of synchronous concurrency
- Verification Condition Generation Via Theorem Proving
- Verifying hierarchical Ptolemy II discrete-event models using real-time maude
- scientific article; zbMATH DE number 1956479 (Why is no real title available?)
- 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
- Control: a perspective
- scientific article; zbMATH DE number 7440190 (Why is no real title available?)
- Hybrid dynamical systems. Fundamentals and methods
- Omola
- TimeNET
- HiVy
- HOL-Z
- SIGNAL
- Graph transformation benchmarks
- Simulink
- SimMechanics
- SimPowerSystems
- Cheddar
- ArcAngelC
- iFEST
- Ptolemy
- VPM
- 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
- SMP-tool
- Check
- An instrumentation-based approach to controller validation
- Statechartable Petri nets
- A type-based analysis of causality loops in hybrid systems modelers
- MATLAB -- Simulink -- Stateflow. Foundations, toolboxes, examples
- Computing bounded reach sets from sampled simulation traces
- Reconciling statechart semantics
- DyverseRBT
- Localizing Faults in Simulink/Stateflow Models with STL
- scientific article; zbMATH DE number 4350 (Why is no real title available?)
- Graphical Modeling of Hybrid Dynamics with Simulink and Stateflow
- Formal verification of Simulink/Stateflow diagrams
- Unified graphical co-modeling, analysis and verification of cyber-physical systems by combining AADL and simulink/stateflow
- Dynamic state machines for formalizing railway control system specifications
- A mechanical analysis of program verification strategies
- Formal Verification of Simulink/Stateflow Diagrams
- A semantic model for interacting cyber-physical systems
- Fundamental Approaches to Software Engineering
- Numerical computing with Simulink. Vol. I: Creating simulations.
- S-TaLiRo: a tool for temporal logic falsification for hybrid systems
This page was built for software: StateFlow
