Optimal supervisory control with mean payoff objectives and under partial observation
From MaRDI portal
Publication:2662323
DOI10.1016/j.automatica.2020.109359zbMath1461.93311OpenAlexW3110301153MaRDI QIDQ2662323
Stéphane Lafortune, Xiang Yin, Yiding Ji
Publication date: 12 April 2021
Published in: Automatica (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.automatica.2020.109359
Discrete event control/observation systems (93C65) Optimal stochastic control (93E20) Algorithmic game theory and complexity (91A68)
Related Items
Enforcement for infinite-step opacity and K-step opacity via insertion mechanism, Deterministic supervisory control with flexible upper-bounds on observation delay and control delay, Game current-state opacity formulation in probabilistic resource automata, Synthesis of optimal covert sensor-actuator attackers for discrete-event systems, Switching defence for switched systems under malicious attacks: a Stackelberg game approach
Uses Software
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- The fixed initial credit problem for partial-observation energy games is \textsc{Ack}-complete
- A framework for state attraction of discrete event systems under partial observation
- First-cycle games
- On the undecidability of probabilistic planning and related stochastic optimization problems
- The covering and boundedness problems for vector addition systems
- The complexity of mean payoff games on graphs
- Computation of controllable and coobservable sublanguages in decentralized supervisory control via communication
- Synthesis of minimally restrictive optimal stability-enforcing supervisors for nondeterministic discrete event systems
- Supervisory control of discrete-event systems
- On optimal control of a class of partially observed discrete event systems
- Supervisory control of state-tree structures with partial observation
- Effective computation of an \(L_{m}(G)\)-closed, controllable, and observable sublanguage arising in supervisory control
- Mean-payoff games with partial observation
- Partially Observed Markov Decision Processes
- Quantitative Supervisory Control Game for Discrete Event Systems
- A Uniform Approach for Synthesizing Property-Enforcing Supervisors for Partially-Observed Discrete-Event Systems
- Synthesis of Maximally Permissive Supervisors for Partially-Observed Discrete-Event Systems
- Synthesis of Optimal Insertion Functions for Opacity Enforcement
- Supervisor Synthesis for Networked Discrete Event Systems With Communication Delays
- Relative Observability of Discrete-Event Systems and Its Supremal Sublanguages
- Introduction to Discrete Event Systems
- An Optimal Control Theory for Discrete Event Systems
- Predictive Networked Control of Discrete Event Systems
- New Algorithms for Verification of Relative Observability and Computation of Supremal Relatively Observable Sublanguage
- Synthesis of Maximally-Permissive Supervisors for the Range Control Problem
- Automatic Generation of Optimal Reductions of Distributions
- Observer-Based State-Feedback Control of Timed Petri Nets With Deadlock Recovery
- Optimal Supervisory Control of Probabilistic Discrete Event Systems
- \(H^ \infty\)-optimal control and related minimax design problems. A dynamic game approach.
