Published June 5, 2024
| Accepted
Journal Article
Open
Layered Control Systems Operating on Multiple Clocks
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)
Name | Size | Download all |
---|---|---|
md5:7a89068aebc64d8895324b9e4909d4cc
|
599.5 kB | Preview Download |
Additional details
- American Society For Engineering Education
- National Science Foundation
- CNS-1932091
- United States Air Force Office of Scientific Research
- FA9550-22-1-0316
- United States Air Force Office of Scientific Research
- FA9550-22-1-0333