Results 231 to 240 of about 991,733 (290)
Some of the next articles are maybe not open access.
On observability of discrete-event systems
Information Sciences, 1988The supervised discrete-event system is considered. The set of possible events is partitioned into the sets of controllable and observable events. State transitions are governed by the language generated by the transition function and the alphabet of event labels.
W. M. Wonham, Feng Lin
openaire +2 more sources
A survey of modelling and simulation software frameworks using Discrete Event System Specification
Imperial College Computing Student Workshop, 2014Discrete Event System Specification is an extension of the Moore machine formalism which is used for modelling and analyzing general systems. This hierarchical and modular formalism is time event based and is able to represent any continuous, discrete or
Romain Franceschini +4 more
semanticscholar +1 more source
Optimal Secret Protections in Discrete-Event Systems
IEEE Transactions on Automatic Control, 2021In this article, we study a security problem of protecting secrets in discrete-event systems modeled by deterministic finite automata. In the system, some states are defined as secrets, each of which is associated with a security level. The problem is to
Ziyue Ma, Kai Cai
semanticscholar +1 more source
Multicore acceleration of Discrete Event System Specification systems
International Conference on Advances in System Simulation, 2012Parallel discrete-event simulation on heterogeneous multicore platforms requires innovative redesign of existing algorithms in return for better performance.
Qi Liu, Gabriel A. Wainer
semanticscholar +1 more source
Principles of Discrete Event System Specification model verification
International Conference on Advances in System Simulation, 2011Real-time systems modeling and verification is a complex task. In many cases, formal methods have been employed to deal with the complexity of these systems, but checking those models is usually unfeasible.
Hesham Saadawi, Gabriel A. Wainer
semanticscholar +1 more source
Comparing the notions of opacity for discrete-event systems
Discrete event dynamic systems, 2021Opacity is an information flow property characterizing whether a system reveals its secret to a passive observer. Several notions of opacity have been introduced in the literature.
Jivr'i Balun, Tomas Masopust
semanticscholar +1 more source
Optimization Models of Discrete-Event System Dynamics
Operational Research, 2008A methodology is given for modeling the dynamics of discrete-event stochastic systems as optimization problems. The intent is to provide a means to utilize the rich mathematical theory and algorithms of optimization in the study of this important class ...
W. K. Chan, L. Schruben
semanticscholar +1 more source
Supervisor Reduction for Discrete-Event Systems
Discrete Event Dynamic Systems, 2004zbMATH Open Web Interface contents unavailable due to conflicting licenses.
W. M. Wonham, Rong Su
openaire +3 more sources
On decentralized observability of discrete event systems [PDF]
IEEE Conference on Decision and Control and European Control Conference, 2011 In this paper we deal with the problem of decentralized observability of discrete event systems. We consider a set of sites that observe a subset of events. Each site transmits its own observation to a coordinator that decides if the word observed belongs to a legal behavior or not.
CABASINO, MARIA PAOLA +3 more
openaire +2 more sources
, 2005 Discrete Event Systems (DES) are characterized by the occurrence of discrete events asynchronously over time which are responsible for driving all dynamics. Such systems are ubiquitous in modern technological environments, ranging from communication networks and manufacturing to transportation and logistics.
openaire +1 more source