Results 11 to 20 of about 724,768 (322)
Generalized Detectability for Discrete Event Systems. [PDF]
Syst Control Lett, 2011 In our previous work, we investigated detectability of discrete event systems, which is defined as the ability to determine the current and subsequent states of a system based on observation. For different applications, we defined four types of detectabilities: (weak) detectability, strong detectability, (weak) periodic detectability, and strong ...
Shu S, Lin F.
europepmc +4 more sources
Event Scheduling in Simulation of Discrete Event Systems with Application on Queuing Systems. [PDF]
المجلة العراقية للعلوم الاحصائية, 2010 Queuing theory and other of discrete and continuous event systems have theory aesthetic but the more assumptions which indepent these theories are not accurate as compared with real situation, also the queue problem is one of the most scientific problems
doaj +1 more source
IEEE Access, 2022 Discrete event system is a type of system, which changes its state based on asynchronously occuring events. One of many approaches of describing this category of systems is a mathematical formalism called the Petri Net.
Erik Kucera +3 more
doaj +1 more source
Exact on-event expressions for discrete potential systems [PDF]
, 2010 The properties of systems composed of atoms interacting though discrete potentials are dictated by a series of events which occur between pairs of atoms.
Leo Lue +3 more
core +1 more source
Observability and Decentralized Control of Fuzzy Discrete Event Systems [PDF]
, 2005 Fuzzy discrete event systems as a generalization of (crisp) discrete event systems have been introduced in order that it is possible to effectively represent uncertainty, imprecision, and vagueness arising from the dynamic of systems.
Cao, Yongzhi, Ying, Mingsheng
core +1 more source
Performance Evaluation of Discrete Event Systems with GPenSIM
Computers, 2018 Petri nets are a useful tool for the modeling and performance evaluation of discrete event systems. Literature reveals that the Petri Net models of real-world discrete event systems are most frequently event graphs (a subclass of Petri nets).
Reggie Davidrajuh +2 more
doaj +1 more source
Compositional nonblocking verificationusing generalised nonblocking abstractions [PDF]
, 2013 This paper proposes a method for compositional verification of the standard and generalized nonblocking properties of large discrete event systems. The method is efficient as it avoids the explicit construction of the complete state space by considering ...
Leduc, Ryan, Malik, Robi
core +2 more sources
A behavioral framework for compositionality: linear systems, discrete event systems and hybrid systems [PDF]
, 2004 In this paper we formulate a general framework based on the behavioral approach to dynamical systems, in which various issues regarding interconnection of systems can be addressed.
Julius, A.A., Schaft, A.J. van der
core +8 more sources
Diagnosability of Vector Discrete-Event Systems Using Predicates
IEEE Access, 2019 The diagnosability problem of faults is studied in the framework of vector discrete-event system (VDES). A VDES is a discrete-event system model in which a system state is represented by a vector with integer components, and state transitions are ...
Qinrui Chen +5 more
doaj +1 more source
Twin‐engined diagnosis of discrete‐event systems
Engineering Reports, 2019 Diagnosis of discrete‐event systems (DESs) is computationally complex. This is why a variety of knowledge compilation techniques have been proposed, the most notable of them rely on a diagnoser.
Nicola Bertoglio +3 more
doaj +1 more source