Compositional small-gain framework constructs augmented control barrier certificates from subsystem certificates to synthesize safety controllers and bound safety probability for networks of up to 1000 stochastic hybrid subsystems, reducing complexity to subsystem scale.
Title resolution pending
1 Pith paper cite this work. Polarity classification is still indexing.
1
Pith paper citing it
fields
eess.SY 1years
2024 1verdicts
UNVERDICTED 1representative citing papers
citing papers explorer
-
Compositional Design of Safety Controllers for Large-Scale Stochastic Hybrid Systems
Compositional small-gain framework constructs augmented control barrier certificates from subsystem certificates to synthesize safety controllers and bound safety probability for networks of up to 1000 stochastic hybrid subsystems, reducing complexity to subsystem scale.