Ensuring the conformance of reactive discrete-event systems by means of supervisory control.
Saved in:
| Title: | Ensuring the conformance of reactive discrete-event systems by means of supervisory control. |
|---|---|
| Authors: | Jéron *, Thierry (AUTHOR), Marchand, Hervé (AUTHOR), Rusu, Vlad (AUTHOR), Tschaen, Valéry (AUTHOR) |
| Source: | International Journal of Production Research. 7/15/2004, Vol. 42 Issue 14, p2809-2826. 18p. |
| Subjects: | Automatic control systems, Automation, Industrial engineering, Production engineering |
| Abstract: | We study the problem of controlling a plant of a system by means of an automatically computed supervisor, in order to ensure a certain conformance relation between the plant and its formal specification. The supervisor can be seen as a device that automatically fixes errors that otherwise would have been discovered by testing and fixed by hand. The resulting controlled plant conforms to the specification and is maximal in terms of observable behaviour. [ABSTRACT FROM AUTHOR] |
| Copyright of International Journal of Production Research is the property of Taylor & Francis Ltd and its content may not be copied or emailed to multiple sites without the copyright holder's express written permission. Additionally, content may not be used with any artificial intelligence tools or machine learning technologies. However, users may print, download, or email articles for individual use. This abstract may be abridged. No warranty is given about the accuracy of the copy. Users should refer to the original published version of the material for the full abstract. (Copyright applies to all Abstracts.) | |
| Database: | Engineering Source |
|
Full text is not displayed to guests.
Login for full access.
|
|
| Abstract: | We study the problem of controlling a plant of a system by means of an automatically computed supervisor, in order to ensure a certain conformance relation between the plant and its formal specification. The supervisor can be seen as a device that automatically fixes errors that otherwise would have been discovered by testing and fixed by hand. The resulting controlled plant conforms to the specification and is maximal in terms of observable behaviour. [ABSTRACT FROM AUTHOR] |
|---|---|
| ISSN: | 00207543 |
| DOI: | 10.1080/00207540410001705202 |
