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

DOI10.1109/TAC.2022.3183032arXiv2101.06916OpenAlexW3123324479MaRDI QIDQ6077133

Abolfazl Lavaei, Unnamed Author, Majid Zamani

Publication date: 24 September 2023

Published in: IEEE Transactions on Automatic Control (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/2101.06916

zbMATH Keywords

compositionalityfinite-state automatasmall-gain conditionslarge-scale stochastic systemsformal controller synthesiscontrol barrier certificates

Mathematics Subject Classification ID

Systems theory; control (93-XX)

Related Items (1)

Automated verification and synthesis of stochastic hybrid systems: a survey

This page was built for publication: From Small-Gain Theory to Compositional Construction of Barrier Certificates for Large-Scale Stochastic Systems