ABSTRACT
We consider the problem of synthesizing robust disturbance feedback policies for systems performing complex tasks. We formulate the tasks as linear temporal logic specifications and encode them into an optimization framework via mixed-integer constraints. Both the system dynamics and the specifications are known but affected by uncertainty. The distribution of the uncertainty is unknown, however realizations can be obtained. We introduce a data-driven approach where the constraints are fulfilled for a set of realizations and provide probabilistic generalization guarantees as a function of the number of considered realizations. We use separate chance constraints for the satisfaction of the specification and operational constraints. This allows us to quantify their violation probabilities independently. We compute disturbance feedback policies as solutions of mixed-integer linear or quadratic optimization problems. By using feedback we can exploit information of past realizations and provide feasibility for a wider range of situations compared to static input sequences. We demonstrate the proposed method on two robust motion-planning case studies for autonomous driving.
- C. Baier and J-P. Katoen. 2008. Principles of Model Checking. The MIT Press. Google ScholarDigital Library
- A. Bemporad and M. Morari. 1999. Control of systems integrating logic, dynamics, and constraints. Automatica 35, 3 (1999), 407--427. Google ScholarDigital Library
- A. Ben-Tal, L. El Ghaoui, and A. Nemirovski. 2009. Robust optimization. Princeton University Press.Google Scholar
- D. Bertsimas and I. Dunning. 2016. Multistage Robust Mixed-Integer Optimization with Adaptive Partitions. Operations Research 64, 4 (2016), 980--998.Google ScholarDigital Library
- D. Bertsimas and A. Georghiou. 2017. Binary decision rules for multistage adaptive mixed-integer optimization. Mathematical Programming (March 2017). Google ScholarDigital Library
- A. Biere, K. Heljanko, T. Junttila, T. Latvala, and V. Schuppan. 2006. Linear encodings of bounded LTL model checking. Logical Methods in Computer Science 2, 5 (Nov. 2006), 1--64.Google ScholarCross Ref
- G. C. Calafiore. 2010. Random convex programs. SIAM Journal on Optimization 20, 6 (2010), 3427--3464. Google ScholarDigital Library
- G. C. Calafiore, D. Lyons, and L. Fagiano. 2012. On mixed-integer random convex programs. In IEEE Conf. on Decision and Control. 3508--3513.Google Scholar
- M. C. Campi and S. Garatti. 2008. The exact feasibility of randomized solutions of uncertain convex programs. SIAM Journal on Optimization 19, 3 (2008), 1211--1230. Google ScholarDigital Library
- Marco C. Campi and Simone Garatti. 2018. Wait-and-judge scenario optimization. Mathematical Programming 167, 1 (Jan. 2018), 155--189. Google ScholarDigital Library
- X. C. Ding, S. L. Smith, C. Belta, and D. Rus. 2011. LTL Control in Uncertain Environments with Probabilistic Satisfaction Guarantees. Proc. 18th IFAC World Congress 44, 1 (2011), 3515--3520.Google Scholar
- P. M. Esfahani, T. Sutter, and J. Lygeros. 2015. Performance Bounds for the Scenario Approach and an Extension to a Class of Non-Convex Programs. IEEE Trans. on Automatic Control 60, 1 (Jan. 2015), 46--58.Google Scholar
- G. E. Fainekos, H. Kress-Gazit, and G.J. Pappas. 2005. Hybrid Controllers for Path Planning: A Temporal Logic Approach. In IEEE Conf. on Decision and Control. 4885--4890.Google Scholar
- S. S. Farahani, R. Majumdar, V. S. Prabhu, and S. E. Z. Soudjani. 2017. Shrinking Horizon Model Predictive Control with chance-constrained signal temporal logic specifications. In American Control Conf. 1740--1746.Google ScholarCross Ref
- S. S. Farahani, V. Raman, and R. M. Murray. 2015. Robust Model Predictive Control for Signal Temporal Logic Synthesis. IFAC-PapersOnLine 48, 27 (2015), 323--328.Google ScholarCross Ref
- D. Frick, P. G. Sessa, T. A. Wood, and M. Kamgarpour. 2018. Exploiting submod-uarlity in mixed-integer chance constrained programs. (Jan. 2018), 15 pages. arXiv:1801.03258 (under review).Google Scholar
- D. Frick, T. A. Wood, G. Ulli, and M. Kamgarpour. 2017. Robust Control Policies Given Formal Specifications in Uncertain Environments. IEEE Control Systems Letters 1, 1 (July 2017), 20--25.Google ScholarCross Ref
- E. A. Gol, M. Lazar, and C. Belta. 2015. Temporal logic model predictive control. Automatica 56 (2015), 78 - 85. Google ScholarDigital Library
- P. J. Goulart, E. C. Kerrigan, and J. M. Maciejowski. 2006. Optimization over state feedback policies for robust control with constraints. Automatica 42, 4 (2006), 523--533. Google ScholarDigital Library
- S. Grammatico, X. Zhang, K. Margellos, P. Goulart, and J. Lygeros. 2016. A Scenario Approach for Non-Convex Control Design. IEEE Trans. on Automatic Control 61, 2 (Feb. 2016), 334--345.Google Scholar
- Int. Business Machines Corp. (IBM). 2017. IBM ILOG CPLEX Optimization Studio. (Sept. 2017). http://www.ibm.com/software/commerce/optimization/cplex-optimizerGoogle Scholar
- M. I. Jordan. 1998. Learning in graphical models. NATO ASI Series, Vol. 89. Springer Science & Business Media. Google ScholarDigital Library
- M. Kamgarpour, S. Summers, and J. Lygeros. 2013. Control Design for Specifications on Stochastic Hybrid Systems. In Proc. 16th Int. Conf. on Hybrid Systems: Computation and Control. 303--312. Google ScholarDigital Library
- M. Kamgarpour, T. A. Wood, S. Summers, and J. Lygeros. 2017. Control synthesis for stochastic systems given automata specifications defined by stochastic sets. Automatica 76 (2017), 177--182.Google ScholarCross Ref
- S. Karaman, R. G. Sanfelice, and E. Frazzoli. 2008. Optimal control of Mixed Logical Dynamical systems with Linear Temporal Logic specifications. In IEEE Conf. on Decision and Control. 2117--2122.Google Scholar
- Z. Kong, A. Jones, A. M. Ayala, E. A. Gol, and Calin Belta. 2014. Temporal Logic Inference for Classification and Prediction from Data. In Proc. 17th Int. Conf. on Hybrid Systems: Computation and Control. 273--282. Google ScholarDigital Library
- H. Kress-Gazit, G. E. Fainekos, and G. J. Pappas. 2009. Temporal-Logic-Based Reactive Mission and Motion Planning. IEEE Trans. on Robotics 25, 6 (Dec. 2009), 1370--1381. Google ScholarDigital Library
- M. Lahijanian, S. B. Andersson, and C. Belta. 2012. Temporal Logic Motion Planning and Control With Probabilistic Satisfaction Guarantees. IEEE Trans. on Robotics 28, 2 (April 2012), 396--409. Google ScholarDigital Library
- J. Löfberg. 2004. YALMIP: a toolbox for modeling and optimization in MATLAB. In IEEE Int. Symp. on Computer Aided Control Systems Design. 284--289.Google ScholarCross Ref
- K. Margellos, P. Goulart, and J. Lygeros. 2014. On the Road Between Robust Optimization and the Scenario Approach for Chance Constrained Optimization Problems. IEEE Trans. on Automatic Control 59, 8 (Aug. 2014), 2258--2263.Google ScholarCross Ref
- A. Pnueli. 1977. The Temporal Logic of Programs. In Proc. 18th Ann. Symp. on Foundations of Computer Science. 46--57. Google ScholarDigital Library
- K. Postek and D. den Hertog. 2016. Multistage Adjustable Robust Mixed-Integer Optimization via Iterative Splitting of the Uncertainty Set. INFORMS Journal on Computing 28, 3 (2016), 553--574.Google ScholarDigital Library
- V. Raman, A. Donzé, D. Sadigh, R. M. Murray, and S. A. Seshia. 2015. Reactive Synthesis from Signal Temporal Logic Specifications. In Proc. 18th Int. Conf. on Hybrid Systems: Computation and Control. 239--248. Google ScholarDigital Library
- D. Sadigh and A. Kapoor. 2016. Safe Control under Uncertainty with Probabilistic Signal Temporal Logic. In Proc. Robotics: Science and Systems. Ann Arbor, Michigan, USA.Google Scholar
- G. Schildbach, L. Fagiano, and M. Morari. 2013. Randomized Solutions to Convex Programs with Multiple Chance Constraints. SIAM Journal on Optimization 23, 4 (2013), 2479--2501.Google ScholarCross Ref
- A. Shapiro. 2013. Sample Average Approximation. Springer US, Boston, MA, 1350--1355.Google Scholar
- P. Tabuada and G. J. Pappas. 2006. Linear Time Logic Control of Discrete-Time Linear Systems. IEEE Trans. on Automatic Control 51, 12 (Dec. 2006), 1862--1877.Google ScholarCross Ref
- E. M. Wolff, U. Topcu, and R. M. Murray. 2012. Robust control of uncertain Markov Decision Processes with temporal logic specifications. In IEEE Conf. on Decision and Control. 3372--3379.Google Scholar
- E. M. Wolff, U. Topcu, and R. M. Murray. 2014. Optimization-based trajectory generation with linear temporal logic specifications. In IEEE Int. Conf. on Robotics and Automation. 5319--5325.Google Scholar
- X. Zhang, S. Grammatico, G. Schildbach, P. Goulart, and J. Lygeros. 2015. On the sample size of random convex programs with structured dependence on the uncertainty. Automatica 60 (2015), 182--188. Google ScholarDigital Library
Index Terms
- From Uncertainty Data to Robust Policies for Temporal Logic Planning
Recommendations
Brief paper: Constrained linear system with disturbance: Convergence under disturbance feedback
This paper proposes a disturbance-based control parametrization under the Model Predictive Control framework for constrained linear discrete time systems with bounded additive disturbances. The proposed approach has the same feasible domain as that ...
Data-Driven Robust Chance Constrained Problems: A Mixture Model Approach
This paper discusses the mixture distribution-based data-driven robust chance constrained problem. We construct a data-driven mixture distribution-based uncertainty set from the perspective of simultaneously estimating higher-order moments. Then, we ...
Robust Duality for Fractional Programming Problems with Constraint-Wise Data Uncertainty
In this paper, we examine duality for fractional programming problems in the face of data uncertainty within the framework of robust optimization. We establish strong duality between the robust counterpart of an uncertain convex---concave fractional ...
Comments