Abstract
In this chapter, we focus on synthesis of an optimal control strategy for a PWA system constrained to satisfy a temporal logic specification. The specification is a formula of syntactically co-safe Linear Temporal Logic (scLTL). The cost is a quadratic function that penalizes the distance from desired state and control trajectories, which are called reference trajectories. To incorporate dynamic environments, we assume that the reference trajectories are only available over a finite horizon. The goal is to find a control strategy such that the trajectory of the closed-loop system originating from a given initial state satisfies the formula and minimizes the cost. We treat the temporal logic specifications as constraints in an optimal control problem and propose a model predictive control (MPC) solution, as the natural approach for such constrained problems.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsAuthor information
Authors and Affiliations
Corresponding author
Rights and permissions
Copyright information
© 2017 Springer International Publishing AG
About this chapter
Cite this chapter
Belta, C., Yordanov, B., Aydin Gol, E. (2017). Optimal Temporal Logic Control. In: Formal Methods for Discrete-Time Dynamical Systems. Studies in Systems, Decision and Control, vol 89. Springer, Cham. https://doi.org/10.1007/978-3-319-50763-7_12
Download citation
DOI: https://doi.org/10.1007/978-3-319-50763-7_12
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-50762-0
Online ISBN: 978-3-319-50763-7
eBook Packages: EngineeringEngineering (R0)