Sökning: onr:"swepub:oai:research.chalmers.se:790c3777-7cb9-4264-8d42-caa0b51fb057" >
On the Equivalence ...
On the Equivalence of Controllability and the Input Output Conformance Testing Relation
-
- Khan, Adnan, 1984 (författare)
- Chalmers tekniska högskola,Chalmers University of Technology
-
- Falkman, Petter, 1972 (författare)
- Chalmers tekniska högskola,Chalmers University of Technology
-
- Fabian, Martin, 1960 (författare)
- Chalmers tekniska högskola,Chalmers University of Technology
-
(creator_code:org_t)
- 2018
- Engelska.
- Relaterad länk:
-
https://research.cha... (primary) (free)
-
visa fler...
-
https://research.cha...
-
visa färre...
Abstract
Ämnesord
Stäng
- In this paper, the relation between controllability and the IOCO testing relationis examined. Based on a natural and common notion of controllability, where uncontrollableevents are interpreted as outputs from the plant, and viewing an implementation under testas a plant, the IOCO testing relation is equivalent to controllability. Further, it is shownhow supervisor synthesis can be used to algorithmically make an implementation IOCO withrespect to its specification. This can be done either by restricting the implementation to thesupremal controllable sublanguage, or extending the specification to the infimal controllablesuperlanguage, of the implementation and the specification. Both alternatives seem to be equallyviable, and the choice between them seem strongly application dependent.
Ämnesord
- TEKNIK OCH TEKNOLOGIER -- Elektroteknik och elektronik (hsv//swe)
- ENGINEERING AND TECHNOLOGY -- Electrical Engineering, Electronic Engineering, Information Engineering (hsv//eng)
Nyckelord
- Supervisory Control Theory
- Input-Output Conformance
- Controllablility
- Model-Based Testing
- Discrete Event Systems
Publikations- och innehållstyp
- rap (ämneskategori)
- vet (ämneskategori)