This letter is concerned with a compositional data-driven approach for stability certificate of interconnected homogeneous networks with (partially) unknown dynamics while providing 100% correctness guarantees (as opposed to probabilistic confidence). The proposed framework enjoys input-to-state stability (ISS) properties of subsystems described by ISS Lyapunov functions. In our data-driven scheme, we first reformulate the corresponding conditions of ISS Lyapunov functions as a robust optimization program (ROP). Due to appearing unknown dynamics of subsystems in the constraint of ROP, we propose a scenario optimization program (SOP) by collecting data from trajectories of each unknown subsystem. We solve SOP and construct an ISS Lyapunov function for each subsystem with unknown dynamics. We accordingly leverage a compositional technique based on max -type small-gain reasoning and construct a Lyapunov function for an unknown interconnected network based on ISS Lyapunov functions of individual subsystems. We demonstrate the efficacy of our data-driven approach over a room temperature network containing 1000 rooms with unknown dynamics. Given collected data from each unknown room, we verify that the unknown interconnected network is globally asymptotically stable (GAS) with 100% correctness guarantee.

Data-Driven Stability Certificate of Interconnected Homogeneous Networks via ISS Properties / Lavaei, Abolfazl; Angeli, David. - In: IEEE CONTROL SYSTEMS LETTERS. - ISSN 2475-1456. - ELETTRONICO. - 7:(2023), pp. 2395-2400. [10.1109/lcsys.2023.3285753]

Data-Driven Stability Certificate of Interconnected Homogeneous Networks via ISS Properties

Angeli, David
2023

Abstract

This letter is concerned with a compositional data-driven approach for stability certificate of interconnected homogeneous networks with (partially) unknown dynamics while providing 100% correctness guarantees (as opposed to probabilistic confidence). The proposed framework enjoys input-to-state stability (ISS) properties of subsystems described by ISS Lyapunov functions. In our data-driven scheme, we first reformulate the corresponding conditions of ISS Lyapunov functions as a robust optimization program (ROP). Due to appearing unknown dynamics of subsystems in the constraint of ROP, we propose a scenario optimization program (SOP) by collecting data from trajectories of each unknown subsystem. We solve SOP and construct an ISS Lyapunov function for each subsystem with unknown dynamics. We accordingly leverage a compositional technique based on max -type small-gain reasoning and construct a Lyapunov function for an unknown interconnected network based on ISS Lyapunov functions of individual subsystems. We demonstrate the efficacy of our data-driven approach over a room temperature network containing 1000 rooms with unknown dynamics. Given collected data from each unknown room, we verify that the unknown interconnected network is globally asymptotically stable (GAS) with 100% correctness guarantee.
2023
7
2395
2400
Lavaei, Abolfazl; Angeli, David
File in questo prodotto:
Non ci sono file associati a questo prodotto.

I documenti in FLORE sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.

Utilizza questo identificatore per citare o creare un link a questa risorsa: https://hdl.handle.net/2158/1356705
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus ND
  • ???jsp.display-item.citation.isi??? ND
social impact