A modular approach to synthesis and control of DES (discrete-event systems) is proposed and tested. The subsystems of DES are understood to be modules of a more complex structure. They are modelled by place/transition Petri nets (P/T PN) and assembled in order to cooperate. In such a way more complex subsystems of the global system or the global system itself can be synthesized. Supervisor synt...

FAULT DIAGNOSIS OF HYBRID SYSTEMS WITH APPLICATIONS TO GAS TURBINE ENGINES Rasul Mohammadi, Ph.D. Concordia University, 2009 Stringent reliability and maintainability requirements for modern complex systems demand the development of systematic methods for fault detection and isolation. Many of such complex systems can be modeled as hybrid automata. In this thesis, a novel framework for fault di...

A Discrete Event System (DES) is a dynamic system in which state changes occur in response to the occurrence of certain events. At any state of the system, a number of possibilities are offered for the next event, which is taken nondeterministically and the state updated accordingly. Examples of discrete-event systems can be found in manufacturing systems, communication networks, embedded syste...

Fuzzy Inference Systems (FIS) have the advantage of relying on the properties of Fuzzy Logic to represent imperfect information so gradually, and manipulate them from a linguistic description. This exibility of representation is more signi cant for the study of complex systems. Our aims are to propose a formal approach for describing FIS as a Discrete Event System (DES), and to extend a DES in ...

Logical discrete event systems can be modelled using trace theory. In this paper we present an eeective algorithm to nd a controller using an operator (the reeection) that leads to systems that go beyond our scope. We deene a discrete event system (DES) to be a triple, see Sme93b, Sme93c]: P = haP; bP; tPi with aP the alphabet (set of events), bP (aP) the behaviour set, and tP (aP) the task set...

The classical world-views of discrete event simulation (DES) are event scheduling, activity scanning and process interaction. A fourth approach, the three-phase method, extends activity scanning and is often regarded as another world-view. These world-views provide the theoretical framework for applying DES in practice. However, in health care simulation, practitioners often face modeling chall...

Recent literature has introduced and validated a signed real measure of regular languages for quantitative analysis and synthesis of discrete-event supervisory (DES) control systems, where all events are assumed to be observable. This paper presents a modification of the language measure for supervisory control under partial observation and shows how to generalize the analysis when some of the ...

In manufacturing industry, Discrete Event Simulation (DES) is applied in just a small fraction of the cases where it could give significant value. The complexity of the DES technology itself is one barrier to achieving its full potential in manufacturing system design. This paper focuses on methodologies which can be used in studying the modelling process, with the specific intent of integratin...

The notion of switched discrete event systems (DES) has been introduced recently. This is a class of DES where each automaton is the composition of two basic automata, but with different composition operators. A switching occurs when there is a change of the composition operator, but keeping the same two basic automata. A mode behavior is defined as the active DES behavior for a given compositi...