A compositional modelling and analysis framework for stochastic hybrid systems
From MaRDI portal
Publication:2248073
Probability in computer science (algorithm analysis, random structures, phase transitions, etc.) (68Q87) Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)
Recommendations
- A compositional modelling and verification framework for stochastic hybrid systems
- Extending hybrid CSP with probability and stochasticity
- Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems
- scientific article; zbMATH DE number 1884414
- Stochastic hybrid systems: a powerful framework for complex, large scale applications
Cites work
- scientific article; zbMATH DE number 1696496 (Why is no real title available?)
- scientific article; zbMATH DE number 425394 (Why is no real title available?)
- scientific article; zbMATH DE number 3764843 (Why is no real title available?)
- scientific article; zbMATH DE number 1956581 (Why is no real title available?)
- scientific article; zbMATH DE number 1759607 (Why is no real title available?)
- scientific article; zbMATH DE number 794262 (Why is no real title available?)
- scientific article; zbMATH DE number 1444349 (Why is no real title available?)
- scientific article; zbMATH DE number 5263038 (Why is no real title available?)
- A Compositional Approach to Performance Modelling
- A theory of timed automata
- Approximate model checking of stochastic hybrid systems
- Asymptotic Optimization of a Nonlinear Hybrid System Governed by a Markov Decision Process
- Automatic verification of real-time systems with discrete probability distributions.
- Bisimulation for labelled Markov processes
- Formal Methods for the Design of Real-Time Systems
- Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems
- HyTech: A model checker for hybrid systems
- Hybrid I/O automata.
- Hybrid Systems: Computation and Control
- Hybrid Systems: Computation and Control
- Hybrid Systems: Computation and Control
- Hybrid Systems: Computation and Control
- Hybrid process algebra
- Measurability and safety verification for stochastic hybrid systems
- Modular and visual specification of hybrid systems: An introduction to HyCharts
- Probabilistic reachability and safety for controlled discrete time stochastic hybrid systems
- Process algebra for performance evaluation
- Stochastic differential dynamic logic for stochastic hybrid programs
- Stochastic hybrid systems. Theory and safety critical applications.
- Syntax and consistent equation semantics of hybrid Chi
- The algorithmic analysis of hybrid systems
Cited in
(29)- Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems
- A compositional modelling and verification framework for stochastic hybrid systems
- A weak semantic approach to bisimulation metrics in models with nondeterminism and continuous state spaces
- Optimizing reachability probabilities for a restricted class of stochastic hybrid automata via flowpipe-construction
- Tweaking the odds in probabilistic timed automata
- A theory for the semantics of stochastic and non-deterministic continuous systems
- Parameter synthesis for Markov models: covering the parameter space
- Bounded model checking for interval probabilistic timed graph transformation systems against properties of probabilistic metric temporal graph logic
- A formal mathematical framework for modeling probabilistic hybrid systems
- Probabilistic Metric Temporal Graph Logic
- Identity-Based Cryptosystems and Quadratic Residuosity
- Extending hybrid CSP with probability and stochasticity
- A probabilistic calculus of cyber-physical systems
- Preface to the special issue on probabilistic model checking
- Optimizing reachability probabilities for a restricted class of stochastic hybrid automata via flowpipe construction
- Estimating the volume of the solution space of SMT(LIA) constraints by a flat histogram method
- Adaptive step size numerical integration for stochastic differential equations with discontinuous drift and diffusion
- Revisiting sequential composition in process calculi
- Approximations of Stochastic Hybrid Systems: A Compositional Approach
- scientific article; zbMATH DE number 1884414 (Why is no real title available?)
- Multi-cost bounded tradeoff analysis in MDP
- Formal Methods for the Design of Real-Time Systems
- Compositional abstraction-based synthesis of general MDPs via approximate probabilistic relations
- Compositional abstraction-based synthesis for networks of stochastic switched systems
- Compositional abstraction of large-scale stochastic systems: a relaxed dissipativity approach
- Compositional construction of control barrier functions for continuous-time stochastic hybrid systems
- Correct probabilistic model checking with floating-point arithmetic
- A modest Markov automata tutorial
- Comparing two approaches to include stochasticity in hybrid automata
Describes a project that uses
Uses Software
This page was built for publication: A compositional modelling and analysis framework for stochastic hybrid systems
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2248073)
