StateFlow

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