A pseudometric in supervisory control of probabilistic discrete event systems
From MaRDI portal
Publication:351739
DOI10.1007/s10626-011-0126-7zbMath1267.93109OpenAlexW2052404333MaRDI QIDQ351739
Publication date: 9 July 2013
Published in: Discrete Event Dynamic Systems (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s10626-011-0126-7
Hierarchical systems (93A13) Discrete event control/observation systems (93C65) Stochastic systems in control theory (general) (93E03)
Related Items (3)
A pseudometric in supervisory control of probabilistic discrete event systems ⋮ Explainability of probabilistic bisimilarity distances for labelled Markov chains ⋮ Markov Chain Approach to Probabilistic Guidance for Swarms of Autonomous Agents
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- A pseudometric in supervisory control of probabilistic discrete event systems
- Metrics for labelled Markov processes
- A probabilistic PDL
- Bisimulation through probabilistic testing
- A behavioural pseudometric for probabilistic transition systems
- Recursively defined metric spaces without contraction
- Approximating and computing behavioural distances in probabilistic transition systems
- Bisimulation Metrics for Continuous Markov Decision Processes
- Structural transformations of probabilistic finite state machines
- Autonomous robot navigation using optimal control of probabilistic regular languages
- ν☆: a robot path planning algorithm based on renormalised measure of probabilistic regular languages
- Algebraic laws for nondeterminism and concurrency
- Supervisory control of probabilistic discrete-event systems with recovery
- Probabilistic Supervisory Control of Probabilistic Discrete Event Systems
- Discrete Dynamic Programming
- Optimal Supervisory Control of Probabilistic Discrete Event Systems
- Automata, Languages and Programming
This page was built for publication: A pseudometric in supervisory control of probabilistic discrete event systems
