Loading...
Please wait, while we are loading the content...
Similar Documents
Ensuring the conformance of reactive discrete-event systems by means of supervisory control
| Content Provider | Semantic Scholar |
|---|---|
| Author | Jéron, Thierry Marchand, Hervé Rusu, Vlad Tschaen, Valéry |
| 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, which otherwise should have been discovered by testing and fixed by hand. The resulting controlled plant conforms to the specification and is maximal in terms of observable behavior. |
| File Format | PDF HTM / HTML |
| Alternate Webpage(s) | http://www.irisa.fr/vertecs/Publis/Ps/2003-CDC.pdf |
| Language | English |
| Access Restriction | Open |
| Subject Keyword | Conformance testing Formal specification Maximal set Observable Point of interest |
| Content Type | Text |
| Resource Type | Article |