@inproceedings{0e391c62b57a4150897d578c06588fc2,
title = "Input/Output Switched Asynchronous Sequential Machines with Transient Faults",
abstract = "Robust model matching control of input/output switched asynchronous sequential machines is addressed in this paper. The control objective is to determine the existence condition and design algorithm for a corrective controller that can match the stable-state behavior of the closed-loop system to that of a reference model, while invalidating any transient faults that cause unauthorized state transitions. Switching operations and correction procedures are incorporated using output feedback so that the controlled switched machine can show the desired input/output behavior and fault tolerance. A matrix expression is presented to address reachability of switched asynchronous sequential machines with output equivalence with respect to a model. The proposed reachability condition for the existence of a controller and its design procedure are outlined in a simple example.",
keywords = "Asynchronous sequential machines, Corrective control, Fault tolerance, Switched systems",
author = "Yang, {Jung Min} and Kwak, {Seong Woo}",
year = "2017",
language = "English",
series = "Lecture Notes in Engineering and Computer Science",
publisher = "Newswood Limited",
pages = "202--207",
editor = "Oscar Castillo and Craig Douglas and Ao, {S. I.} and Feng, {David Dagan} and Korsunsky, {A. M.}",
booktitle = "Proceedings of the International MultiConference of Engineers and Computer Scientists 2017, IMECS 2017",
note = "2017 International MultiConference of Engineers and Computer Scientists, IMECS 2017 ; Conference date: 15-03-2017 Through 17-03-2017",
}