Most of the existing results available in the literature concerning symbolic control design of purely continuous or hybrid systems assume full information of the state which in concrete applications may be not available. This partial information to the controller translates into the necessity to revisit existing methods on symbolic control design. This paper aims at addressing this issue and deals with symbolic control design of discrete-time nonlinear control systems affected by disturbances with specifications expressed as regular languages and where controllers can access state information only through quantized measurements.

A study on Symbolic Control Design with Quantized State Measurements

A Borri;
2016

Abstract

Most of the existing results available in the literature concerning symbolic control design of purely continuous or hybrid systems assume full information of the state which in concrete applications may be not available. This partial information to the controller translates into the necessity to revisit existing methods on symbolic control design. This paper aims at addressing this issue and deals with symbolic control design of discrete-time nonlinear control systems affected by disturbances with specifications expressed as regular languages and where controllers can access state information only through quantized measurements.
2016
Istituto di Analisi dei Sistemi ed Informatica ''Antonio Ruberti'' - IASI
Formal methods
Symbolic Control
Quantized feedback
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: https://hdl.handle.net/20.500.14243/316767
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus ND
  • ???jsp.display-item.citation.isi??? ND
social impact