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.
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;
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
DOI :
10.1109/CESA.2006.4281777
