Published June 5, 2024 | Accepted
Journal Article Open

Layered Control Systems Operating on Multiple Clocks

  • 1. ROR icon California Institute of Technology

Abstract

Autonomous systems typically leverage layered control architectures, created by interconnecting components that operate at multiple timescales, i.e., evolve under various clocks. To formalize this typically heuristic procedure, we introduce a new logic, Multiclock Logic (MCL), that can express the requirements of components from the point of view of their local clocks, promoting independent design and component reuse. We then use assume-guarantee contracts expressed in MCL to prove global stability properties of a system using the stability properties of its components. In particular, we consider the classic layered architecture consisting of model predictive control (MPC) layered on top of feedback linearization, and prove overall stability of the systems.

Copyright and License

© 2024 IEEE.

Acknowledgement

This work was supported by NSF and ASEE through an eFellows postdoctoral fellowship; by the Air Force Office of Scientific Research (AFOSR) under MURI grant FA9550-22-1-0316 and grant FA9550-22-1-0333; and by NSF CPS Award # 1932091.

Files

Layered_Control_Systems_Operating_on_Multiple_Clocks.pdf
Files (599.5 kB)

Additional details

Created:
June 14, 2024
Modified:
June 14, 2024