Workshop on Model Predictive Control of Hybrid Dynamical Systems

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)
 
Department of Electrical and Computer Engineering, University of California, Santa Cruz
2 GIPSA Lab, Université Grenoble Alpes
Air Force Research Laboratory - Space Vehicles Directorate, Albuquerque, New Mexico
 

  

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 PDF icon34.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 topback 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 topback to navigation) 

 


Course Outline and Schedule

--- Coffee Break ---

  • 10:50-12:00 Model Predictive Control for Hybrid Dynamical Systems: Feasibility, Value Function Properties, Lyapunov Stability Analysis (Berk Altın)
    • Further Reading: [6], [7] 
    • See also: B. Altin, and R. G. Sanfelice "Model Predictive Control for Hybrid Dynamical Systems: Suffcient Conditions for Asymptotic Stability with Persistent Flows or Jumps", under review, American Control Conference, 2020. 

 

--- Lunch ---

 

--- Coffee Break ---

(Back to topback 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 topback to navigation) 

 


Registration

To register, click here. Details can be found at the following website: https://cdc2019.ieeecss.org/workshops.php

 

(Back to topback to navigation) 

 


Contact Information

For further information, contact Berk Altın (berkaltin@ucsc.edu) or Ricardo G. Sanfelice (ricardo@ucsc.edu).

 

(Back to topback to navigation) 


References

  1. [34] Hybrid dynamical systems, Goebel, R., Sanfelice R. G., and Teel A.R. , IEEE Control Systems Magazine, April, Volume 29, Issue NULL, Number 2, p.28-93, (2009)
  2. [65] Hybrid Dynamical Systems: Modeling, Stability, and Robustness, Goebel, R., Sanfelice R. G., and Teel A. R. , Issue NULL, New Jersey, (2012)
  3. [82] Hybrid Control of the Boost Converter: {R}obust Global Stabilization, Theunisse, T. A. F., Chai J., Sanfelice R. G., and Heemels W.P.M.H. , Proceedings of the IEEE Conference on Decision and Control, Issue NULL, p.3635–3640, (2013)
  4. [190] Robust Distributed Synchronization of Networked Linear Systems with Intermittent Information, Phillips, S., and Sanfelice R. G. , Automatica, 07/2019, (2019)
  5. [154] Hybrid Predictive Control, Sanfelice, R. G. , Handbook of Model Predictive Control, 09/2018, Basel, p.pp. 199-220, (2018)
  6. [179] A Model Predictive Control Framework for Hybrid Systems, Altin, B., Ojaghi P., and Sanfelice R. G. , NMPC, 08/2018, Volume 51, Issue 20, p.128-133, (2018)
  7. [193] Asymptotically Stabilizing Model Predictive Control for Hybrid Dynamical Systems, Altin, B., and Sanfelice R. G. , Proceedings of the American Control Conference, 07/2019, (2019)
  8. [75] On the existence of control {L}yapunov functions and state-feedback laws for hybrid systems, Sanfelice, R. G. , IEEE Transactions on Automatic Control, December, Volume 58, Issue NULL, Number 12, p.3242–3248, (2013)
  9. [185] Forward Invariance of Sets for Hybrid Dynamical Systems ({Part I}), Chai, J., and Sanfelice R. G. , IEEE Transactions on Automatic Control, 06/2019, (2019)
  10. [198] Characterizations of safety and conditional invariance in dynamical systems, Maghenem, M., and Sanfelice R. G. , Proceedings of the American Control Conference, 07/2019, p.5039-5044, (2019)
  11. [199] Characterizations of Safety in Hybrid Inclusions via Barrier Functions, Maghenem, M., and Sanfelice R. G. , Proceedings of the Hybrid Systems: Computation and Control, 07/2019, (2019)
  12. [181] Cost Evaluation for Hybrid Inclusions: A {L}yapunov Approach, Ferrante, F., and Sanfelice R. G. , Proceedings of the IEEE Conference on Decision and Control, 12/2018, p.855-860, (2018)
  13. [74] A Toolbox for Simulation of Hybrid Systems in {M}atlab/{S}imulink: {H}ybrid {E}quations ({HyEQ}) {T}oolbox, Sanfelice, R. G., Copp D. A., and Nanez P. , Proceedings of Hybrid Systems: Computation and Control Conference, Issue NULL, p.101–106, (2013)
  14. [205] A Model Predictive Control Framework for Asymptotic Stabilization of Discretized Hybrid Dynamical Systems, Ojaghi, P., Altin B., and Sanfelice R.G. , To appear at the IEEE Conference on Decision and Control, 12/2019, (2019)
  15. [40] Dynamical Properties of Hybrid Systems Simulators, Sanfelice, R. G., and Teel A. R. , Automatica, Volume 46, Issue NULL, Number 2, p.239–248, (2010)
  16. [162] Hybrid Attack Monitor Design to Detect Recurrent Attacks in a Class of Cyber-Physical Systems, Phillips, S., Duz A., Pasqualetti F., and Sanfelice R. G. , Proceedings of the IEEE Conference on Decision and Control, p.1368-1373, (2017)
  17. [172] A Hybrid Predictive Control Approach to Trajectory Tracking for a Fully Actuated Biped, Short, B., and Sanfelice R. G. , Proceedings of the American Control Conference, 08/2018, p.3526-3531, (2018)