Sign in

From Small-Gain Theory to Compositional Construction of Barrier Certificates for Large-Scale Stochastic Systems

By Mahathi Anand and others
This paper is concerned with a compositional approach for the construction of control barrier certificates for large-scale interconnected stochastic systems while synthesizing hybrid controllers against high-level logic properties. Our proposed methodology involves decomposition of interconnected systems into smaller subsystems and leverages the notion of control sub-barrier certificates of subsystems, enabling... Show more
June 22, 2022
=
0
Loading PDF…
Loading full text...
Similar articles
Loading recommendations...
=
0
x1
From Small-Gain Theory to Compositional Construction of Barrier Certificates for Large-Scale Stochastic Systems
Click on play to start listening