in this paper, the maximal dissipative extensions of a symmetric singular 1d discrete hamiltonian operator with maximal deficiency indices (2,2) (in limit-circle cases at ±∞) and acting in the hilbert space ℓ_{ω}²(z;c²) (z:={0,±1,±2,...}) are considered. we consider two classes dissipative operators with separated boundary conditions both at -∞ and ∞. for each of these cases we establish a self...

A mobile agent is an autonomous software agent capable of moving from one computer to another while performing its tasks. We view the agent as a discrete event system in the view of its computation and communication. This paper presents a methodology for modeling and simulation of such a mobile agent system as a discrete event system. The methodology is based on the Mobile Discrete Event System...

A new Petri-net-based top-down synthesis technique for supervisory control of Discrete Event Systems (DES) is proposed to solve the forbidden state problem. The supervisors obtained are compiled supervisors, whose control policy is represented as a net structure, as opposed to mapping supervisors, whose control policy is computed as a feedback function of the marking of the system. The compiled...

This paper introduces a novel approach for discrete event simulation output analysis. The approach combines dynamic time warping and clustering to enable the identification of system behaviours contributing to overall system performance, by linking the clustering cases to specific causal events within the system. Simulation model event logs have been analysed to group entity flows based on the ...

Hybrid systems combine discrete state dynamics, which model the dynamics of mode switching in the system, with continuous state dynamics, which model the physical processes themselves. Human interaction with hybrid systems involves the user, the automation’s discrete mode-logic, and the underlying continuous dynamics of the physical system. Often the user-interface of such systems displays a re...

In this paper we consider the modelling and control of discrete event systems using switching max-plus-linear systems. In switching max-plus-linear systems we can switch between different modes of operation. In each mode the discrete event system is described by a max-plus-linear state equation with different systemmatrices for each mode. The switching allows us to change the structure of the s...

Discrete EVent systems Specification (DEVS) is one of the most frequently utilized system specifications to model discrete event systems in the real world. To analyze system behavior, simulation results are collected by executing the DEVS model. Although a large number of results are essential for the accuracy of analysis, the existing execution environment we developed is not focused on faster...