Skip to main content
SpringerLink
Log in

Safety stabilization of switched systems with unstable subsystems

  • Research Article
  • Published:
Control Theory and Technology Aims and scope Submit manuscript

Abstract

This paper is concerned with the problem of safety stabilization for switched systems where the solvability of the problem under study for individual subsystems is not assumed. A new state-dependent switching strategy with guaranteed dwell-time for switched systems is constructed, and a sufficient condition for absence of Zeno behavior is derived. Also, a novel switched control design method is proposed to simultaneously guarantee the safety of the switched closed-loop system and stabilize the system based on the union of a common barrier function and a single Lyapunov function, which effectively handles the conflict between safety and stability objectives. Finally, two examples are presented to demonstrate the effectiveness of the proposed design approach.

This is a preview of subscription content, log in via an institution to check access.

Access this article

Log in via an institution

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Institutional subscriptions

Fig. 1
Fig. 2
Fig. 3

Similar content being viewed by others

References

  1. Ames, A.D., Coogan, S., Egerstedt, M., Notomista, G., Sreenath, K., & Tabuada, P. (2019). Control barrier functions: Theory and applications. In 2019 18th European control conference (ECC), pp. 3420–3431. Naples, Italy.

  2. Wang, L., Ames, A.D., & Egerstedt, M. (2017). Safe certificate-based maneuvers for teams of quadrotors using differential flatness. In 2017 IEEE international conference on robotics and automation (ICRA), pp. 3293–3298. Singapore.

  3. Wang, L., Han, D., & Egerstedt, M. (2018). Permissive barrier certificates for safe stabilization using sum-of-squares. In 2018 annual American control conference (ACC), pp. 585–590. Milwaukee, WI, USA.

  4. Abdelwahed, S., Karsai, G., Biswas, G. (2002). Online safety control of a class of hybrid systems. In Proceedings of the 41st IEEE conference on decision and control, vol. 2, pp. 1988–1990. Las Vegas, NV, USA.

  5. Wieland, P., & Allgoer, F. (2007). Constructive safety using control barrier functions. IFAC Proceedings, 40(12), 462–467.

    Google Scholar 

  6. Ames, A. D., Xu, X., Grizzle, J. W., & Tabuada, P. (2017). Control barrier function based quadratic programs for safety critical systems. IEEE Transactions on Automatic Control, 62(8), 3861–3876.

    Article  MathSciNet  Google Scholar 

  7. Prajna, S., Jadbabaie, A., & Pappas, G. J. (2007). A framework for worst-case and stochastic safety verification using barrier certificates. IEEE Transactions on Automatic Control, 52(8), 1415–1428.

    Article  MathSciNet  Google Scholar 

  8. Xu, X. (2018). Constrained control of input-output linearizable systems using control sharing barrier functions. Automatica, 87, 195–201.

    Article  MathSciNet  Google Scholar 

  9. Blanchini, F. (1999). Set invariance in control. Automatica, 35(11), 1747–1767.

    Article  MathSciNet  Google Scholar 

  10. Coogan, S., & Arcak, M. (2015). A dissipativity approach to safety verification for interconnected systems. IEEE Transactions on Automatic Control, 60(6), 1722–1727.

    Article  MathSciNet  Google Scholar 

  11. Xu, X., Tabuada, P., Grizzle, J. W., & Ames, A. D. (2015). Robustness of control barrier functions for safety critical control. IFAC Conference on Analysis and Design of Hybrid Systems, 48(27), 54–61.

    Google Scholar 

  12. Xu, X., Grizzle, J. W., Tabuada, P., & Ames, A. D. (2018). Correctness guarantees for the composition of lane keeping and adaptive cruise control. IEEE Transactions on Automation Science and Engineering, 15(3), 1216–1229.

    Article  Google Scholar 

  13. Kolathaya, S., & Ames, A. D. (2019). Input-to-state safety with control barrier functions. IEEE Control Systems Letters, 3(1), 108–113.

    Article  MathSciNet  Google Scholar 

  14. Romdlony, M. Z., & Jayawardhana, B. (2016). Stabilization with guaranteed safety using control lyapunov-barrier function. Automatica, 66, 39–47.

    Article  MathSciNet  Google Scholar 

  15. Zheng, L., Yang, R., Pan, J., Cheng, H., & Hu, H. (2020). Learning-based safety-stability-driven control for safety-critical systems under model uncertainties. In 2020 international conference on wireless communications and signal processing (WCSP), pp. 1112–1118. Nanjing, China.

  16. Nguyen, Q., & Sreenath, K. (2016). Exponential control barrier functions for enforcing high relative-degree safety-critical constraints. In 2016 American control conference (ACC), pp. 322–328. Boston, MA, USA.

  17. Ong, P., Corts, J. (2019). Universal formula for smooth safe stabilization. In 2019 IEEE 58th conference on decision and control (CDC), pp. 2373–2378. Nice, France.

  18. Romdlony, M.Z., Jayawardhana, B. (2016). On the new notion of input-to-state safety. In 2016 IEEE 55th conference on decision and control (CDC), pp. 6403–6409. Las Vegas, NV, USA.

  19. Romdlony, M. Z., & Jayawardhana, B. (2019). Robustness analysis of systems’ safety through a new notion of input-to-state safety. International Journal of Robust and Nonlinear Control, 29, 2125–2136.

    Article  MathSciNet  Google Scholar 

  20. Branicky, M. S. (1998). Multiple lyapunov functions and other analysis tools for switched and hybrid systems. IEEE Transactions on Automatic Control, 43(4), 475–482.

    Article  MathSciNet  Google Scholar 

  21. Liberzon, D. (2003). Switching in Systems and Control. Boston: Birkhauser.

    Book  Google Scholar 

  22. Ravanbakhsh, H., & Sankaranarayanan, S. (2015). Counter-example guided synthesis of control lyapunov functions for switched systems. In 2015 54th IEEE conference on decision and control (CDC), pp. 4232–4239. Osaka, Japan.

  23. Long, L. (2017). Multiple lyapunov functions-based small-gain theorems for switched interconnected nonlinear systems. IEEE Transactions on Automatic Control, 62(8), 3943–3958.

    Article  MathSciNet  Google Scholar 

  24. Sun, Z., & Ge, S. S. (2011). Stability Theory of Switched Dynamical Systems. Berlin: Springer.

    Book  Google Scholar 

  25. Zhao, J., & Hill, D. J. (2008). On stability, \({L}_2\)-gain and \({H}_{\infty }\) control for switched systems. Automatica, 44(5), 1220–1232.

    Article  MathSciNet  Google Scholar 

  26. Ding, J., Tomlin, C.J. (2010). Robust reach-avoid controller synthesis for switched nonlinear systems. In 49th IEEE conference on decision and control (CDC), pp. 6481–6486. Atlanta, GA.

  27. Athanasopoulos, N., Smpoukis, K., Jungers, R.M. (2016). Safety and invariance for constrained switching systems. In 2016 IEEE 55th conference on decision and control (CDC), pp. 6362–6367. Las Vegas, NV, USA.

  28. Athanasopoulos, N., Smpoukis, K., & Jungers, R. M. (2017). Invariant sets analysis for constrained switching systems. IEEE Control Systems Letters, 1(2), 256–261.

    Article  MathSciNet  Google Scholar 

  29. Kivilcin, A., Karabacak, O., & Wisniewski, R. (2019). Safety verification of nonlinear switched systems via barrier functions and barrier densities. In 2019 18th European Control Conference (ECC), pp. 776–780. Naples, Italy.

  30. Allerhand, L. I., & Shaked, U. (2013). Robust state-dependent switching of linear systems with dwell time. IEEE Transactions on Automatic Control, 58(4), 994–1001.

    Article  MathSciNet  Google Scholar 

  31. Souza, M., Fioravanti, A. R., Corless, M., & Shorten, R. N. (2017). Switching controller design with dwell-times and sampling. IEEE Transactions on Automatic Control, 62(11), 5837–5843.

    Article  MathSciNet  Google Scholar 

  32. Khalil, H. K. (2002). Nonlinear Systems (3rd ed.). Hoboken: Prentice Hall.

    MATH  Google Scholar 

  33. Long, L., & Zhao, J. (2016). An integral-type multiple lyapunov functions approach for switched nonlinear systems. IEEE Transactions on Automatic Control, 61(7), 1979–1986.

    Article  MathSciNet  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. State Key Laboratory of Synthetical Automation for Process Industries, Northeastern University, Shenyang, 110819, Liaoning, China

    Lijun Long

  2. College of Information Science and Engineering, Northeastern University, Shenyang, 110819, Liaoning, China

    Lijun Long

  3. Department of Control Science and Engineering, Tongji University, Shanghai, 201804, China

    Yiguang Hong

Authors
  1. Lijun Long
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Yiguang Hong
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Lijun Long.

Additional information

This work was supported by the National Natural Science Foundation of China (Nos. 62173075, 61773100, 61733018), the 111 Project (No. B16009), the Liaoning Revitalization Talents Program (No. XLYC1907043) and the Fundamental Research Funds for the Central Universities (No. N2004015).

Rights and permissions

Reprints and permissions

About this article

Check for updates. Verify currency and authenticity via CrossMark

Cite this article

Long, L., Hong, Y. Safety stabilization of switched systems with unstable subsystems. Control Theory Technol. 20, 95–102 (2022). https://doi.org/10.1007/s11768-022-00080-4

Download citation

  • Received:

  • Revised:

  • Accepted:

  • Published:

  • Issue Date:

  • DOI: https://doi.org/10.1007/s11768-022-00080-4

Keywords

Search

Navigation