StateFlow
From MaRDI portal
Software:16529
swMATH4350MaRDI QIDQ16529FDOQ16529
Author name not available (Why is that?)
Cited In (43)
- 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
- Formal Verification of Simulink/Stateflow Diagrams
- Dynamic State Machines for Formalizing Railway Control System Specifications
- 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
- S-TaLiRo: A Tool for Temporal Logic Falsification for Hybrid Systems
- MATLAB – Simulink – Stateflow
- Title not available (Why is that?)
- Semantic mutation testing
- Lyapunov abstractions for inevitability of hybrid 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
- Title not available (Why is that?)
- 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
- What Is in a Step: New Perspectives on a Classical Question
- Title not available (Why is that?)
- A type-based analysis of causality loops in hybrid systems modelers
- Statechartable Petri nets
- A Two-Way Path Between Formal and Informal Design of Embedded Systems
- Computing bounded reach sets from sampled simulation traces
- Reconciling statechart semantics
- Localizing Faults in Simulink/Stateflow Models with STL
- Stateflow Diagrams in
- Graphical Modeling of Hybrid Dynamics with Simulink and Stateflow
- Title not available (Why is that?)
- 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
- An Instrumentation-Based Approach to Controller Validation
- Computer Aided Verification
This page was built for software: StateFlow