Title :
DECADA: Tool for Discrete-Event Control and Diagnosis Analysis
Author :
Stamp, G. ; Ong, Y. ; Kumar, R. ; Zhou, C.
Author_Institution :
Dept. of Electr. & Comput. Eng., Iowa State Univ., Ames, IA
Abstract :
We introduce a tool for analyzing the control and diagnosis issues in discrete-event systems. The tool consists of a program written in C that accepts command line arguments and a GUI front end written in Java that can be used to execute the command line driven program. The tool accepts models of underlying systems and specifications in form of finite automata and supports various automata-level computations as well as control and diagnosis related verification and synthesis. We describe the way the tool is structured and the way it can be used
Keywords :
control system CAD; control system analysis computing; discrete event systems; finite automata; graphical user interfaces; C language; DECADA; GUI front end; Java language; automata-level computations; command line arguments; command line driven program; discrete-event control analysis; discrete-event diagnosis analysis; finite automata; Automata; Automatic control; Computer architecture; Control system analysis; Control systems; Controllability; Discrete event systems; Graphical user interfaces; Java; Observability;
Conference_Titel :
Discrete Event Systems, 2006 8th International Workshop on
Conference_Location :
Ann Arbor, MI
Print_ISBN :
1-4244-0053-8
DOI :
10.1109/WODES.2006.382404
