In this letter control design of nondeterministic finite state systems with reachability specifications is addressed. The class of controllers we use is rather general and combines feedforward and output feedback schemes. The proposed controller allows not only the state of the system to reach the desired target set but also the identification of which state of the target set has been reached. Necessary and sufficient conditions are derived for the control problem to admit a solution and a controller is designed. The solution to the investigated problem has important implications in the context of recovery control and symbolic control design of nonlinear and hybrid systems, as discussed also through some examples.

Output Feedback Reachability of Controlled–Observable States for Nondeterministic Finite–State Systems

Pola G.;De Santis E.;Di Benedetto M. D.
2021

Abstract

In this letter control design of nondeterministic finite state systems with reachability specifications is addressed. The class of controllers we use is rather general and combines feedforward and output feedback schemes. The proposed controller allows not only the state of the system to reach the desired target set but also the identification of which state of the target set has been reached. Necessary and sufficient conditions are derived for the control problem to admit a solution and a controller is designed. The solution to the investigated problem has important implications in the context of recovery control and symbolic control design of nonlinear and hybrid systems, as discussed also through some examples.
File in questo prodotto:
File Dimensione Formato  
31_IEEE-CSL-2021a.pdf

solo utenti autorizzati

Tipologia: Documento in Versione Editoriale
Licenza: Dominio pubblico
Dimensione 1.01 MB
Formato Adobe PDF
1.01 MB 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/168301
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 2
  • ???jsp.display-item.citation.isi??? 1
social impact