Results 271 to 280 of about 114,161 (294)
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.
Bherer, Hans +2 more
openaire +2 more sources
Discrete Event System Specification
2012In this chapter, the classic DEVS formalism from Zeigler et al. will be introduced. It will be discussed in depth, which properties of the DEVS MoC impedes its exploitation for a hardware / software co-design flow. Thus, the SynDEVS MoC will be introduced which thoroughly refines the DEVS MoC to allow synthesis of SynDEVS models.
openaire +1 more source
Discrete Event System Simulation
Simulated systems are used for modelling and analysis of systems for which an analytical solution is either not accessible or difficult to achieve. Simulation is a highly flexible and adaptable discipline within computer science. Because it is simpler than conventional approaches, which are often challenging, simulation is also chosen as a method of ...J. Vijayarangam +2 more
openaire +1 more source
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 +1 more source
Model Uncertainty in Discrete Event Systems
SIAM Journal on Control and Optimization, 1995The authors present a model of uncertainty related to the transitions of systems, modelled with finite state machines. In detail, given a plant, we have a number of possible models of the plant, but only one is the correct model. An algorithm is given to construct a supervisor which can identify the correct model, if the uncertainties can be ...
Young, Stanley, Garg, Vijay K.
openaire +2 more sources
Discrete event control systems
2001Many systems are characterized by the occurrence of events, rather than the motion. Among these are elevators, for which the stopping at floors and the opening and closing of doors are of prime interest, computer systems in which the arrival and departure of data blocks are important, and process control systems for which the starting, stopping ...
openaire +1 more source
Discrete-Event Systems Simulation.
The Journal of the Operational Research Society, 1984Carolyn B. Morgan +2 more
openaire +1 more source
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 +2 more sources
Decentralized Diagnosis of Discrete Event Systems
2014Chapter 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 +1 more source