vix.ing · top · new · best · stats · spec

Finite-Horizon Markov Decision Processes with State Constraints

2015/07/06 by Mahmoud El Chamie, Chamie, Mahmoud El, Behçet Açıkmeşe +1
Computer Science · #90C40 #FOS: Electrical engineering #FOS: Mathematics #G.1.6 #G.3 #I.2.8 #Machine Learning and Algorithms #Optimization and Control (math.OC) #Optimization and Search Problems #Reinforcement Learning in Robotics #Systems and Control (eess.SY) #electronic engineering #information engineering

paper · pdf · doi:10.48550/arxiv.1507.01585

openalex publication_date 2015/07/06 · openalex created_date 2025/10/10 · openalex updated_date 2026/08/01

Abstract

Markov Decision Processes (MDPs) have been used to formulate many decision-making problems in science and engineering. The objective is to synthesize the best decision (action selection) policies to maximize expected rewards (minimize costs) in a given stochastic dynamical environment. In many practical scenarios (multi-agent systems, telecommunication, queuing, etc.), the decision-making problem can have state constraints that must be satisfied, which leads to Constrained MDP (CMDP) problems. In the presence of such state constraints, the optimal policies can be very hard to characterize. This paper introduces a new approach for finding non-stationary randomized policies for finite-horizon CMDPs. An efficient algorithm based on Linear Programming (LP) and duality theory is proposed, which gives the convex set of feasible policies and ensures that the expected total reward is above a computable lower-bound. The resulting decision policy is a randomized policy, which is the projection of the unconstrained deterministic MDP policy on this convex set. To the best of our knowledge, this is the first result in state constrained MDPs to give an efficient algorithm for generating finite horizon randomized policies for CMDP with optimality guarantees. A simulation example of a swarm of autonomous agents running MDPs is also presented to demonstrate the proposed CMDP solution algorithm.

Related