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:

PDF - Requires Adobe Acrobat Reader or other PDF viewer.

Abstract

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.

EPrint Type:	Thesis (Masters)
Uncontrolled Keywords:	discrete event systems finite state machine automata control synthesis controllability diagnosability observability normality composition DECADA software program C Java
Subjects:	Computer Engineering > SOFTWARE SYSTEMS > Software Engineering
ID Code:	332
Identification Number:	TR-2007-04-15
Deposited By:	Gregory Stamp
Deposited On:	30 August 2007

Archive Staff Only: edit this record