Results 31 to 40 of about 81,934 (166)
Failure diagnosis in real time stochastic discrete event systems
Engineering Science and Technology, an International Journal, 2015 Discrete Event System (DES) has been used for Failure Detection and Diagnosis (FDD) of a wide range of systems. For real time systems, timed DES based frameworks diagnose failures leading to violation of delays or deadlines.
Chaitali Biswas Dutta, Utpal Biswas
doaj +1 more source
Model Abstraction for Discrete-Event Systems Using a SAT Solver
IEEE Access, 2023 Model abstraction for finite state automata is beneficial to reduce the complexity of discrete-event systems (DES), enhance the readability and facilitate the control synthesis and verification of DES.
Lihong Cheng, Lei Feng
doaj +1 more source
Language Recovery in Discrete-Event Systems against Sensor Deception Attacks
Mathematics, 2023 Cyber-physical systems are characterized by the intrinsic combination of software and physical components that usually include (wired and wireless) communication devices, sensors, actuators, and control processing units. Some wireless devices communicate
Abdeldjalil Labed +5 more
doaj +1 more source
Weak Diagnosability of Discrete Event Systems
IFAC-PapersOnLine, 2020 Abstract In this paper, we propose a weaker property for failure diagnosis called weak diagnosability. Weak diagnosability says that, after the occurrence of a fault event, for any continuation, there always exists at least one trajectory of sufficient length along which we can diagnose the occurrence of the fault event.
Lin Cao 0005 +4 more
openaire +1 more source
Event Concealment in Discrete Event With Observation Losses Systems via Differential Privacy
IEEE AccessThis research addresses the challenge of event concealment in partially observed discrete event systems (DES) modeled as finite-state automata by employing differential privacy.
Rong Zhao +2 more
doaj +1 more source
A Specification Patterns System for Discrete Event Systems Analysis
International Journal of Advanced Robotic Systems, 2013 As formal verification tools gain popularity, the problem arises of making them more accessible to engineers. A correct understanding of the logics used to express the properties of a system's behaviour is needed in order to guarantee that properties ...
Jose Creissac Campos, Jose Machado
doaj +1 more source
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 ...
Grastien A., Torta G.
openaire +3 more sources
Discrete Event Modeling and Simulation for Reinforcement Learning System Design
Information, 2022 Discrete event modeling and simulation and reinforcement learning are two frameworks suited for cyberphysical system design, which, when combined, can give powerful tools for system optimization or decision making process for example.
Laurent Capocchi +1 more
doaj +1 more source
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},
Michael Heymann, Feng Lin
openaire +2 more sources
Commissioning of a production line in the discrete event simulation software Ururau
GEPROS: Gestão da Produção, Operações e Sistemas, 2017 The aim of this work was to demonstrate the utilization of a discrete event simulation model built with the Ururau software integrated to a programmable logic controller to be applied in commissioning of control systems.
Quézia Manuela Gonçalves Laurindo +5 more
doaj +1 more source