Behavioral characterization of discrete event systems

Description

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. >

Journal

Details 詳細情報について

Report a problem

Back to top