{"type":"ScholarlyArticle","title":"Resilient Control and Safety for Multi-Agent Cyber-Physical Systems","authors":[{"name":"Anna Lukina","slug":"anna-lukina","given":"Anna","family":"Lukina","affiliation":"Technische Universität Wien , Vienna , Austria"}],"abstract":"I develop novel intelligent approximation algorithms for solving modern problems of CPSs, such as control and verification, by combining advanced statistical methods. it is important for the control algorithms underlying the class of multi-agent CPSs to be resilient to various kinds of attacks, and so it is for my algorithms. I have designed a very general adaptive receding-horizon synthesis approach to planning and control that can be applied to controllable stochastic dynamical systems. Apart from being fast and efficient, it provides statistical guarantees of convergence. The optimization technique based on the best features of Model Predictive Control and Particle Swarm Optimization proves to be robust in finding a winning strategy in the stochastic non-cooperative games against a malicious attacker. The technique can further benefit probabilistic model checkers and real-world CPSs.","doi":"10.24963/ijcai.2017/753","url":"https://ijcai.org/proceedings/2017/753","pdf":"https://ijcai.org/proceedings/2017/0753.pdf","markdown":"https://ijcai.org/proceedings/2017/753.md","bibtex":"https://ijcai.org/proceedings/2017/bibtex/753","volume":{"slug":"2017","title":"Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence","short_title":"IJCAI 2017","url":"https://ijcai.org/proceedings/2017/","year":2017,"location":"Melbourne, Australia","dates":"19-25 August 2017","editors":"Carles Sierra","isbn":"978-0-9992411-0-3","publisher":"International Joint Conferences on Artificial Intelligence Organization","doi_prefix":"10.24963/ijcai.2017"},"section":"Doctoral Consortium","track":"Doctoral Consortium","number":753,"pages":{"first":5187,"last":5188},"keywords":["Artificial Intelligence: robotics","Artificial Intelligence: formal methods","Artificial Intelligence: agents and multi-agent systems","Artificial Intelligence: planning"],"videos":[],"references":[{"position":1,"raw":"[Bellman, 1957] Richard Bellman. Dynamic Programming. Princeton University Press, 1957.","title":"Dynamic Programming","authors":"Richard Bellman","year":"1957","venue":null,"doi":null,"url":null,"internal_url":null},{"position":2,"raw":"[Condliffe, 2017] Jamie Condliffe. A 100-Drone Swarm, Dropped from Jets, Plans Its Own Moves. MIT Technology Review, January 2017.","title":"A 100-Drone Swarm, Dropped from Jets, Plans Its Own Moves","authors":"Jamie Condliffe","year":"2017","venue":null,"doi":null,"url":null,"internal_url":null},{"position":3,"raw":"[Garca et al., 1989] Carlos E. Garca, David M. Prett, and Manfred Morari. Model Predictive Control: Theory and Practice -A Survey. Automatica, 25(3):335-348, 1989.","title":"Model Predictive Control: Theory and Practice -A Survey","authors":"Carlos E Garca, David M Prett, Manfred Morari","year":"1989","venue":"Automatica","doi":null,"url":null,"internal_url":null},{"position":4,"raw":"[Kalajdzic et al., 2016] Kenan Kalajdzic, Cyrille Jégourel, Anna Lukina, Ezio Bartocci, Axel Legay, Scott A. Smolka, and Radu Grosu. Feedback Control for Statistical Model Checking of Cyber-Physical Systems. In ISoLA 2016, Oc- tober 10-14, 2016, Proceedings, Part I, volume 9952 of LNCS, pages 46-61, 2016.","title":"Feedback Control for Statistical Model Checking of Cyber-Physical Systems","authors":"Kenan Kalajdzic, Cyrille Jégourel, Anna Lukina, Ezio Bartocci, Axel Legay, Scott A Smolka, Radu Grosu","year":"2016","venue":"Proceedings, Part I","doi":null,"url":null,"internal_url":null},{"position":5,"raw":"[Kennedy and Eberhart, 1995] James Kennedy and Russell Eberhart. Particle Swarm Optimization. In Proceedings of 1995 IEEE International Conference on Neural Networks, pages 1942-1948, 1995.","title":"Particle Swarm Optimization","authors":"Eberhart Kennedy, James Kennedy, Russell Eberhart","year":"1995","venue":"Proceedings of 1995 IEEE International Conference on Neural Networks","doi":null,"url":null,"internal_url":null},{"position":6,"raw":"[Kwiatkowska, 2016] Marta Kwiatkowska. Advances and Challenges of Quantitative Verification and Synthesis for Cyber-Physical Systems. In Cyber-Physical Systems Workshop (SOSCYPS), Science of Security for, pages 1- 5. IEEE, 2016.","title":"Advances and Challenges of Quantitative Verification and Synthesis for Cyber-Physical Systems","authors":"Marta Kwiatkowska","year":"2016","venue":"Cyber-Physical Systems Workshop (SOSCYPS), Science of Security for","doi":null,"url":null,"internal_url":null},{"position":7,"raw":"[Lukina et al., 2017] Anna Lukina, Lukas Esterle, Chris- tian Hirsch, Ezio Bartocci, Junxing Yang, Ashish Tiwari, Scott A. Smolka, and Radu Grosu. ARES: adaptive receding-horizon synthesis of optimal plans. In TACAS 2017, April 22-29, 2017, Proceedings, Part II, volume 10206 of LNCS, pages 286-302, 2017.","title":"ARES: adaptive receding-horizon synthesis of optimal plans","authors":"Anna Lukina, Lukas Esterle, Christian Hirsch, Ezio Bartocci, Junxing Yang, Ashish Tiwari, Scott A Smolka, Radu Grosu","year":"2017","venue":"Proceedings, Part II","doi":null,"url":null,"internal_url":null},{"position":8,"raw":"[Mannor et al., 2003] S. Mannor, R. Y. Rubinstein, and Y. Gat. The cross entropy method for fast policy search. In ICML, pages 512-519, 2003.","title":"The cross entropy method for fast policy search","authors":"S Mannor, R Y Rubinstein, Y Gat","year":"2003","venue":"ICML","doi":null,"url":null,"internal_url":null},{"position":9,"raw":"[Saulnier et al., 2017] Kelsey Saulnier, David Saldana, Amanda Prorok, George J. Pappas, and Vijay Kumar. Resilient Flocking for Mobile Robot Teams. IEEE Robotics and Automation Letters, 2(2):1039-1046, 2017.","title":"Resilient Flocking for Mobile Robot Teams","authors":"Kelsey Saulnier, David Saldana, Amanda Prorok, George J Pappas, Vijay Kumar","year":"2017","venue":"IEEE Robotics and Automation Letters","doi":null,"url":null,"internal_url":null},{"position":10,"raw":"[Smolka et al., 2017] Scott A Smolka, Ashish Tiwari, Lukas Esterle, Anna Lukina, Junxing Yang, and Radu Grosu. Attacking the V: On the Resiliency of Adaptive-Horizon MPC. arXiv preprint arXiv:1702.00290, 2017.","title":"Attacking the V: On the Resiliency of Adaptive-Horizon MPC","authors":"Ashish Scott A Smolka, Lukas Tiwari, Anna Esterle, Junxing Lukina, Radu Yang, Grosu","year":"2017","venue":null,"doi":null,"url":null,"internal_url":null},{"position":11,"raw":"[Yang et al., 2016] Junxing Yang, Radu Grosu, Scott A. Smolka, and Ashish Tiwari. Love Thy Neighbor: V- Formation as a Problem of Model Predictive Control. In CONCUR 2016, August 23-26, 2016, volume 59 of LIPIcs, pages 4:1-4:5. Schloss Dagstuhl -Leibniz-Zentrum fuer Informatik, 2016.","title":"Love Thy Neighbor: V-Formation as a Problem of Model Predictive Control","authors":"Yang","year":"2016","venue":"CONCUR 2016","doi":null,"url":null,"internal_url":null}],"license_note":"Copyright International Joint Conferences on Artificial Intelligence."}