Visible to the public Decentralized Verification for Dissipativity of Cascade Interconnected Systems

TitleDecentralized Verification for Dissipativity of Cascade Interconnected Systems
Publication TypeConference Paper
Year of Publication2019
AuthorsKanellopoulos, Aris, Vamvoudakis, Kyriakos G., Gupta, Vijay
Conference Name2019 IEEE 58th Conference on Decision and Control (CDC)
Date PublishedDec. 2019
ISBN Number978-1-7281-1398-2
Keywordsautonomous systems, cascade interconnected systems, cascade systems, compositionality, control system synthesis, Couplings, decentralized verification rule, dissipativity, dissipativity properties, interconnected systems, large-scale cascade interconnections, largescale networks, learning (artificial intelligence), learning-enabled subsystems, linear subsystems, Mathematical model, Matrices, minimum knowledge, model-free learning structure, multivariable systems, pubcrawl, q-learning, reinforcement learning algorithm, Stability analysis, subsystem parameters, verification, verification process

In this paper, we consider the problem of decentralized verification for large-scale cascade interconnections of linear subsystems such that dissipativity properties of the overall system are guaranteed with minimum knowledge of the dynamics. In order to achieve compositionality, we distribute the verification process among the individual subsystems, which utilize limited information received locally from their immediate neighbors. Furthermore, to obviate the need for full knowledge of the subsystem parameters, each decentralized verification rule employs a model-free learning structure; a reinforcement learning algorithm that allows for online evaluation of the appropriate storage function that can be used to verify dissipativity of the system up to that point. Finally, we show how the interconnection can be extended by adding learning-enabled subsystems while ensuring dissipativity.

Citation Keykanellopoulos_decentralized_2019