Results 41 to 50 of about 87,788 (265)

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, Shaolong Shu, Feng Lin 0001, Qijun Chen, Chengju Liu   +4 more
openaire   +2 more sources

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

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 ...
A. Grastien, TORTA, GIANLUCA
openaire   +4 more sources

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, Ikram Saadaoui, Hanyu E, Mohammed A. El-Meligy, Zhiwu Li, Mohamed Sharaf   +5 more
doaj   +1 more source

Investigating transcription factor dynamics in health and disease using FRAP

FEBS Letters, EarlyView.
FRAP analysis of GFP‐tagged transcription factors reveals how molecular mobility and target engagement change in response to drug treatment. By combining live‐cell imaging, quantitative model fitting, and statistical analysis, this approach uncovers transcription factor dynamics linked to disease mechanisms, providing a powerful framework for ...
Kannan Govindaraj, Carolina Vazquez Garzon, Jose Joaquin Velasco, Janine N. Post   +3 more
wiley   +1 more source

Event Concealment in Discrete Event With Observation Losses Systems via Differential Privacy

IEEE Access
This 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, Abdulrahman Al-Ahmari, Zhiwu Li   +2 more
doaj   +1 more source

Golgi enzymes are retrieved from the plasma membrane to the trans‐Golgi network

FEBS Letters, EarlyView.
Golgi enzymes are traditionally considered resident proteins retained within the Golgi apparatus. Here, we demonstrate that a subset transiently reaches the cell surface and is subsequently retrieved to the trans‐Golgi network via retrograde transport. Using a nanobody‐based toolkit, we uncover a dynamic trafficking cycle of several Golgi enzymes.
Dominik P. Buser, Tina Junne
wiley   +1 more source

Detectability of discrete event systems with dynamic event observation [PDF]

Systems & Control Letters, 2009
Our previous work considers detectability of discrete event systems which is to determine the current state and subsequent states of a system based on event observation. We assume that event observation is static, that is, if an event is observable, then all its occurrences are observable.
Shaolong Shu, Feng Lin 0001
openaire   +4 more sources

Discrete Event Simulation of Hybrid Systems [PDF]

SIAM Journal on Scientific Computing, 2004
Summary: This paper describes the quantization-based integration methods and extends their use to the simulation of hybrid systems. Using the fact that these methods approximate ordinary differential equations (ODEs) and differential algebraic equations (DAEs) by discrete event systems, it is shown how hybrid systems can be approximated by pure ...
openaire   +3 more sources

Small RNA pathways in mammalian oocytes

FEBS Open Bio, EarlyView.
Three distinct small RNA pathways operate in mammalian oocytes: RNAi interference (RNAi), the microRNA (miRNA) pathway, and the PIWI‐associated RNA (piRNA) pathway. These pathways use small RNAs to guide sequence‐specific repression and contribute to oocyte biology by targeting genes and mobile elements or appear insignificant since different ...
Petr Svoboda, Josef Pasulka
wiley   +1 more source