Title :
On structural properties of discrete event dynamic systems
Author_Institution :
Dipartimento di Ingegneria Elettrica, l´´Aquila Univ., Italy
Abstract :
This paper deals with the structural properties of discrete event dynamic systems, analogous to those introduced for classical systems. Some results, which give practical means to test these properties, are given. They represent the counterpart of well-known results of the classical system theory, and are illustrated in a simple working example
Keywords :
controllability; discrete event systems; formal languages; system theory; classical system theory; controllability; discrete event dynamic systems; formal language generator; reachability; structural properties; undistinguishability; Automata; Automatic control; Control system synthesis; Control systems; Controllability; Discrete event systems; Formal languages; Petri nets; Testing;
Conference_Titel :
Systems, Man, and Cybernetics, 1994. Humans, Information and Technology., 1994 IEEE International Conference on
Conference_Location :
San Antonio, TX
Print_ISBN :
0-7803-2129-4
DOI :
10.1109/ICSMC.1994.399970
