In the last few years, there has been a growing interest in the use of symbolic models for the formal verification and control design of purely continuous or hybrid systems. Symbolic models are abstract descriptions of continuous systems where one symbol corresponds to an ‘aggregate’ of continuous states. In this article, we face. the problem of deriving symbolic models for nonlinear control systems affected by disturbances. The main. contribution of this article is in proposing symbolic models that can be effectively constructed and that approximate nonlinear control systems affected by disturbances in the sense of alternating approximate bisimulation.

Symbolic models for nonlinear control systems affected by disturbances

Borri, A.;Pola, G.;Di Benedetto, M. D.
2012-01-01

Abstract

In the last few years, there has been a growing interest in the use of symbolic models for the formal verification and control design of purely continuous or hybrid systems. Symbolic models are abstract descriptions of continuous systems where one symbol corresponds to an ‘aggregate’ of continuous states. In this article, we face. the problem of deriving symbolic models for nonlinear control systems affected by disturbances. The main. contribution of this article is in proposing symbolic models that can be effectively constructed and that approximate nonlinear control systems affected by disturbances in the sense of alternating approximate bisimulation.
File in questo prodotto:
Non ci sono file associati a questo prodotto.
Pubblicazioni consigliate

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