As analyses of system behavior and complexity through computer modeling and simulation have been growing, high performance modeling is noticed to handle behavior and complexity of modern large-scale systems. The high performance modeling focuses on high resolution representation of system and performance improvement. This paper presents a quantized system modeling as an effective high performan...

The observer property is an important condition to be satisfied by abstractions of Discrete Event Systems (DES) models. This paper presents a generalised version of a previous algorithm which tests if an abstraction of a DES obtained through natural projection has the observer property. The procedure called OP-verifier II overcomes the limitations of the previously proposed verifier while keepi...

State space transformations in the max-algebraic system theory for Discrete Event Systems (DES) are discussed. Some transformations between different realizations of a given impulse response of a DES are suggested and their limitations are illustrated. It is explained why a general result seems hard to prove. Résumé: Nous discutons certaines transformations d’état dans la théorie des systèmes p...

This paper presents an identification method of partially observable Discrete Event Systems (DES) using ordinary Petri Nets. The proposed method is absolute, sequential and multiple. It consists in building the compartmental model, computed off-line, for a DES in a Petri Net (PN) form. The developed method is based on the use of the input/output sequences constructed during the system evolution...

In many Discrete-Event Systems (DES) both state and event information are of importance to the systems designer. Logics such as Ostroff’s RTTL allow for the specification and verification of a system’s state-event behavior. To make realistic problems amenable to analysis, a designer must typically decompose the system into subsystems (modules) and use algebraic abstraction (quotient systems) to...

In the last decade, maritime piracy has affected the global economy that forced the countries to react. Most of the reaction is regarding force deployment in the affected regions. In this study, we present a simulation based analysis tool that aims at understanding the relationship between naval forces deployment and preventing piracy. We consider three stakeholders’ views; pirates, maritime tr...

We have already presented a contribution for synthesizing an approach of supervisory control for Discrete Event Systems (DES) modeled by Timed Place Marked Graphs subject to Marking Exclusion Constraint. This paper is a continuation work in this area for building the control law for Discrete Event Systems (DES), where the time is taken in consideration. It solves a forbidden state problems char...

In this paper we describe our experience with a prototype system capable of synthesizing Supervisor Controller Programs based largely on the theory of discrete event systems (DES) rst proposed by Ramadge and Wonham 13]. We augment the theory by also allowing continuous time trajectories modeling transitions between events. We illustrate our approach by an example, the discrete control of a walk...

After more than four decades of presence in the manufacturing industry, discrete event simulation has established itself as a powerful technology for a wide range of strategic, tactical, and operational applications in production, logistics, and supply chain management. Discrete event simulation software packages – although not entirely adequate – are relatively capable, andmethodologies for pe...

Because of their nondeterministic nature of behaviour, the supervisory control of manufacturing systems must be carried out in closed loop. This trait greatly increases the size and complexity of the Discrete-Event System (DES)-based supervisorycontrollers of manufacturing systems. In an attempt t o cope with this complexity, a Hybrid Supervisory Controller HSC) i s proposed. It splits pervisor...