@inproceedings{699f1b2e85d9489fb4e08a513fcc6d6e,
title = "Counteracting the effects of adversarial inputs on asynchronous sequential machines",
abstract = "The problem of counteracting the effects of adversarial inputs on the operation of an asynchronous sequential machine is considered. The objective is to build an automatic state-feedback controller that returns an asynchronous sequential machine to its original state, after the machine has undergone a state transition caused by an adversarial input. It is shown that the existence of such a controller depends on certain reachability and detectability properties of the affected machine.",
keywords = "Automata, Petri Nets and other tools, Discrete event systems modeling and control, Nonlinear systems",
author = "Yang, {Jung Min} and Jacob Hammer",
year = "2008",
doi = "10.3182/20080706-5-KR-1001.1960",
language = "English",
isbn = "9783902661005",
series = "IFAC Proceedings Volumes (IFAC-PapersOnline)",
number = "1 PART 1",
booktitle = "Proceedings of the 17th World Congress, International Federation of Automatic Control, IFAC",
edition = "1 PART 1",
note = "17th World Congress, International Federation of Automatic Control, IFAC ; Conference date: 06-07-2008 Through 11-07-2008",
}