In this note, we propose symbolic models for networks of discrete-time nonlinear control systems. If each subsystem composing the network admits an incremental input-to-state stable Lyapunov function and if some small gain theorem-type conditions are satisfied, a network of symbolic models, each one associated with each subsystem composing the network, is proposed and shown to be approximately bisimilar to the original network with any desired accuracy.

Symbolic Models for Networks of Control Systems

POLA, GIORDANO;PEPE, PIERDOMENICO;DI BENEDETTO, MARIA DOMENICA
2016-01-01

Abstract

In this note, we propose symbolic models for networks of discrete-time nonlinear control systems. If each subsystem composing the network admits an incremental input-to-state stable Lyapunov function and if some small gain theorem-type conditions are satisfied, a network of symbolic models, each one associated with each subsystem composing the network, is proposed and shown to be approximately bisimilar to the original network with any desired accuracy.
File in questo prodotto:
File Dimensione Formato  
16_TAC-TN-2016.pdf

solo utenti autorizzati

Tipologia: Documento in Versione Editoriale
Licenza: Dominio pubblico
Dimensione 361.44 kB
Formato Adobe PDF
361.44 kB Adobe PDF   Visualizza/Apri   Richiedi una copia

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

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/11697/106068
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 63
  • ???jsp.display-item.citation.isi??? 60
social impact