Results 31 to 40 of about 88,261 (265)

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

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

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, 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

Ligand‐dependent transcriptional heterogeneity in cell cycle gene expression delays G1/S entry

FEBS Letters, EarlyView.
EGF and HRG induce distinct G1/S progression programs in ErbB2‐amplified BT474 breast cancer cells. Despite activating the potent ErbB2–ErbB3 heterodimer, HRG does not accelerate cell‐cycle entry. Instead, EGF promotes earlier restriction‐point passage via ERK–FOS signaling, whereas HRG activates the AKT–MYC axis, driving transcriptional heterogeneity ...
Ririn Rahmala Febri, Ayaka Nagasato‐Ichikawa, Keita Iida, Shuhei Kimura, Akira Imamoto, Mariko Okada   +5 more
wiley   +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

Functional comparison of EncB and EncC cargo proteins in iron storage within the Myxococcus xanthus encapsulin

FEBS Letters, EarlyView.
Encapsulins are protein nanocompartments that play an important role in iron storage. In the Myxococcus xanthus encapsulin system, two cargo proteins called EncB and EncC contribute to iron mineralization. Here, we show that EncB and EncC generate iron‐containing minerals with distinct chemical compositions, suggesting that the composition of stored ...
Harry B. McDowell, Thomas Walther, Egbert Hoiczyk   +2 more
wiley   +1 more source