Results 1 to 10 of about 6,412 (99)
On the control of discrete-event dynamical systems [PDF]
Mathematics of Control, Signals, and Systems, 1987 zbMATH Open Web Interface contents unavailable due to conflicting licenses.
John N. Tsitsiklis
openaire +4 more sources
Resilience in Discrete Event Systems
IFAC-PapersOnLine, 2022 This paper explores the notion of resilience of a fault in a DES, as the ability to spontaneously return to a normal behavior, without leaking information about this fault occurrence to an external observer. Resilience expresses some form of insensitivity or robustness, related but different from classical notions like diagnosability or opacity ...
openaire +2 more sources
On Opacity Verification for Discrete-Event Systems
IFAC-PapersOnLine, 2020 Opacity is an information flow property characterizing whether a system reveals its secret to an intruder. Verification of opacity for discrete-event systems modeled by automata is in general a hard problem. We discuss the question whether there are structural restrictions on the system models for which the opacity verification is tractable.
Jiří Balun +2 more
openaire +4 more sources
Coordination control of discrete-event systems [PDF]
2008 9th International Workshop on Discrete Event Systems, 2008 The concept of a coordinator is proposed for control of modular discrete-event systems. The coordinator makes all subsystems conditionally independent generators as defined in the paper. The coordinator receives part of the partial observations of the subsystems and its task is to satisfy the global part of the specification and of the nonblockingness.
Komenda, J. (Jan), van Schuppen, J. H.
openaire +4 more sources
Discrete event control of nondeterministic systems
Proceedings of 35th IEEE Conference on Decision and Control, 1998 Summary: Nondeterminism in discrete-event systems occurs in many practical situations and often as a result of partial observability of events. For the adequate description of nondeterministic systems and nondeterministic phenomena, the trajectory-model formalism was introduced. This formalism has been used in [\textit{M. Shayman} and \textit{R. Kumar},
Feng Lin, Michael Heymann
openaire +4 more sources
Detectability in Stochastic Discrete Event Systems
IFAC Proceedings Volumes, 2014 Abstract In this paper we define and analyze notions of detectability in stochastic discrete event systems (SDES). More specifically, we introduce the notions of A-detectability and AA-detectability which focus on characterizing our ability to estimate the true current state of a given SDES with increasing certainty as we observe more output symbols.
Keroglou, C. +3 more
openaire +5 more sources
Tail Asymptotics for Discrete Event Systems [PDF]
Discrete Event Dynamic Systems, 2006 In the context of communication networks, the framework of stochastic event graphs allows a modeling of control mechanisms induced by the communication protocol and an analysis of its performances. We concentrate on the logarithmic tail asymptotics of the stationary response time for a class of networks that admit a representation as (max,plus)-linear ...
openaire +3 more sources
Distributed Modeling of Discrete Event Systems
, 2012 Computer simulation is widely used to support the design of any kind of complex system and to create computer-generated "virtual worlds" where humans and/or physical devices are embedded (e.g. aircraft flight simulators [20]). However, both the generation of simulation models and the execution of simulations can be time and cost expensive.
PEDRIELLI, GIULIA +3 more
openaire +5 more sources
Reformulation for the Diagnosis of Discrete-Event Systems
Annual Conference of the PHM Society, 2010 Diagnosis is traditionally defined on a space of hypotheses (typically, all the combinations of zero or more possible faults).In the present paper, we argue that a suitable reformulation of this hypothesis space can lead to more efficient diagnostic algorithms and more compact diagnoses, most notably by exploiting opportunities for various forms ...
A. Grastien, TORTA, GIANLUCA
openaire +4 more sources
On the Timing of Discrete Events in Event-Driven Control Systems [PDF]
, 2008 This paper presents an analysis method to determine offline at what intervals have to be taken the samples for various types of event- driven control systems.
Velasco García, Manel +2 more
openaire +4 more sources