DocumentCode
404674
Title
Ensuring the conformance of reactive discrete-event systems using supervisory control
Author
Jéron, Thieny ; Marchand, Hervé ; Rusu, Vlad ; Tschaen, Valéry
Author_Institution
VERTECS Team, IRISA/INRIA Rennes, France
Volume
3
fYear
2003
fDate
9-12 Dec. 2003
Firstpage
2692
Abstract
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 formal specification. The supervisor can be seen as a "patch" that automatically fixes errors, which otherwise should have been discovered by testing and fixed by hand.
Keywords
control system analysis computing; discrete event systems; formal specification; formal specification; reactive discrete-event systems; supervisory control; Automata; Automatic control; Automatic testing; Computer errors; Control system synthesis; Control systems; Discrete event systems; Formal specifications; Supervisory control; System testing;
fLanguage
English
Publisher
ieee
Conference_Titel
Decision and Control, 2003. Proceedings. 42nd IEEE Conference on
ISSN
0191-2216
Print_ISBN
0-7803-7924-1
Type
conf
DOI
10.1109/CDC.2003.1273030
Filename
1273030
Link To Document