Simulation-based testing of discrete-event control systems can be advantageous. There is, however, a considerable difference between languages for real-time control and simulation languages. The χ language, presented in this paper, is suited to specification and simulation of realtime control systems. The hybrid nature of the language makes it also suited to modelling of controlled machines. By...

In this paper, we propose a design algorithm for an optimal supervisor for guaranteeing the trimness of the controlled system. We generalize the earlier work of Kumar and Grag based on the induced Xow network of a given discrete event system. SpeciWcally, the proposed algorithm is directly applicable to a discrete event system and minimizes the net cost of the optimal supervisor, which ensures ...

Discrete-event models depict systems where a discrete state is repeatedly altered by instantaneous changes in time, the events of the model. Such models have gained popularity in fields such as Computational Systems Biology or Computational Epidemiology due to the high modeling flexibility and the possibility to easily combine stochastic and deterministic dynamics. However, the system size of m...

In this paper, we integrate nonlinear control and supervisory control theory to design a controller of a heating, ventilating and air conditioning (HVAC) system. First we design the nonlinear controllers by Lyapunov theory and backstepping. Then we create the discrete abstraction of this system and thus derive the discrete event system model from the continuous plant. Finally we design the supe...

This contribution consists of two parts. In the first part general possibilities for the combination of Modelica models and discrete event models are discussed on a conceptual level. It is shown that it is necessary to support asynchronous behavior and that it is useful to represent sampled data behavior of discrete event systems in an interrupt-driven style for fast simulation. The characteriz...

The paper proposes an original architecture to execute discrete-event simulations using mobile devices (in particular smartphones) and cloud. originality of the proposed approach is highlighted by way connection between modeling simulation environment, cloud smartphones performed via a solid web services oriented architecture. This has led software implementation based on system specification f...