Imagen de Portada

Optimal Control of Markov Decision Processes for Efficiency with Linear Temporal Logic Tasks

Fuente: arXiv

Guardado en:

Detalles Bibliográficos
Autores principales:	Chen, Yu, Yin, Xuanyuan, Li, Shaoyuan, Yin, Xiang
Formato:	Preprint
Publicado:	2024
Materias:	Systems and Control
Acceso en línea:	Acceder al recurso
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

Ejemplares similares

Entropy Rate Maximization of Markov Decision Processes under Linear Temporal Logic Tasks
por: Chen, Yu, et al.
Publicado: (2022)

Synthesis of Temporally-Robust Policies for Signal Temporal Logic Tasks using Reinforcement Learning
por: Wang, Siqi, et al.
Publicado: (2023)

Prioritize Team Actions: Multi-Agent Temporal Logic Task Planning with Ordering Constraints
por: Ye, Bowen, et al.
Publicado: (2024)

Control Synthesis for Multiple Reach-Avoid Tasks via Hamilton-Jacobi Reachability Analysis
por: Chen, Yu, et al.
Publicado: (2025)

A Game-Theoretical Approach for Optimal Supervisory Control of Discrete Event Systems under Energy Constraints
por: Lv, Peng, et al.
Publicado: (2024)

On the Computation and Approximation of Backward Reachable Sets for Max-Plus Linear Systems using Polyhedras
por: Li, Yuda, et al.
Publicado: (2026)

Distributionally Robust Control Synthesis for Stochastic Systems with Safety and Reach-Avoid Specifications
por: Chen, Yu, et al.
Publicado: (2025)

On the Construction of Barrier Certificate: A Dynamic Programming Perspective
por: Chen, Yu, et al.
Publicado: (2025)

Multi-Agent Control Synthesis from Global Temporal Logic Tasks with Synchronous Satisfaction Requirements
por: Yang, Tiange, et al.
Publicado: (2023)

SPARC: Prediction-Based Safe Control for Coupled Controllable and Uncontrollable Agents with Conformal Predictions
por: Wang, Shuqi, et al.
Publicado: (2024)

Task and Motion Planning of Dynamic Systems using Hyperproperties for Signal Temporal Logics
por: Zhao, Jianing, et al.
Publicado: (2025)

Stability Verification for Switched Systems using Neural Multiple Lyapunov Functions
por: Huang, Junyue, et al.
Publicado: (2026)

Signal Temporal Logic Control Synthesis among Uncontrollable Dynamic Agents with Conformal Prediction
por: Yu, Xinyi, et al.
Publicado: (2023)

A Stackelberg Game Approach for Signal Temporal Logic Control Synthesis with Uncontrollable Agents
por: Cui, Bohan, et al.
Publicado: (2025)

Zero-Shot Trajectory Planning for Signal Temporal Logic Tasks
por: Liu, Ruijia, et al.
Publicado: (2025)

Model Predictive Online Monitoring of Dynamical Systems for Nested Signal Temporal Logic Specifications
por: Han, Tao, et al.
Publicado: (2025)

Signal Temporal Logic Motion Planning via Graphs of Convex Sets
por: Chen, Yu, et al.
Publicado: (2026)

On Epistemic Properties in Discrete-Event Systems: A Uniform Framework and Its Applications
por: Cui, Bohan, et al.
Publicado: (2024)

Bridging Perception and Planning: Towards End-to-End Planning for Signal Temporal Logic Tasks
por: Ye, Bowen, et al.
Publicado: (2025)

Optimal Control of Logically Constrained Partially Observable and Multi-Agent Markov Decision Processes
por: Kalagarla, Krishna C., et al.
Publicado: (2023)

VH-Diffuser: Variable Horizon Diffusion Planner for Time-Aware Goal-Conditioned Trajectory Planning
por: Liu, Ruijia, et al.
Publicado: (2025)

Compositional Planning for Logically Constrained Multi-Agent Markov Decision Processes
por: Kalagarla, Krishna C., et al.
Publicado: (2024)

Causal Temporal Reasoning for Markov Decision Processes
por: Kazemi, Milad, et al.
Publicado: (2022)

SAGAS: Semantic-Aware Graph-Assisted Stitching for Offline Temporal Logic Planning
por: Liu, Ruijia, et al.
Publicado: (2025)

DAG-STL: A Hierarchical Framework for Zero-Shot Trajectory Planning under Signal Temporal Logic Specifications
por: Liu, Ruijia, et al.
Publicado: (2026)

ReasonSTL: Bridging Natural Language and Signal Temporal Logic via Tool-Augmented Process-Rewarded Learning
por: Ye, Bowen, et al.
Publicado: (2026)

Self-Triggered Distributed Model Predictive Control with Synchronization Parameters Interaction
por: Chen, Qianqian, et al.
Publicado: (2024)

Online Reinforcement Learning in Markov Decision Process Using Linear Programming
por: Leon, Vincent, et al.
Publicado: (2023)

Distributed Model Predictive Control for Asynchronous Multi-agent Systems with Self-Triggered Coordinator
por: Chen, Qianqian, et al.
Publicado: (2024)

On the Computation of Backward Reachable Sets for Max-Plus Linear Systems with Disturbances
por: Li, Yuda, et al.
Publicado: (2026)

Does Optimal Control Always Benefit from Better Prediction? An Analysis Framework for Predictive Optimal Control
por: Zeng, Xiangrui, et al.
Publicado: (2024)

Optimal Planning and Control under Signal Temporal Logic Specifications
por: Pan, Zuodong, et al.
Publicado: (2026)

Quantum Markov Decision Processes: Dynamic and Semi-Definite Programs for Optimal Solutions
por: Saldi, Naci, et al.
Publicado: (2024)

Economic Model Predictive Control as a Solution to Markov Decision Processes
por: Reinhardt, Dirk, et al.
Publicado: (2024)

Intermittently Observable Markov Decision Processes
por: Chen, Gongpu, et al.
Publicado: (2023)

Resilient and Effort-Optimal Controller Synthesis under Temporal Logic Specifications
por: Si, Youssef Ait, et al.
Publicado: (2026)

Switched Linear Ensemble Systems and Structural Controllability
por: Yin, Haoyu, et al.
Publicado: (2025)

Bridging Impulse Control of Piecewise Deterministic Markov Processes and Markov Decision Processes: Frameworks, Extensions, and Open Challenges
por: Cleynen, Alice, et al.
Publicado: (2025)

Optimal Sensor and Actuator Selection for Factored Markov Decision Processes: Complexity, Approximability and Algorithms
por: Bhargav, Jayanth, et al.
Publicado: (2024)

Bellman Value Decomposition for Task Logic in Safe Optimal Control
por: Sharpless, William, et al.
Publicado: (2026)