Browse by author
Lookup NU author(s): Dr Abolfazl Lavaei
Full text for this publication is not currently held within this repository. Alternative links are provided below where available.
In this article, we propose a compositional scheme for the safety controller synthesis of stochastic switched networks with dwell-time conditions. The proposed framework is based on a notion of so-called transition subbarrier certificates constructed for each switched subsystem, by employing which one can compositionally synthesize safety controllers for interconnected networks over (in)finite time horizons. In our proposed scheme, we leverage dissipativity-type compositional conditions to compositionally construct transition barrier certificates for interconnected networks based on their corresponding subbarrier certificates of individual subsystems. We show that the provided compositionality conditions can utilize the structure of the interconnection topology and be potentially satisfied independently of the number or gains of subsystems. We then utilize the constructed transition barrier certificates and quantify upper bounds on the probability that the interconnected network reaches certain unsafe regions in (in)finite time horizons. For nonlinear stochastic systems with polynomial dynamics, we employ sum-of-squares (SOS) optimization programs to search for stochastic storage certificates of each switching mode with its independent supply rate. We then focus on a particular class of nonlinear stochastic switched systems whose nonlinearities satisfy some linear-growth restriction and propose a constructive approach to search for storage certificates of each mode via satisfying some matrix inequalities. We demonstrate our proposed results by applying them to a fully interconnected network of 400 nonlinear switched subsystems (totally 800 dimensions) accepting multiple supply rates and multiple storage certificates with dwell-time conditions.
Author(s): Lavaei A, Frazzoli E
Publication type: Article
Publication status: Published
Journal: IEEE Transactions on Automatic Control
Year: 2024
Volume: 69
Issue: 11
Pages: 7294-7309
Print publication date: 01/11/2024
Online publication date: 09/04/2024
Acceptance date: 09/04/2024
ISSN (print): 0018-9286
ISSN (electronic): 1558-2523
Publisher: Institute of Electrical and Electronics Engineers
URL: https://doi.org/10.1109/TAC.2024.3386633
DOI: 10.1109/TAC.2024.3386633
