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?)
• Stateflow diagrams in Circus
• 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
• 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?)
• 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
• 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
• An instrumentation-based approach to controller validation
• A type-based analysis of causality loops in hybrid systems modelers
• Statechartable Petri nets
• MATLAB -- Simulink -- Stateflow. Foundations, toolboxes, examples
• Computing bounded reach sets from sampled simulation traces
• Reconciling statechart semantics
• Localizing Faults in Simulink/Stateflow Models with STL
• Graphical Modeling of Hybrid Dynamics with Simulink and Stateflow
• 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