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

fYear

2006

fDate

10-12 July 2006

Firstpage

396

Lastpage

397

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;

fLanguage

English

Publisher

ieee

Conference_Titel

Discrete Event Systems, 2006 8th International Workshop on

Conference_Location

Ann Arbor, MI

Print_ISBN

1-4244-0053-8

Type

conf

DOI

10.1109/WODES.2006.382404

Filename

4267655