A compositional modelling and verification framework for stochastic hybrid systems
From MaRDI portal
Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Probability in computer science (algorithm analysis, random structures, phase transitions, etc.) (68Q87) Control/observation systems governed by functional relations other than differential equations (such as hybrid and switching systems) (93C30) Control/observation systems involving computers (process control, etc.) (93C83)
Recommendations
- Extending hybrid CSP with probability and stochasticity
- A compositional modelling and analysis framework for stochastic hybrid systems
- Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems
- Hybrid Systems: Computation and Control
- Quantitative automata model checking of autonomous stochastic hybrid systems
Cites work
- A compositional modelling and analysis framework for stochastic hybrid systems
- A Framework for Worst-Case and Stochastic Safety Verification Using Barrier Certificates
- An assume/guarantee based compositional calculus for hybrid CSP
- An axiomatic basis for computer programming
- Assume-guarantee verification for probabilistic systems
- Asymptotic Optimization of a Nonlinear Hybrid System Governed by a Markov Decision Process
- Automatic invariant generation for hybrid systems using ideal fixed points
- Automatic verification of stability and safety for delay differential equations
- Bayesian statistical model checking with application to Stateflow/Simulink verification
- Computing Differential Invariants of Hybrid Systems as Fixedpoints
- Constraint-Based Approach for Analysis of Hybrid Systems
- Differential-algebraic Dynamic Logic for Differential-algebraic Programs
- Extending hybrid CSP with probability and stochasticity
- Formal modelling, analysis and verification of hybrid systems
- GLOBAL ATTRACTIVITY IN A PREDATOR–PREY SYSTEM WITH PURE DELAYS
- scientific article; zbMATH DE number 1696496 (Why is no real title available?)
- scientific article; zbMATH DE number 4039251 (Why is no real title available?)
- scientific article; zbMATH DE number 1500556 (Why is no real title available?)
- scientific article; zbMATH DE number 1507210 (Why is no real title available?)
- scientific article; zbMATH DE number 1444349 (Why is no real title available?)
- Hybrid Systems: Computation and Control
- Hybrid Systems: Computation and Control
- Hybrid Systems: Computation and Control
- Hybrid Systems: Computation and Control
- Measurability and safety verification for stochastic hybrid systems
- On invariant polyhedra of continuous-time linear systems
- Probabilistic reachability and safety for controlled discrete time stochastic hybrid systems
- Refinement-oriented probability for CSP
- Safety verification for probabilistic hybrid systems
- Stochastic differential dynamic logic for stochastic hybrid programs
- Stochastic differential equations. An introduction with applications
- Toward a general theory of stochastic hybrid systems
- Transcendental inductive invariants generation for non-linear differential and hybrid systems
- Validated simulation-based verification of delayed differential dynamics
Cited in
(21)- A probabilistic calculus of cyber-physical systems
- Efficient simulation of general stochastic hybrid systems
- Automated verification and synthesis of stochastic hybrid systems: a survey
- A compositional modelling and analysis framework for stochastic hybrid systems
- Modeling and verification of stochastic hybrid systems using HIOA: a case study on DNA replication
- Quantitative automata model checking of autonomous stochastic hybrid systems
- Communicating piecewise deterministic Markov processes
- A decompositional proof scheme for automated convergence proofs of stochastic hybrid systems
- Composition of stochastic transition systems based on spans and couplings
- A model of distributed object-based stochastic hybrid systems
- Stability verification for a class of stochastic hybrid systems by semidefinite programming
- Stochastic differential dynamic logic for stochastic hybrid programs
- Extending hybrid CSP with probability and stochasticity
- Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems
- Hybrid Systems: Computation and Control
- Stochastic hybrid systems: a powerful framework for complex, large scale applications
- Approximate model checking of stochastic hybrid systems
- Comparing two approaches to include stochasticity in hybrid automata
- Compositional analysis of probabilistic timed graph transformation systems
- A weak semantic approach to bisimulation metrics in models with nondeterminism and continuous state spaces
- A formal mathematical framework for modeling probabilistic hybrid systems
This page was built for publication: A compositional modelling and verification framework for stochastic hybrid systems
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2403530)
