arXiv Science⌕ Search
Home/Archive/arXiv

arXiv · 2610.38108

Safety of layered control systems via control barrier morphisms

Aaron D. Ames·Joe Moeller·Massimiliano de Sa·Paulo Tabuada
View original source ↗Read source document ↗Export metadata ↓

Abstract

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 formulate control barrier morphisms (CBMs), the categorical generalization of control barrier functions. We prove that feedback controllers satisfying a CBM condition render the associated safe subobject forward invariant. It is through CBMs that we can establish the safety of layered systems: given a CBM at each layer subject to compatibility conditions, the universal property of the pullback implies the existence of a CBM for the composed system. Safety of a full-order model being safety filtered by a reduced-order model is recovered as a specialization of the categorical framework.

Explore related subjects

math.CTcs.SYeess.SYmath.OC

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Aaron D. Ames, Joe Moeller, Massimiliano de Sa, Paulo Tabuada. 2026-10-28. Safety of layered control systems via control barrier morphisms. https://arxiv.org/abs/2610.38108

Cite the original work for its findings. Save a collection to share your selection of sources.

KEEP EXPLORING

Related papers

arXiv2026

Partial Markov Categories

We introduce partial Markov categories as a synthetic framework for synthetic probabilistic inference, blending the work of Cho and Jacobs, Fritz, and Golubtsov on Markov categories with the work of Cockett and Lack on cartesian restriction categories. We describe observations, Bayes' theorem, normalisation, and both Pearl's and Jeffrey's updates in purely categorical terms.

math.CT↗
arXiv2026

Comparison categories: the normal form and the regularity of comparison data

There are many types of equivalence relations in mathematics, each one enjoying its own defnition, but many of them can also be defined by transformations of morphisms: Green's relations, orbit relations, conjugacy, equality of orbit closures, equivalence of Cauchy sequences, stable isomorphism. We unify them through the comparison category of a comparison datum, read at levels $-1,0,1,2,\dots$ (comparisons in both directions, connected components, homotopy groups). Its normal form is a full subcategory of a Grothendieck construction $\int_VH$ cut out by a map $s$; the classical relations are traced back to it by restriction along $s$, enrichment by a cost (limit relations) and filtered colimits (stabilization). If the map $σ$ transporting morphisms into a $2$-category is arbitrary, every relation occurs, so the constraint is the regularity of $σ$. We grade data along seven regularity classes. The rigid and diagonal classes are classified completely (on finite groups, by the double coset relations); completely functorial data contain conjugacy and obey a dichotomy on nil monoids. Whether every relation on a monoid is level $0$ of a completely functorial datum is open.

math.CT↗
arXiv2026

Re-framing the classification of ideals in noncommutative tensor triangular geometry

We prove that a 'pseudo-Hochster dual' of the noncommutative Balmer spectrum of a monoidal triangulated category classifies its semiprime thick tensor ideals. This extends Balmer's classification of radical thick tensor ideals to noncommutative tensor triangular geometry. To achieve this, we utilize the notion of support data for lattices and frames, under which the classification follows via Stone duality. We also give a characterization for when the noncommutative Balmer spectrum behaves as it does in tensor triangular geometry, that is, when it is a spectral space with quasi-compact opens given by complements of supports. Finally, we show that rigid centrally generated monoidal triangulated categories satisfy this property, and we answer a question posed by Negron--Pevtsova regarding classification of one-sided tensor ideals via cohomological support.

math.CT↗