Litcius/Paper detail

Deep Reinforcement Learning Under Signal Temporal Logic Constraints Using Lagrangian Relaxation

Junya Ikemoto, Toshimitsu Ushio

2022IEEE Access12 citationsDOIOpen Access PDF

Abstract

Deep reinforcement learning (DRL) has been attracted much attention to as an approach to solve optimal control problems without mathematical models of systems. On the other hand, in general, constraints may be imposed on an optimal control problem. In this study, we consider the optimal control problems with constraints to complete temporal control tasks. We describe the constraints using signal temporal logic (STL), which is useful for time sensitive control tasks since it can specify continuous signals within a bounded time interval. To deal with the STL constraints, we introduce an extended constrained Markov decision process (CMDP), which is called a τ-CMDP. We formulate the STL constrained optimal control problem as the τ-CMDP and propose a two-phase constrained DRL algorithm using the Lagrangian relaxation method. Through simulations, we also demonstrate the learning performance of the proposed algorithm.

Topics & Concepts

Reinforcement learningMarkov decision processLagrangian relaxationComputer scienceOptimal controlRelaxation (psychology)Bounded functionLagrangianMathematical optimizationSIGNAL (programming language)Control (management)Artificial intelligenceMarkov processControl theory (sociology)MathematicsApplied mathematicsProgramming languagePsychologyMathematical analysisSocial psychologyStatisticsReinforcement Learning in RoboticsFormal Methods in VerificationGene Regulatory Network Analysis