IEEE - Institute of Electrical and Electronics Engineers, Inc. - Ensuring the conformance of reactive discrete-event systems using supervisory control

42nd IEEE International Conference on Decision and Control

Author(s): T. Jeron ; H. Marchand ; V. Rusu ; V. Tschaen
Sponsor(s): Honeywell Lab.
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Publication Date: 1 January 2003
Conference Location: Maui, HI, USA
Conference Date: 9 December 2003
Volume: 3
Page Count: 6
ISBN (Paper): 0-7803-7924-1
ISSN (Paper): 0191-2216
DOI: 10.1109/CDC.2003.1273030
Regular:

We study the problem of controlling an implementation of a system by means of an automatically computed supervisor, in order to ensure a conformance relation between the implementation and its... View More

Advertisement