A compositional modelling and analysis framework for stochastic hybrid systems
From MaRDI portal
Publication:2248073
DOI10.1007/S10703-012-0167-ZzbMATH Open1291.68293OpenAlexW2087486424WikidataQ57800949 ScholiaQ57800949MaRDI QIDQ2248073FDOQ2248073
Authors: Ernst Moritz Hahn, Arnd Hartmanns, Holger Hermanns, Joost-Pieter Katoen 
Publication date: 30 June 2014
Published in: Formal Methods in System Design (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s10703-012-0167-z
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
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)
Cites Work
- HyTech: A model checker for hybrid systems
- Formal Methods for the Design of Real-Time Systems
- Hybrid Systems: Computation and Control
- Title not available (Why is that?)
- A theory of timed automata
- Probabilistic reachability and safety for controlled discrete time stochastic hybrid systems
- Hybrid process algebra
- Syntax and consistent equation semantics of hybrid Chi
- Bisimulation for labelled Markov processes
- Title not available (Why is that?)
- Stochastic hybrid systems. Theory and safety critical applications.
- Title not available (Why is that?)
- A Compositional Approach to Performance Modelling
- Hybrid Systems: Computation and Control
- Automatic verification of real-time systems with discrete probability distributions.
- The algorithmic analysis of hybrid systems
- Process algebra for performance evaluation
- Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems
- Approximate model checking of stochastic hybrid systems
- Title not available (Why is that?)
- Asymptotic Optimization of a Nonlinear Hybrid System Governed by a Markov Decision Process
- Title not available (Why is that?)
- Title not available (Why is that?)
- Hybrid Systems: Computation and Control
- Hybrid I/O automata.
- Title not available (Why is that?)
- Hybrid Systems: Computation and Control
- Title not available (Why is that?)
- Modular and visual specification of hybrid systems: An introduction to HyCharts
- Measurability and safety verification for stochastic hybrid systems
- Stochastic differential dynamic logic for stochastic hybrid programs
Cited In (29)
- 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
- Probabilistic Metric Temporal Graph Logic
- A formal mathematical framework for modeling probabilistic hybrid systems
- Extending hybrid CSP with probability and stochasticity
- Identity-Based Cryptosystems and Quadratic Residuosity
- Optimizing reachability probabilities for a restricted class of stochastic hybrid automata via flowpipe construction
- A probabilistic calculus of cyber-physical systems
- Preface to the special issue on probabilistic model checking
- 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
- Title not available (Why is that?)
- 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
- Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems
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)
