State feedback control of asynchronous machines with nondeterministic models

Research output: Contribution to journalArticlepeer-review

5 Scopus citations

Abstract

This note is concerned with control of input/state asynchronous sequential machines with nondeterministic models. The objective is to use state feedback for controlling the machine so as to match any possible behavior of the model. When exact model matching is unsolvable, the model matching inclusion problem is considered in which we find the supremal controllable sub-model, or the largest sub-model of a given nondeterministic model that can be matched by the closed-loop system.

Original languageEnglish
Pages (from-to)1072-1076
Number of pages5
JournalIEEE Transactions on Automatic Control
Volume54
Issue number5
DOIs
StatePublished - 2009

Keywords

  • Asynchronous sequential machines
  • Corrective control
  • Nondeterminism
  • Supremal controllable sub-model

Fingerprint

Dive into the research topics of 'State feedback control of asynchronous machines with nondeterministic models'. Together they form a unique fingerprint.

Cite this