Results 31 to 40 of about 82,736 (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

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

Infantile Central Nervous System Juvenile Xanthogranuloma With Somatic CSF1R Mutation Responsive to Imatinib Monotherapy

Pediatric Blood &Cancer, EarlyView.
ABSTRACT Juvenile xanthogranuloma (JXG) of the central nervous system (CNS) is a rare non‐Langerhans cell histiocytosis. CSF1R mutations have been reported for peripheral JXG, but not in CNS JXG. A 3‐month‐old male presented with fever, lymphadenopathy, and macrocephaly with bulging fontanelles.
Sima Vazquez, Kayla Etienne, Long Di, Valerie Martinez‐Torres, Andrew Rosenberg, Sakir H. Gultekin, Aditi Dhir, Bradley Gampel, Heather J. McCrea   +8 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

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   +1 more source

Determining Parental Factors for Clinical Trial Attrition in Pediatric Acute Lymphoblastic Leukemia

Pediatric Blood &Cancer, EarlyView.
ABSTRACT Background/Objectives Despite high enrollment rates on Children's Oncology Group (COG) protocols, attrition after initial consent is challenging, introducing bias and prolonging trial completion. While adult oncology literature has identified predictors of withdrawal, little is known about caregiver decision‐making for child participation in ...
Kimberly L. Stathas, Jakob Q. Weiss, Kellee N. Parker, Cathy Lee‐Miller   +3 more
wiley   +1 more source

Structural insights and therapeutic targets in Acinetobacter baumannii capsule biosynthesis

FEBS Letters, EarlyView.
Hypervirulent KL49 A. baumannii's capsular polysaccharide contains the nonulosonic acid 8‐epi‐Leg5,7Ac2, synthesized by epimerization via ElaA, ElaB, and ElaC. Crystal structures of ElaA, ElaB, and ElaC reveal their role in CMP‐Leg5,7Ac2 synthesis and regioselective C8 epimerization.
Woo Cheol Lee, Junho Jeong, Chae Yeong Lee, Hyunjoon Cho, Man Hwan Oh, Je Chul Lee, Jee‐Young Lee, Yangmee Kim   +7 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

Modelling stem cell differentiation related processes—A practical overview for biologists

FEBS Letters, EarlyView.
Stem cell differentiation is complex and difficult to control experimentally. This review introduces suitable computational modelling approaches that can support stem cell research, from mechanistic ODE and abstract models to multiscale and deep learning methods.
Ricco Zeegelaar, Xinqi Yan, Lucas F. Jansen Klomp, Stefano Schivo, Janine N. Post   +4 more
wiley   +1 more source