Pre-conference workshop at the 2019 IEEE Conference on Decision and Control
Nice, France
December 10, 2019
Model Predictive Control
of Hybrid Dynamical Systems
Dr. Berk Altin1 (organizer and presenter)
Prof. Ricardo G. Sanfelice1 (organizer and presenter)
Prof. Francesco Ferrante2 (presenter)
Dr. Mohamed A. Maghenem1 (presenter)
Dr. Sean Phillips3 (presenter)
Page Navigation
(Back to top, back to navigation)
Overview
Hybrid systems model the behavior of dynamical systems where the states can evolve continuously as well as instantaneously. Such systems arise when hybrid control algorithms — algorithms which involve logic, timers, clocks, and other digital devices — are applied to continuous-time systems, or due to the intrinsic dynamics (e.g., mechanical systems with impacts and switching electrical circuits). Hybrid control may be used for improved performance and robustness properties compared to conventional control, and hybrid dynamics may be unavoidable due to the interplay between digital and analog components of a system. This full day workshop is a brief but complete course on the analysis and design of model predictive control (MPC) algorithms for hybrid dynamical systems.
The workshop has two main parts. The first part presents an overview of the literature and state-of-the-art on hybrid MPC, and provides a short tutorial on a powerful hybrid modeling framework that encapsulates switched systems, hybrid automata, impulsive systems, and many other class of systems; see R. Goebel, R. G. Sanfelice, and A.R. Teel, "Hybrid dynamical systems", preprint available at 34.pdf. Key analysis tools corresponding to this framework, along with several advantages over other hybrid frameworks are demonstrated. This necessary background is then used to lay the theoretical foundations of a general MPC framework for hybrid dynamical systems, with guaranteed stability and feasibility. The ideas are illustrated in several applications, including networked systems, mechanical systems with impacts, power systems, and autonomous vehicles.
The second part presents several synthesis and analysis tools arising in the aforementioned hybrid systems framework, as they pertain to the MPC problem. It also presents a computationally tractable counterpart of the MPC framework in the first part. This particular MPC scheme relies on the time-discretization of the underlying continuous-time dynamics. Feasibility and stability properties of the nondiscretized hybrid MPC algorithm presented in the first part are extended to the discretized case. Computational methods to solve the optimal control problem, such as mixed integer nonlinear programming, are presented. As the discretization of hybrid dynamical systems is a nontrivial problem, appropriate discretization techniques are demonstrated. Applications are revisited. The workshop concludes with an in-depth discussion on open problems.
A particular goal of the workshop is to reveal the key steps in carrying over MPC methodologies to the hybrid dynamics setting. Each proposed module/lecture is designed to present key theoretical concepts as well as applications of current relevance.
The workshop is based in part on the recent articles by the organizers. Preprints of these articles are available at https://hybrid.soe.ucsc.edu/biblio.
(Back to top, back to navigation)
Intended Audience
The workshop targets a broad audience in academia and industry, including graduate students, looking for an introduction to a new and active area of research and to some modern mathematical analysis tools; control practitioners interested in novel design techniques; researchers in dynamical systems in pursuit of relevant applications; and researchers in industry and labs applying hybrid predictive control methods to engineering systems. The required background is basic familiarity with continuous-time and discrete-time linear and nonlinear systems. The lectures are closely related to each other and not meant to be independent research presentations.
(Back to top, back to navigation)
Course Outline and Schedule
- 8:30-8:40 Welcome Remarks (Berk Altın, Ricardo G. Sanfelice)
- 8:40-9:40 Introduction to Hybrid Dynamical Systems: Modeling, Examples, Asymptotic Stability (Francesco Ferrante, Sean Phillips)
- 9:40-10:00 Background on Hybrid Model Predictive Control: Models, Methods, and Open Questions (Ricardo G. Sanfelice)
- Further Reading: [5], [6], [7]
- See Also: D. Q. Mayne, "Model predictive control: Recent developments and future promise", Automatica, 12/2014.
- 10:00-10:30 Overview of Model Predictive Control for Hybrid Dynamical Systems (Berk Altın)
--- Coffee Break ---
- 10:50-12:00 Model Predictive Control for Hybrid Dynamical Systems: Feasibility, Value Function Properties, Lyapunov Stability Analysis (Berk Altın)
--- Lunch ---
- 1:00-1:30 Control Lyapunov Functions for Hybrid MPC (Ricardo G. Sanfelice)
- Further Reading: [8]
- 1:30-2:15 Forward Invariance Tools for Hybrid MPC (Mohamed Maghenem)
- 2:15-3:00 Evaluating the Cost of Hybrid MPC without Computing (Francesco Ferrante)
--- Coffee Break ---
- 3:20-4:20 Discretizing Hybrid Dynamical Systems to Solve the Hybrid MPC Problem (Berk Altın)
- Further Reading: [13], [14], [15]
- See Also: R. Goebel, "Existence of optimal controls on hybrid time domains", Nonlinear Analysis: Hybrid Systems, 2019.
- 4:20-5:00 Hybrid MPC Applications (Ricardo G. Sanfelice, Mohamed Maghenem, Francesco Ferrante)
- 5:00-5:30 Open Problems and Concluding Remarks (Ricardo G. Sanfelice, Berk Altın)
(Back to top, back to navigation)
Instructors
Berk Altın received his B.S. in Mechatronics from Sabancı University in 2011, Istanbul, Turkey in 2011. From 2011 to 2016, he attended the University of Michigan, Ann Arbor, as a Fulbright fellow, where he received the M.S. and Ph.D. degrees in Electrical Engineering: Systems, and the M.S. degree in Mathematics, in 2013, 2016 and 2016, respectively. He is currently employed as a postdoctoral researcher at the University of California, Santa Cruz, with the Hybrid Systems Laboratory. His primary research interests include hybrid systems, model predictive control, iterative learning control, repetitive processes, and multidimensional systems, with applications in cyber-physical systems, power systems, robotics, and additive manufacturing.
Ricardo G. Sanfelice received the B.S. degree in Electronics Engineering from the Universidad de Mar del Plata, Buenos Aires, Argentina, in 2001, and the M.S. and Ph.D. degrees in Electrical and Computer Engineering from the University of California, Santa Barbara, CA, USA, in 2004 and 2007, respectively. In 2007 and 2008, he held postdoctoral positions at the Laboratory for Information and Decision Systems at the Massachusetts Institute of Technology and at the Centre Automatique et Systemes at the Ecole de Mines de Paris. In 2009, he joined the faculty of the Department of Aerospace and Mechanical Engineering at the University of Arizona, Tucson, AZ, USA, where he was an Assistant Professor. In 2014, he joined the faculty of the Computer Engineering Department, University of California, Santa Cruz, CA, USA, where he is currently an Associate Professor. Prof. Sanfelice is the recipient of the 2013 SIAM Control and Systems Theory Prize, the National Science Foundation CAREER award, the Air Force Young Investigator Research Award, and the 2010 IEEE Control Systems Magazine Outstanding Paper Award. He is Associate Editor for Automatica and serves as Chair of the Hybrid Systems Technical Committee from the IEEE Control Systems Society. His research interests are in modeling, stability, robust control, observer design, and simulation of nonlinear and hybrid systems with applications to power systems, aerospace, and biology.
Francesco Ferrante is an assistant professor of Control Systems (maître de conférences) at the University of Grenoble Alpes and a member of the Grenoble Images Speech Signal and Control Laboratory. He received in 2010 a ''Laurea degree'' (BSc) in Control Engineering from University ''Sapienza'' in Rome, Italy and in 2012 a ''Laurea Magistrale'' degree (MSc) cum laude in Control Engineering from University ''Tor Vergata'' in Rome, Italy. During 2014, he held a visiting scholar position at the Department of Computer Engineering, University of California Santa Cruz. In 2015, he received a PhD degree in control theory from ''Institut supérieur de l'aéronautique et de l'espace'' (SUPAERO) Toulouse, France. From November 2015 to August 2016, he was a postdoctoral fellow at the Department of Electrical and Computer Engineering, Clemson University. From August 2015 to September 2016, he held a position as postdoctoral scientist at the Hybrid Systems Laboratory (HSL) at the University of California at Santa Cruz.
Mohamed Adlene Maghenem received his Control-Engineering Degree from the Polytechnical School of Algiers, Algeria, in 2013. He received his M.S. and Ph.D. degrees in Control from the University of Paris-Saclay, France, in 2014 and 2017, respectively. He is currently a Postdoctoral Fellow at the Electrical and Computer Engineering Department at the University of California, Santa Cruz. His research interests include: distributed coordination of multiagent systems with application to synchronization of oscillators and formation control of mechanical systems, control of nonholonomic and underactuated systems, singular perturbations, and safety verification in hybrid dynamical systems.
Sean Phillips is a Research Mechanical Engineer at the Air Force Research Laboratory (AFRL) in the Space Vehicles Directorate, Kirtland Air Force Base, New Mexico. He received his Ph.D in the Department of Computer Engineering at the University of California, Santa Cruz, in 2018. He received his B.S. and M.S. in Mechanical Engineering from the University of Arizona in 2011 and 2013, respectively. In 2009, he joined the Hybrid Dynamics and Controls Lab where he received a NASA Space Grant in 2010. In 2010, he received an Undergraduate Research Grant from the University of Arizona Honors College. He first joined AFRL through the Space Scholars Internship Program in Albuquerque, New Mexico, for the summers of 2011, 2012 and 2017. In 2014, he joined the Hybrid Systems Laboratory at the University of California, Santa Cruz. In 2017, he received the Jack Baskin and Peggy Downes-Baskin Fellowship for his research on coordination of autonomous networked systems from the Baskin School of Engineering at the University of California, Santa Cruz.
(Back to top, back to navigation)
Registration
To register, click here. Details can be found at the following website: https://cdc2019.ieeecss.org/workshops.php
(Back to top, back to navigation)
Contact Information
For further information, contact Berk Altın (berkaltin@ucsc.edu) or Ricardo G. Sanfelice (ricardo@ucsc.edu).
References
- [34] Hybrid dynamical systems, , IEEE Control Systems Magazine, April, Volume 29, Issue NULL, Number 2, p.28-93, (2009)
- [65] Hybrid Dynamical Systems: Modeling, Stability, and Robustness, , New Jersey, (2012)
- [82] Hybrid Control of the Boost Converter: {R}obust Global Stabilization, , Proceedings of the IEEE Conference on Decision and Control, Issue NULL, p.3635–3640, (2013)
- [190] Robust Distributed Synchronization of Networked Linear Systems with Intermittent Information, , Automatica, 07/2019, Volume 105, p.323-333, (2019)
- [154] Hybrid Model Predictive Control, , Handbook of Model Predictive Control, 09/2018, Basel, p.199-220, (2018)
- [179] A Model Predictive Control Framework for Hybrid Systems, , NMPC, August, Volume 51, Issue 20, p.128-133, (2018)
- [193] Asymptotically Stabilizing Model Predictive Control for Hybrid Dynamical Systems, , Proceedings of the American Control Conference, July, (2019)
- [75] On the existence of control {L}yapunov functions and state-feedback laws for hybrid systems, , IEEE Transactions on Automatic Control, December, Volume 58, Issue NULL, Number 12, p.3242–3248, (2013)
- [185] Forward Invariance of Sets for Hybrid Dynamical Systems ({Part I}), , IEEE Transactions on Automatic Control, 06/2019, Volume 64, Issue 6, p.2426-2441, (2019)
- [198] Characterizations of safety and conditional invariance in dynamical systems, , Proceedings of the American Control Conference, July, p.5039-5044, (2019)
- [199] Characterizations of Safety in Hybrid Inclusions via Barrier Functions, , Proceedings of the Conference on Hybrid Systems: Computation and Control, July, p.109–118, (2019)
- [181] Cost Evaluation for Hybrid Inclusions: A {L}yapunov Approach, , Proceedings of the 2018 IEEE Conference on Decision and Control, December, p.855-860, (2018)
- [74] A Toolbox for Simulation of Hybrid Systems in {M}atlab/{S}imulink: {H}ybrid {E}quations ({HyEQ}) {T}oolbox, , Proceedings of Hybrid Systems: Computation and Control Conference, Issue NULL, p.101–106, (2013)
- [205] A Model Predictive Control Framework for Asymptotic Stabilization of Discretized Hybrid Dynamical Systems, , Proceedings of the 2019 IEEE Conference on Decision and Control, December, p.2356 - 2361, (2019)
- [40] Dynamical Properties of Hybrid Systems Simulators, , Automatica, Volume 46, Issue NULL, Number 2, p.239–248, (2010)
- [162] Hybrid Attack Monitor Design to Detect Recurrent Attacks in a Class of Cyber-Physical Systems, , Proceedings of the 2017 IEEE Conference on Decision and Control, p.1368-1373, (2017)
- [172] A Hybrid Predictive Control Approach to Trajectory Tracking for a Fully Actuated Biped, , Proceedings of the American Control Conference, 08/2018, p.3526-3531, (2018)