Corrective Control of Composite Asynchronous Sequential Machines under Partial Observation

Research output: Contribution to journalArticlepeer-review

13 Scopus citations


In this note, we address the corrective control problem of composite asynchronous sequential machines. A number of input/state asynchronous machines subject to adversarial inputs form cascade compositions, wherein their states are unobservable except for the final state. The objective is to design a corrective controller so that the closed-loop system maintains the normal input/output behavior against unauthorized state transitions caused by adversarial inputs. The existence of a controller depends on finding an input sequence that achieves the deterministic corrective action while accommodating uncertainty under partial observation.

Original languageEnglish
Article number7117364
Pages (from-to)473-478
Number of pages6
JournalIEEE Transactions on Automatic Control
Issue number2
StatePublished - Feb 2016


  • Asynchronous sequentialmachines
  • cascade composition
  • corrective control
  • partial observation


Dive into the research topics of 'Corrective Control of Composite Asynchronous Sequential Machines under Partial Observation'. Together they form a unique fingerprint.

Cite this