In this paper we consider a control problem where the plant is a continuous-time incrementally stable nonlinear system, the controller is modeled as a finite state machine and the specification is modeled as a regular language. In some applications of interest it can be the case that the system does not know the whole specification to be enforced, but only a first part of it; then, at some time the system will obtain a second specification for which the controller needs to reconfigure. We propose results for the efficient synthesis of controllers in this setting. An analysis of computational complexity of the proposed approach is included which is also compared to traditional ones. An illustrative example is also presented.

Symbolic control design of incrementally stable nonlinear systems with dynamic regular language specifications

Pola G.
2021

Abstract

In this paper we consider a control problem where the plant is a continuous-time incrementally stable nonlinear system, the controller is modeled as a finite state machine and the specification is modeled as a regular language. In some applications of interest it can be the case that the system does not know the whole specification to be enforced, but only a first part of it; then, at some time the system will obtain a second specification for which the controller needs to reconfigure. We propose results for the efficient synthesis of controllers in this setting. An analysis of computational complexity of the proposed approach is included which is also compared to traditional ones. An illustrative example is also presented.
File in questo prodotto:
File Dimensione Formato  
1-s2.0-S0005109821002326-main.pdf

solo utenti autorizzati

Tipologia: Documento in Versione Editoriale
Licenza: Dominio pubblico
Dimensione 562.73 kB
Formato Adobe PDF
562.73 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: http://hdl.handle.net/11697/167294
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 0
  • ???jsp.display-item.citation.isi??? 1
social impact