𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Incremental model evolution and reusability of supervisors for discrete event systems

✍ Scribed by Yi-Liang Chen; Stéphane Lafortune; Feng Lin

Publisher
Elsevier Science
Year
2000
Tongue
English
Weight
450 KB
Volume
36
Category
Article
ISSN
0005-1098

No coin nor oath required. For personal study only.

✦ Synopsis

Reusability of supervisors under incremental model evolution of discrete event systems is investigated and a systematic method for the reuse of the supervisors is proposed based on automatic synthesis of input and output interfaces

📜 SIMILAR VOLUMES

Diagrammatic representations of the conc
Diagrammatic representations of the conceptual simulation model for discrete event systems
✍ Vlatko Ceric; Ray J. Paul 📂 Article 📅 1992 🏛 Elsevier Science 🌐 English ⚖ 632 KB

## Diagrammatic modelling representation methods in discrete event simulation are varied and can be classified as follows: simulation strategy neutral, simulation strategy oriented, simulation language oriented, and methods borrowed from other computer modelling areas. The main diagrammatic method

Discrete event modeling and simulation f
Discrete event modeling and simulation for flow control in an automated highway system
✍ Jong-Kwon Lee; Ju-Jang Lee 📂 Article 📅 1997 🏛 Elsevier Science 🌐 English ⚖ 747 KB

AbstractÐThis paper considers a lane routing problem in an Automated Highway System (AHS). Lane routing is important because the problem of managing the trac ¯ow on a multilane AHS plays a major role in an urban environment. On the other hand, because analytical approaches are impossible for various

On the stability and performance of disc
On the stability and performance of discrete event methods for simulating continuous systems
✍ James Nutaro; Bernard Zeigler 📂 Article 📅 2007 🏛 Elsevier Science 🌐 English ⚖ 375 KB

This paper establishes a link between the stability of a first order, explicit discrete event integration scheme and the stability criteria for the explicit Euler method. The paper begins by constructing a time-varying linear system with bounded inputs that is equivalent to the first order discrete