Model checking HPnGs in multiple dimensions: representing state sets as convex polytopes

DOI10.1007/978-3-030-21759-4_9OpenAlexW2948990026MaRDI QIDQ6190185

Jannik Hüls, Anne Remke

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

Mathematics Subject Classification ID

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