Diagnosability Enforcement in Discrete Event Systems Using Labeled Petri Nets
IEEE AccessThis research solves the problem of diagnosability enforcement in discrete event systems modeled by labeled Petri nets. Since fault diagnosis relies on system observations, the detection of the occurrence of faults can be interfered with by deadlocks ...
Wei Wei, Abdulrahman Al-Ahmari, Zhiwu Li
doaj +1 more source
PRODUCTION SYSTEM MODELING AND SIMULATION USING DEVS FORMALISM
Revista EIAThis article presents the Discrete Event System Specification (DEVS) formalism, in their atomic and coupled configurations; it is used for discrete event systems modeling and simulation.
Darío Amaya Hurtado +3 more
doaj
Identification of unobservable behavior in stochastic discrete event systems with a low number of sensors. [PDF]
MethodsX, 2023 Santillán-Mosquera R, Muñoz-Añasco M.
europepmc +1 more source
Critical Observability Enforcement in Discrete Event Systems Using Differential Privacy
MathematicsIn the context of discrete event systems (DESs), critical states usually refer to a system configuration of interest, describing certain important system properties, e.g., fault diagnosability, state/language opacity, and state/event concealment ...
Jie Zhang, Zhiwu Li
doaj +1 more source
Selection of a stealthy and harmful attack function in discrete event systems. [PDF]
Sci Rep, 2022 Zhang Q, Seatzu C, Li Z, Giua A.
europepmc +1 more source
Current-state opacity verification in discrete event systems using an observer net. [PDF]
Sci Rep, 2022 Labed A, Saadaoui I, Wu N, Yu J, Li Z.
europepmc +1 more source
Model abstraction for discrete-event systems by binary linear programming with applications to manufacturing systems. [PDF]
Sci Prog, 2021 Cheng L, Feng L, Li Z.
europepmc +1 more source
A Numerical Study of Quantization-Based Integrators
ITM Web of Conferences, 2014 Adaptive step size solvers are nowadays considered fundamental to achieve efficient ODE integration. While, traditionally, ODE solvers have been designed based on discrete time machines, new approaches based on discrete event systems have been proposed ...
Barros Fernando
doaj +1 more source
Managing bottlenecks in manual automobile assembly systems using discrete event simulation
South African Journal of Industrial Engineering, 2013 Batch model lines are quite handy when the demand for each product is moderate. However, they are characterised by high work-in-progress inventories, lost production time when changing over models, and reduced flexibility when it comes to altering ...
Dewa, M., Chidzuu, L.
doaj +1 more source
Discrete-Time Event-Triggered Control of Nonlinear Wireless Networked Control Systems
Abstract and Applied Analysis, 2014 This paper investigates the problem of stabilization of nonlinear discrete-time networked control systems (NCSs) with event-triggering communication scheme in the presence of signal transmission delay.
Songlin Hu +3 more
doaj +1 more source