Discrete EVent Systems Specification (DEVS) formalism supports specification of discrete event models in a hierarchical modular manner. This paper proposes a DEVS modeling language called DEVS Specification Language (DEVSpecL) based on which discrete event systems are modeled, simulated and analyzed within a DEVS-based framework for seamless systems design. Models specified in DEVSpecL can be t...

This paper describes important features of JAPROSIM, a free and open source simulation library implemented in Java programming language. It provides a framework for building discrete event simulation models. The process interaction world view adopted by JAPROSIM is discussed. We present the architecture and major components of the simulation library. A pedagogical example is given in order to i...

A hybrid control system contains both continuous-time and discrete event components. Specifically, the plant is a continuoustime system modeled by differential equations, and the controller is a discrete event system modeled by an automaton. This paper presents a framework for modeling hybrid control systems including the necessary interface between the plant and controller. A method to represe...

Simulation is often used to solve problems in many areas in the form of problem analysis. Real time graphic applications such as videogames typically use a continuous simulation scheme. This operating scheme has disadvantages that can be avoided by using a discrete event simulator as the application kernel. This paper proposes the integration of a discrete event simulator into a real time graph...

This paper describes important features of JAPROSIM, a free and open source simulation library implemented in Java programming language. It provides a framework for building discrete event simulation models. The process interaction world view adopted by JAPROSIM is discussed. We present the architecture and major components of the simulation library. A pedagogical example is given in order to i...

The behavior of a hybrid system is a mixture of continuous behavior and discrete event behavior. The Simulink/Stateflow toolset is a widely used industrial tool to design and validate hybrid control systems using numerical simulation methods for the continuous parts and an executable Stateflow (combination of Statecharts and Flowcharts) for the discrete event parts. On the other hand, Colored P...

Systems can be described in different time models and on various levels of abstraction. We can distinguish between models in discrete-event, discrete and continuous time. Graph-based, formal models allow us to use either discrete event/discrete time models or continuous time models. The combined use of all three time models in one system is the main problem when modeling mixed analog/digital sy...

MATLAB/Simulink is a popular software environment used by engineers and scientists. It offers integrated modeling and simulation tools and numerous toolboxes employable in conjunction with modeling and simulation tasks. However, modeling and simulation of discrete event systems is often confusing and sometimes not compliant with the established system theory. This contribution presents a MATLAB...