Logo
Unionpedia
Communication
Get it on Google Play
New! Download Unionpedia on your Androidâ„¢ device!
Free
Faster access than browser!
 

Behavior of DEVS

Index Behavior of DEVS

The behavior of a given DEVS model is a set of sequences of timed events including null events, called event segments, which make the model move from one state to another within a set of legal states. [1]

9 relations: Behavior of coupled DEVS, Bernard P. Zeigler, DEVS, Event segment, Finite & Deterministic Discrete Event System Specification, Simulation algorithms for atomic DEVS, Simulation algorithms for coupled DEVS, SP-DEVS, Timed event system.

Behavior of coupled DEVS

DEVS is closed under coupling Zeigper84 ZPK00.

New!!: Behavior of DEVS and Behavior of coupled DEVS · See more »

Bernard P. Zeigler

Bernard P. Zeigler (born March 5, 1940, in Montreal) is a Canadian engineer, and emeritus professor at the University of Arizona, known for inventing Discrete Event System Specification (DEVS) in 1976.

New!!: Behavior of DEVS and Bernard P. Zeigler · See more »

DEVS

DEVS abbreviating Discrete Event System Specification is a modular and hierarchical formalism for modeling and analyzing general systems that can be discrete event systems which might be described by state transition tables, and continuous state systems which might be described by differential equations, and hybrid continuous state and discrete event systems.

New!!: Behavior of DEVS and DEVS · See more »

Event segment

A segment of a system variable shows a homogenous status of system dynamics over a time period.

New!!: Behavior of DEVS and Event segment · See more »

Finite & Deterministic Discrete Event System Specification

FD-DEVS (Finite & Deterministic Discrete Event System Specification) is a formalism for modeling and analyzing discrete event dynamic systems in both simulation and verification ways.

New!!: Behavior of DEVS and Finite & Deterministic Discrete Event System Specification · See more »

Simulation algorithms for atomic DEVS

Given an atomic DEVS model, simulation algorithms are methods to generate the model's legal behaviors which are trajectories not to reach to illegal states.

New!!: Behavior of DEVS and Simulation algorithms for atomic DEVS · See more »

Simulation algorithms for coupled DEVS

Given a coupled DEVS model, simulation algorithms are methods to generate the model's legal behaviors, which are a set of trajectories not to reach illegal states.

New!!: Behavior of DEVS and Simulation algorithms for coupled DEVS · See more »

SP-DEVS

SP-DEVS abbreviating "Schedule-Preserving Discrete Event System Specification" is a formalism for modeling and analyzing discrete event systems in both simulation and verification ways.

New!!: Behavior of DEVS and SP-DEVS · See more »

Timed event system

The General System has been described in Zeigler76 and ZPK00 with the stand points to define (1) the time base, (2) the admissible input segments, (3) the system states, (4) the state trajectory with an admissible input segment, (5) the output for an given state.

New!!: Behavior of DEVS and Timed event system · See more »

Redirects here:

Behavior of Atomic DEVS, Behavior of atomic DEVS, Behavior of devs, DEVS Behavior.

References

[1] https://en.wikipedia.org/wiki/Behavior_of_DEVS

OutgoingIncoming
Hey! We are on Facebook now! »