This paper introduces condition/event (C/E) systems as a class of continuous-time discrete event dynamic systems (DEDS) with two types of discrete-valued input and output signals: condition signals and event signals. In applications such as discrete control, C/E systems provide an intuitive continuous-time modeling framework amenable to block diagram representation. In this paper we consider C/...

In the discrete modeling approach for hybrid control systems, the continuous plant is reduced to a discrete event approximation, called the DES-plant, that is governed by a discrete event system, representing the controller. The observability of the DES-plant model is crucial for the synthesis of the controller and for the proper closed loop evolution of the hybrid control system. Based on a ve...

ion: The process of ignoring irrelevant details in a complicated model, while preserving properties of interest. Automaton: A mathematical model for a discrete-state system. Composition: The process of interconnecting hybrid systems. Controller: Generates (control) signals that make a system behave in a desired way. Continuous-time system: Dynamic system defined by differential equations. Decid...

In many application domains events are not Poisson distributed. For some applications it even makes sense to (more or less) assume that events are distributed in the worst possible way (e.g. in networks, packets often arrive in bursts). In this Section we study systems from a worst-case perspective. In particular, we analyze the price of not being able to foresee the future. This is a phenomeno...

a) What are the input (Pre) and output (Post) sets of transitions t5 and t8? Of place p3? b) Starting from the initial marking, which transitions are enabled after t1 and t2 have fired? c) What is the total number of tokens in N1 before and after t2 fired? d) Play the token game for N1 and construct the reachability graph. Hint You may denote the states in such a way that the index indicates th...

This paper deals with the problem of diagnosing systems that exhibit both continuous and discrete event dynamics. The proposed approach combines techniques from both continuous and discrete event diagnosis fields. On the on hand, an extension of the parity space approach is used to associate signatures to every operational mode of the system. On the other hand, signature switches arising from t...

Supervisory control themy is the study of discrete-event processes, such as computer systems and manufacturing systems, which require control to induce desirable behavior. Informally, a dimte-event system is a process (or set of processes) that s u n s out in some initial state and is transformed from state to state by the occurrence of discrete events. Such a system can be thought of as a set ...

Nowadays, determining faults (or critical situations) in nonstationary environment is a challenging task in complex systems such as Nuclear center, or multi-collaboration such as crisis management. A discrete event system or a fuzzy discrete event system approach with a fuzzy role-base may resolve the ambiguity in a fault diagnosis problem especially in the case of multiple faults (or multiple ...

Hybrid systems are continuous variable, continuous time systems with a phased operation. Within each phase the system evolves continuously according to the dynamical law of that phase, and when an event occurs, the system makes a transition from one phase to the next. Thus, hybrid systems display both discrete and continuous behavior. The discrete behavior consists of abrupt transitions between...

The topics of this paper are matrix factorizations and the minimal state space realization problem in the maxplus algebra, which is one of the modeling frameworks that can be used to model discrete event systems. We present a heuristic algorithm to compute a factorization of a matrix in the max-plus algebra. Next we use this algorithm to determine the minimal system order (and to construct a mi...