On approximation metrics for linear temporal model-checking of stochastic systems
From MaRDI portal
Recommendations
- Approximation metrics based on probabilistic bisimulations for general state-space Markov processes: a survey
- Converging from branching to linear metrics on Markov chains
- Quantitative approach for linear temporal logic based on DTMC
- Converging from Branching to Linear Metrics on Markov Chains
- Bisimulation metrics for continuous Markov decision processes
Cites work
- A quasi-infinite horizon nonlinear model predictive control scheme with guaranteed stability
- Computation of piecewise quadratic Lyapunov functions for hybrid systems
- Constrained model predictive control: Stability and optimality
- Convex Analysis
- Linear systems with state and control constraints: the theory and application of maximal output admissible sets
- Lyapunov Functions, Stability and Input-to-State Stability Subtleties for Discrete-Time Discontinuous Systems
- Minkowski terminal cost functions for MPC
- On infinity norms as Lyapunov functions for piecewise affine systems
- Set-theoretic methods in control
- Stability analysis of piecewise discrete-time linear systems
Cited in
(4)- Similarity quantification for linear stochastic systems: a coupling compensator approach
- Data-driven verification of stochastic linear systems with signal temporal logic constraints
- Approximation metrics based on probabilistic bisimulations for general state-space Markov processes: a survey
- Probabilistic model checking of labelled Markov processes via finite approximate bisimulations
This page was built for publication: On approximation metrics for linear temporal model-checking of stochastic systems
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2986966)
