DocumentCode
291962
Title
On structural properties of discrete event dynamic systems
Author
Gennaro, S. Di
Author_Institution
Dipartimento di Ingegneria Elettrica, l´´Aquila Univ., Italy
Volume
1
fYear
1994
fDate
2-5 Oct 1994
Firstpage
1018
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;
fLanguage
English
Publisher
ieee
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
Type
conf
DOI
10.1109/ICSMC.1994.399970
Filename
399970
Link To Document