@inproceedings{ab401af3b91c4e7fb79b7f73e108af43,
title = "Reachability and state recovery for input/state switched asynchronous sequential machines",
abstract = "Reachability and state recovery for switched asynchronous sequential machines are investigated in this paper. The considered switched asynchronous machine is exposed to the adverse effect of adversarial inputs. The main objective is to design a state feedback controller so that the switched machine can recover the original state after going through unauthorized state transitions by faults. We propose a novel method of describing the reachability of the switched machine and the condition for the existence of a controller based on the proposed reachability matrices. An illustrative example is given to show the validity of the main results.",
author = "Lee, \{Sang Sik\} and Dongik Lee and Yang, \{Jung Min\}",
note = "Publisher Copyright: {\textcopyright} 2015 EUCA.; European Control Conference, ECC 2015 ; Conference date: 15-07-2015 Through 17-07-2015",
year = "2015",
month = nov,
day = "16",
doi = "10.1109/ECC.2015.7330814",
language = "English",
series = "2015 European Control Conference, ECC 2015",
publisher = "Institute of Electrical and Electronics Engineers Inc.",
pages = "1890--1895",
booktitle = "2015 European Control Conference, ECC 2015",
address = "United States",
}