Results 21 to 30 of about 114,425 (266)
Generalized detectability for discrete event systems [PDF]
Systems & Control Letters, 2011 In our previous work, we investigated detectability of discrete event systems, which is defined as the ability to determine the current and subsequent states of a system based on observation. For different applications, we defined four types of detectabilities: (weak) detectability, strong detectability, (weak) periodic detectability, and strong ...
Shaolong Shu, Feng Lin 0001
openaire +2 more sources
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
Diagnosis of Deep Discrete-Event Systems
Journal of Artificial Intelligence Research, 2020 An abduction-based diagnosis technique for a class of discrete-event systems (DESs), called deep DESs (DDESs), is presented. A DDES has a tree structure, where each node is a network of communicating automata, called an active unit (AU). The interaction of components within an AU gives rise to emergent events.
Lamperti, Gian Franco +2 more
openaire +3 more sources
Accelerated Simulation of Discrete Event Dynamic Systems via a Multi-Fidelity Modeling Framework
Applied Sciences, 2017 Simulation analysis has been performed for simulation experiments of all possible input combinations as a “what-if” analysis, which causes the simulation to be extremely time-consuming.
Seon Han Choi +2 more
doaj +1 more source
Calculating Restart States for Systems Modeled by Operations Using Supervisory Control Theory
Machines, 2013 This paper presents a supervisory control theory based offline method for calculating restart states in a manufacturing control system. Given these precalculated restart states, an operator can be given correct instructions for how to resynchronize the ...
Patrik Bergagård, Martin Fabian
doaj +1 more source
Modelling Helmet Manufacturing System Using Discrete Event Simulation
Engineering ProceedingsWe simulated the manufacturing production line in a micro, small, and medium enterprise (MSME) to assess the efficiency of a helmet product organization, using ARENA simulation modelling software version 15.10.00000.
Khoong Tai Wai +5 more
doaj +1 more source
Discrete-Time Event-Triggered Control of Nonlinear Wireless Networked Control Systems
Abstract and Applied Analysis, 2014 This paper investigates the problem of stabilization of nonlinear discrete-time networked control systems (NCSs) with event-triggering communication scheme in the presence of signal transmission delay.
Songlin Hu +3 more
doaj +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 +3 more
wiley +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 +4 more
openaire +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 +7 more
wiley +1 more source