DocumentCode
466580
Title
Fault diagnosis based on timed automata: Diagnoser verification
Author
Yangzhou Chen ; Wonham, W.M.
Author_Institution
Sch. of Electron. Inf. & Control Eng., Beijing Univ. of Technol.
Volume
1
fYear
2006
fDate
4-6 Oct. 2006
Firstpage
889
Lastpage
893
Abstract
The paper deals with the supervisory control problem based on vector synchronous product (VSP) of automata. A necessary and sufficient condition for the existence of such a controller is given, which is based on the notion of vs-controllability. Furthermore, a more general framework called vector synchronous product with communication is proposed. In addition, isomorph and homomorph of two VSPs are defined. Some simplified traffic examples are used to illustrate the notions and the result
Keywords
automata theory; discrete event systems; automata theory; discrete event systems; necessary condition; sufficient condition; supervisory control; vector synchronous product; Automata; Automatic control; Event detection; Fault detection; Fault diagnosis; Formal verification; Real time systems; Safety; Systems engineering and theory; Valves; diagnoser; fault diagnosis; model-checking; modeling formalism; time discrete-event systems; timed automata;
fLanguage
English
Publisher
ieee
Conference_Titel
Computational Engineering in Systems Applications, IMACS Multiconference on
Conference_Location
Beijing
Print_ISBN
7-302-13922-9
Electronic_ISBN
7-900718-14-1
Type
conf
DOI
10.1109/CESA.2006.4281777
Filename
4281777
Link To Document