Behavioral characterization of discrete event systems
説明
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. >
収録刊行物
-
- 1993 4th Annual Conference on AI, Simulation and Planning in High Autonomy Systems
-
1993 4th Annual Conference on AI, Simulation and Planning in High Autonomy Systems 127-132, 2002-12-30
IEEE Comput. Soc. Press