{"id":"arxiv/2610.38108","url":"https://arxiv.org/abs/2610.38108","tags":["math.CT","eess.SY","math.OC"],"score":0,"title":"Safety of layered control systems via control barrier morphisms","domain":"math.CT","source":"arxiv","authors":["Aaron D. Ames","Joe Moeller","Massimiliano de Sa","Paulo Tabuada"],"reviews":0,"subject":"math.CT","summary":"Layered control architectures provide a powerful paradigm for synthesizing controllers for complex systems. Yet, translating guarantees at each layer to system-level guarantees is challenging due to the interactions between layers. To address this problem, this paper presents a categorical perspective on layered control architectures. Individual systems are represented as control coalgebras, their interactions are specified as morphisms to mediators, and system-level behaviors are obtained via composition defined categorically as a pullback. To analyze the safety of these systems, we…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-10-28","reactions":{}}