Optimal deterministic controller synthesis from steady-state distributions

DOI10.1007/S10817-022-09657-9MaRDI QIDQ6156635zbMATH OpenFDO

Authors Alvaro Velasquez, Ismail Alkhouri, K. Subramani, Piotr Wojciechowski, George K. Atia

Publication date 14 June 2023

Published in Journal of Automated Reasoning (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/S10817-022-09657-9

zbMATH Keywords

optimal controlMarkov decision processesNP-completelinear temporal logicautonomous system

Mathematics Subject Classification ID

Theorem proving (automated and interactive theorem provers, deduction, resolution, etc.) (68V15)

Cites work

• scientific article; zbMATH DE number 1670788 (Why is no real title available?)
• scientific article; zbMATH DE number 5547823 (Why is no real title available?)
• scientific article; zbMATH DE number 1348599 (Why is no real title available?)
• scientific article; zbMATH DE number 610968 (Why is no real title available?)
• scientific article; zbMATH DE number 700091 (Why is no real title available?)
• scientific article; zbMATH DE number 3793773 (Why is no real title available?)
• Achieving Target State-Action Frequencies in Multichain Average-Reward Markov Decision Processes
• An online actor-critic algorithm with function approximation for constrained Markov decision processes
• Approximation of average cost Markov decision processes using empirical distributions and concentration inequalities
• Automated verification and strategy synthesis for probabilistic systems
• Finite-State Approximations to Discounted and Average Cost Constrained Markov Decision Processes
• Markov Chains
• Markov Decision Processes with Asymptotic Average Failure Rate Constraint
• Markov decision processes with multiple long-run average objectives
• Multi-Objective Model Checking of Markov Decision Processes
• Non-ergodic Markov decision processes with a constraint on the asymptotic failure rate: general class of policies
• Optimal flow control of a class of queueing networks in equilibrium
• Path-constrained Markov decision processes: bridging the gap between probabilistic model-checking and decision-theoretic planning
• Probabilistic Motion Planning Under Temporal Tasks and Soft Constraints
• Reinforcement learning. An introduction
• Steady-state planning in expected reward multichain MDPs
• The complexity of probabilistic verification
• Tiling simply connected regions with rectangles

Cited in

(1)

• Design of cross-directional controllers with optimal steady state performance

This page was built for publication: Optimal deterministic controller synthesis from steady-state distributions

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6156635)