Symbolic models of continuous and hybrid systems provide a formal approach to solve control problems where software and hardware interact with the physical world. Symbolic models are abstract descriptions of continuous systems in which one symbol corresponds to an “aggregate” of continuous states. In this paper, we address the construction of symbolic models for nonlinear control systems affected by disturbances. The main contribution of this paper is in proposing symbolic models that can be effectively constructed and that are alternating approximately bisimilar to incrementally stable nonlinear control systems, with arbitrarily good accuracy.

Alternating Approximately Bisimilar Symbolic Models for Nonlinear Control Systems affected by Disturbances

A. Borri;G. Pola;M. D. Di Benedetto
2011

Abstract

Symbolic models of continuous and hybrid systems provide a formal approach to solve control problems where software and hardware interact with the physical world. Symbolic models are abstract descriptions of continuous systems in which one symbol corresponds to an “aggregate” of continuous states. In this paper, we address the construction of symbolic models for nonlinear control systems affected by disturbances. The main contribution of this paper is in proposing symbolic models that can be effectively constructed and that are alternating approximately bisimilar to incrementally stable nonlinear control systems, with arbitrarily good accuracy.
978-1-61284-800-6
File in questo prodotto:
Non ci sono file associati a questo prodotto.

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/88541
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 1
  • ???jsp.display-item.citation.isi??? 1
social impact