Results 41 to 50 of about 724,768 (322)

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

Probabilistic Reachability Analysis for Large Scale Stochastic Hybrid Systems [PDF]

, 2007
This paper studies probabilistic reachability analysis for large scale stochastic hybrid systems (SHS) as a problem of rare event estimation. In literature, advanced rare event estimation theory has recently been embedded within a stochastic analysis ...
Bakker, G.J., Blom, H.A.P., Krystul, J.
core   +2 more sources

Interplay between circadian and other transcription factors—Implications for cycling transcriptome reprogramming

FEBS Letters, EarlyView.
This perspective highlights emerging insights into how the circadian transcription factor CLOCK:BMAL1 regulates chromatin architecture, cooperates with other transcription factors, and coordinates enhancer dynamics. We propose an updated framework for how circadian transcription factors operate within dynamic and multifactorial chromatin landscapes ...
Xinyu Y. Nie, Jerome S. Menet
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

Similarity-Based Supervisory Control of Discrete Event Systems [PDF]

, 2004
Due to the appearance of uncontrollable events in discrete event systems, one may wish to replace the behavior leading to the uncontrollability of pre-specified language by some quite similar one.
Cao, Yongzhi, Ying, Mingsheng
core   +3 more sources

Time after time – circadian clocks through the lens of oscillator theory

FEBS Letters, EarlyView.
Oscillator theory bridges physics and circadian biology. Damped oscillators require external drivers, while limit cycles emerge from delayed feedback and nonlinearities. Coupling enables tissue‐level coherence, and entrainment aligns internal clocks with environmental cues.
Marta del Olmo, Carolin Ector, Hanspeter Herzel   +2 more
wiley   +1 more source

Improving PARP inhibitor efficacy in bladder cancer without genetic BRCAness by combination with PLX51107

Molecular Oncology, EarlyView.
Clinical trials on PARP inhibitors in urothelial carcinoma (UC) showed limited efficacy and a lack of predictive biomarkers. We propose SLFN5, SLFN11, and OAS1 as UC‐specific response predictors. We suggest Talazoparib as the better PARP inhibitor for UC than Olaparib.
Jutta Schmitz, Anna L. Bartkowiak, Michael Rose, Nora Kolks, Patrick Petzsch, Vandana Solanki, Anne Stoffel, Bianca Faßbender, Leandra Lepping, Julka Volkamer, Karl Köhrer, Marc Seifert, Tokameh Mahmoudi, Tahlita C. M. Zuiverloon, Günter Niegisch, Michèle J. Hoffmann   +15 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

RaMBat: Accurate identification of medulloblastoma subtypes from diverse data sources with severe batch effects

Molecular Oncology, EarlyView.
To integrate multiple transcriptomics data with severe batch effects for identifying MB subtypes, we developed a novel and accurate computational method named RaMBat, which leveraged subtype‐specific gene expression ranking information instead of absolute gene expression levels to address batch effects of diverse data sources.
Mengtao Sun, Jieqiong Wang, Shibiao Wan
wiley   +1 more source