Title :
Behavioral characterization of discrete event systems
Author :
Asahi, Takao ; Zeigler, Bernard P.
Author_Institution :
Dept. of Bus. Adm., Toyo Univ., Japan
Abstract :
Discrete event systems (DEVSs) are characterized in an axiomatic way, showing a construction of a DEVS from a discrete event input-output function observation that satisfies causality and stationarity properties. Each system is formalized as a structure. The relationship between their properties is investigated from the view of mathematical general systems theory. The result is a step toward an abstract theory of DEVS realization
Keywords :
discrete event systems; formal specification; system theory; DEVS; abstract theory; behavioural characterisation; causality; discrete event systems; formal specification; general systems theory; input-output function observation; stationarity; Discrete event systems; Time invariant systems;
Conference_Titel :
AI, Simulation, and Planning in High Autonomy Systems, 1993. Integrating Virtual Reality and Model-Based Environments. Proceedings. Fourth Annual Conference
Conference_Location :
Tucson, AZ
Print_ISBN :
0-8186-4020-0
DOI :
10.1109/AIHAS.1993.410587
