Max-plus-linear models can be used to model discrete-event systems with only synchronization and no concurrency. The synchronization constraints in max-plus-linear discrete-event systems are hard, i.e., they cannot be broken under any circumstance. We consider a class of discrete-event systems with both hard and soft synchronization constraints, i.e., if necessary, some synchronization conditio...

In literature, several cases are reported of models of discrete non-stochastic production systems that show irregular, apparently chaotic behavior. In this paper a number of these cases are analyzed, and the irregular behavior is attributed to (1) chaotic behavior in hybrid models, (2) chaotic behavior in discrete-event models that use a chaotic map, or (3) periodic behavior with a period longe...

To perform dextrous manipulation e ciently, it is necessary to coordinate the interactions of many component processes. This paper investigates one approach to coordination: discrete-event systems. The applicability of discrete-event systems to the modeling of dextrous manipulation tasks is studied. Discrete-event control theory o ers formal methods for determining whether a coordinator of the ...

The class of timed discrete event systems which can be modelled by automata known as timed event graphs are structurally related to nite state machines. Consequently, supervisory control problems for these timed DES can be addressed using methods similar to those developed for their untimed counterparts. When the desired behavior takes the form of minimum separation times between events, it als...

This paper studies the problem of predicting occurrences of a significant event in a partially-observed discrete-event system. The predictability of occurrences of an event in a system is defined in the context of formal languages. The predictability of a language is a stronger condition than the diagnosability of the language. Two necessary and sufficient conditions for predictability of occur...

The work has been carried out at Saab Automobile AB (Saab) in Trollhättan, Sweden, with focus on discrete-event simulation and manufacturing logistics. We would like to express our gratitude to all of you who have contributed to this work! Especially for you Andreas Ardhus, Project Engineer as well as our tutor at Saab, for your supervision and guidance; Johan Nordling, Consultant at Siemens In...

In this paper we study the problem of predictability in partially observable discrete event systems, i.e., the question whether an observer can predict the occurrence of a fault. We extend the definition of predictability to consider the time interval where the fault will occur: the (i, j)-predictability does not only specify that the fault will be predicted before it occurs, but also that the ...

We address the problem of robust diagnosability of discrete event systems described by a class of automata, where each automaton in the class generates a distinct language. We introduce a new definition which generalizes all previous definitions of robust diagnosability; for this reason it is referred here to as generalized robust diagnosability. We also present a necessary and sufficient condi...

Discrete-event models are generally used to describe systems where coordination and control is required to ensure the orderly flow of events, or to avoid the occurrence of certain chains of events. Reduced Supervision and Hierarchical Supervision are methods of obtaining a supervisor in which control is divided or we can say that the control is distributed. In this paper the Problem of Guide Wa...