Results 231 to 240 of about 88,261 (265)
Some of the next articles are maybe not open access.
Control of Parameterized Discrete Event Systems
Discrete Event Dynamic Systems, 2008zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Hans Bherer +2 more
openaire +2 more sources
Explanatory Monitoring of Discrete-Event Systems
2020Model-based diagnosis was first proposed for static systems, where the values of the input and output variables are given at a single time point and the root cause of an observed misbehavior is a set of faults. This set-oriented perspective of the diagnosis results was later adopted also for dynamical systems, although it fits neither the temporal ...
Bertoglio N. +3 more
openaire +2 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
Probabilistic system opacity in discrete event systems
Discrete Event Dynamic Systems, 2016zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Keroglou, C. +3 more
openaire +5 more sources
Safe diagnosability of discrete event systems
42nd IEEE International Conference on Decision and Control (IEEE Cat. No.03CH37475), 2004The problem of safe failure diagnosis in discrete event systems is addressed. Starting from the standard definition of diagnosability of discrete event systems, which deals with the problem of detecting the occurrence of an unobservable event using the available observations on the system, the problem of performing the detection before the system ...
Andrea Paoli, Stéphane Lafortune
openaire +1 more source
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 +3 more sources
I-Detectability of Discrete-Event Systems
IEEE Transactions on Automation Science and Engineering, 2013State estimation has always been important in discrete-event systems. There are two types of state estimation problems in discrete-event systems: one is to determine the initial state of the system and the other is to determine the current state of the system. In this paper, we investigate the initial state estimation problem.
Shaolong Shu, Feng Lin 0001
openaire +1 more source
Robust codiagnosability of discrete event systems
2009 American Control Conference, 2009We consider robust decentralized diagnosis of discrete event systems, where the goal is to detect the occurrence of unobservable fault events using a set of local diagnosers that are themselves subject to failures. We introduce a formal notion of robust decentralized diagnosability, called robust codiagnosability, and study its properties.
João Carlos Basilio +1 more
openaire +2 more sources
Symbolic discrete event system specification
IEEE Transactions on Systems, Man, and Cybernetics, 1992An extension of the discrete event system specification modeling formalism (DEVS) that facilitates symbolic expression of event times by extending the time base from the real numbers to the field of linear polynomials over the reals is presented. A simulation algorithm is developed to generate the branching trajectories resulting from the underlying ...
Bernard P. Zeigler, Sung-Do Chi
openaire +2 more sources
Concurrent vector discrete-event systems
IEEE Transactions on Automatic Control, 1995In two previous papers, the authors proposed a theory of vector discrete event systems in which the state is represented by integer component vectors and state transition by integer vector addition. Here, they continue the development of the theory, investigating concurrency.
Yong Li, Walter Murray Wonham
openaire +2 more sources