Model checking HPnGs in multiple dimensions: representing state sets as convex polytopes
From MaRDI portal
Publication:6190185
DOI10.1007/978-3-030-21759-4_9OpenAlexW2948990026MaRDI QIDQ6190185
Publication date: 6 February 2024
Published in: Formal Techniques for Distributed Objects, Components, and Systems (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-030-21759-4_9
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
- Unnamed Item
- Safety verification for probabilistic hybrid systems
- Approximate model checking of stochastic hybrid systems
- Reachability analysis of linear systems using support functions
- Fluid stochastic Petri nets: Theory, applications, and solution techniques
- Automatic verification of real-time systems with discrete probability distributions.
- Adaptive and Sequential Gridding Procedures for the Abstraction and Verification of Stochastic Processes
- Flowpipe approximation and clustering in space-time
- Introduction to Interval Analysis
- Lectures on Polytopes
- The benefits of relaxing punctuality
- Region-Based Analysis of Hybrid Petri Nets with a Single General One-Shot Transition
- Piecewise deterministic Markov processes represented by dynamically coloured Petri nets
- Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems
- Hybrid Systems: Computation and Control
- Hybrid Systems: Computation and Control
This page was built for publication: Model checking HPnGs in multiple dimensions: representing state sets as convex polytopes