Results 171 to 180 of about 6,511 (198)
Some of the next articles are maybe not open access.
Probabilistic system opacity in discrete event systems
Discrete Event Dynamic Systems, 2016In many emerging security applications, a system designer frequently needs to ensure that a certain property of a given system (that may reveal important details about the system's operation) be kept secret (opaque) to outside observers (eavesdroppers or intruders).
Keroglou, C. +3 more
openaire +6 more sources
Aggregation in hierarchical discrete-event systems
Discrete Event Dynamic Systems, 2003The authors elaborate on the hierarchical partition of automata-based discrete-event systems and provide algorithms which can be applied in practical applications. In the first part of the paper, they focus on the question of how to obtain a decomposition of a hierarchical system.
J. H. van Schuppen, A. A. Al-Falou
openaire +3 more sources
A representation of discrete event dynamical systems
Proceedings of 32nd IEEE Conference on Decision and Control, 2002The problem of determining a representation of the state dynamics associated to a generator of formal language, which models a discrete event dynamical system, is addressed. A definition of independence between states of the generator is formulated, based on the languages generated starting from these states.
DE SANTIS, Elena, DI GENNARO, Stefano
openaire +4 more sources
On relative coobservability of discrete-event systems
2015 American Control Conference (ACC), 2013We study a new concept of relative coobservability in decentralized supervisory control of discrete-event systems under partial observation. This extends our previous work on relative observability from a centralized setup to a decentralized one. A fundamental concept in decentralized supervisory control is coobservability (and its several variations);
Kai Cai, W. M. Wonham, Renyuan Zhang
openaire +3 more sources
Discrete Event Systems and Deadlock
1990In this paper discrete event systems are defined using trace structures. Special attention will be given to the phenomenon deadlock. Questions we like to answer are: when is there a possibility that two connected systems may end in deadlock, how can it be detected, and how can it be prevented, for example by adding an extra discrete event system.
openaire +3 more sources
Predictability in Probabilistic Discrete Event Systems
2016Predictability is a key property allowing one to expect in advance the occurrence of a fault in a system based on its observed events. Existing works give a binary answer to the question of knowing whether a system is predictable or not. In this paper, we consider discrete event systems where probabilities of the transitions are available.
Nouioua, Farid +2 more
openaire +3 more sources
Decentralized Diagnosis of Discrete Event Systems [PDF]
, 2014 Chapter 2 handles the methods and techniques used to achieve the fault diagnosis using a centralized processing structure. It studies two significant event-based approaches of centralized diagnosis of discrete event systems: diagnoser and supervision pattern approaches.
openaire +2 more sources
Identification in discrete event systems
SMC'98 Conference Proceedings. 1998 IEEE International Conference on Systems, Man, and Cybernetics (Cat. No.98CH36218), 2002This paper presents a method to identify discrete event systems (DES) using interpreted Petri nets (IPN). The approach herein proposed works online with the system and has two main steps. In the first step, the algorithm advances finding out new places, transitions and arcs, all of them are obtained using input-output information.
A. Ramirez, M.E. Meda, A. Malo
openaire +2 more sources
Similarity of Events in Discrete Event Systems
1993In the paper, the similarity of events in the discrete event systems is proposed. Using this, the event hierarchy and the event uncertainty are considered. Following a hierarchical event structure, a concept of macro-events is introduced. To characterise the used formalism, algebraic linguistics and structural pattern recognition techniques are ...
openaire +2 more sources
Modeling a System with Discrete Events
2012 Sixth UKSim/AMSS European Symposium on Computer Modeling and Simulation, 2012The goal of this paper is to differentiate and apply the idiosyncratic and significant characteristics of the structuring and formalization of systems of discrete events in a methodological approach to the building of discrete imitational models. This approach is based on studying the particular system, beginning with a general overview and then ...
Valentina Dyankova, Stoyan Kapralov
openaire +2 more sources