DECADA: tool for discrete-event control and diagnosis analyzer
Stamp, Gregory (2007) DECADA: tool for discrete-event control and diagnosis analyzer. Masters thesis, Iowa State University.
Full text available as:
We introduce a tool for analyzing the control and diagnosis issues in discrete-event systems. The tool, DECADA (Discrete-Event Control and Diagnosis Analyzer), 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. DECADA accepts models of underlying systems and specifications in the 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 DECADA is structured and the way it can be used.
Archive Staff Only: edit this record