Results 1 to 10 of about 724,768 (322)
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 +2 more sources
Optimal Opacity-Enforcing Supervisory Control of Discrete Event Systems on Choosing Cost
Applied SciencesTo ensure opacity, it is optimal to retain as many as possible occurring event sequences. Contrary to this problem, the other optimal goal is to preserve the minimal occurring event sequences.
Yinyin Dai, Fei Wang, Jiliang Luo
doaj +3 more sources
Detectability of Timed Discrete Event Systems
IEEE Access, 2023 This paper introduces T-detectability, which extends detectability to timed discrete event systems within the context of communication networks. We propose network T-detectability to address the challenges posed by observation delays and losses in ...
Chengshi Miao
doaj +1 more source
Overview of Opacity in Discrete Event Systems
IEEE Access, 2020 In recent years, opacity has received increasing attention in terms of analyzing security and privacy problems. Opacity is a confidentiality property that characterizes a system's ability to hide its secret information from any external intruders.
Ye Guo +4 more
doaj +1 more source
Joint State Estimation Under Attack of Discrete Event Systems
IEEE Access, 2021 The problem of state estimation in the setting of partially-observed discrete event systems subject to cyber attacks is considered. An operator observes a plant through a natural projection that hides the occurrence of certain events.
Qi Zhang +3 more
doaj +1 more source
Detectability in Discrete Event Systems Using Unbounded Petri Nets
Mathematics, 2023 This paper investigated the verification of detectability for discrete event systems based on a class of partially observed unbounded Petri nets. In an unbounded net system, all transitions and partial places are assumed to be unobservable.
Haoming Zhu +3 more
doaj +1 more source
Hidden Markov Models as a Process Monitor in Robotic Assembly [PDF]
Modeling, Identification and Control, 1999 A process monitor for robotic assembly based on hidden Markov models (HMMs) is presented. The HMM process monitor is based on the dynamic force/torque signals arising from interaction between the workpiece and the environment.
Geir E. Hovland, Brenan J. McCarragher
doaj +1 more source
Robust predictability in discrete event systems under sensor attacks
Frontiers in Physics, 2023 The problem of robust predictability against sensor attacks is investigated. The objective of a diagnoser is to predict the occurrence of a critical event of a discrete event system (DES) under partial observation.
Qi Zhang
doaj +1 more source
Event-Triggered Disturbance Rejection Control of Discrete Systems
IEEE Access, 2020 This paper considers event-triggered disturbance rejection control for discrete time linear systems. A novel event-based disturbance rejection controller is designed, and sufficient conditions are given to guarantee that the closed-loop system is ...
Peng Cheng +4 more
doaj +1 more source
CANNIBALIZATION POLICIES: ADOPTION IN THE MAINTENANCE OF FLEET SYSTEMS [PDF]
Scientific Journal of Silesian University of Technology. Series Transport, 2023 Fleet systems are considered complex due to the interaction between their units and components. Maintenance management systems face various challenges to achieve acceptable availability and reliability rates at a reasonable cost.
Ermilso DIAZ +2 more
doaj +1 more source