Results 61 to 70 of about 724,768 (322)

Incremental verification and synthesis of discrete-event systems guided by counter-examples [PDF]

, 2004
This article presents new approaches to system verification and synthesis based on subsystem verification and the novel combined use of counterexamples and heuristics to identify suitable subsystems incrementally.
Brandin, Bertil A., Malik, Petra, Malik, Robi   +2 more
core   +2 more sources

Adaptive iteration learning control with iteration‐varying event‐triggered mechanism for discrete‐time nonlinear systems with random initial states [PDF]

, 2023
Sheng Chai, Miao Yu
openalex   +1 more source

Characterization of Clinical Phenotype to Glial Fibrillary Acidic Protein Concentrations in Alexander Disease

Annals of Clinical and Translational Neurology, EarlyView.
ABSTRACT Objective To determine the concentration of glial fibrillary acidic protein (GFAP) in cerebrospinal fluid (CSF) and plasma in Alexander disease (AxD) and whether GFAP levels are predictive of disease phenotypes. Methods CSF and plasma were collected (longitudinally when available) from AxD participants and non‐AxD controls.
Amy T. Waldman, Asako Takanohashi, Joshua Y. Joung, Geraldine W. Liu, Kaley Arnold, Amy Pizzino, Walter Faig, Sarah Woidill, Sona Narula, Adeline L. Vanderver   +9 more
wiley   +1 more source

Attack-Resilient Supervisory Control of Discrete-Event Systems

, 2020
In this work, we study the problem of supervisory control of discrete-event systems (DES) in the presence of attacks that tamper with inputs and outputs of the plant.
Bozkurt, Alper Kamil, Pajic, Miroslav, Wang, Yu   +2 more
core  

Diffusion Spectrum Imaging Maps Early Axonal Loss and a Unique Progressive Signal in Neuronal Intranuclear Inclusion Disease

Annals of Clinical and Translational Neurology, EarlyView.
ABSTRACT Objective To delineate specific in vivo white matter pathology in neuronal intranuclear inclusion disease (NIID) using diffusion spectrum imaging (DSI) and define its clinical relevance. Methods DSI was performed on 42 NIID patients and 38 matched controls.
Kaiyan Jiang, Yixiu Pei, Xiaobao Hu, Ying Xiong, Fang Wang, Yanyan Yu, Min Zhu, Dandan Tan, Meihong Zhou, Daojun Hong, Fuqing Zhou   +10 more
wiley   +1 more source

The Characteristics and Physical Fitness Characteristics of Track and Field Sprint Events Based on Discrete Dynamic Modeling of Complex Systems [PDF]

, 2022
Zhiwei Zhao
openalex   +1 more source

Development of a Personalized Visualization and Analysis Tool to Improve Clinical Care in Complex Multisystem Diseases With Application to Scleroderma

Arthritis Care &Research, EarlyView.
Objective In complex diseases, it is challenging to assess a patient's disease state, trajectory, treatment exposures, and risk of multiple outcomes simultaneously, efficiently, and at the point of care. Methods We developed an interactive patient‐level data visualization and analysis tool (VAT) that automates illustration of the trajectory of a ...
Ji Soo Kim, John Scott, Lauren Fisher, Lauren N. Smith, Willie Stewart, Adrianne Woods, Rob Smithwright, Diane Koher, Parastoo Aslanbeik, Aalok B. Shah, Brad Tibbils, Samantha I. Pitts, Ayse P. Gurses, Yushi Yang, Ana‐Maria Orbai, Antony Rosen, Laura K. Hummers, Scott L. Zeger, Ami A. Shah   +18 more
wiley   +1 more source

A General Simulation Framework for Supply Chain Modeling: State of the Art and Case Study

, 2010
Nowadays there is a large availability of discrete event simulation software that can be easily used in different domains: from industry to supply chain, from healthcare to business management, from training to complex systems design.
Cimino, Antonio, Longo, Francesco, Mirabelli, Giovanni   +2 more
core   +1 more source

Equivalence of Decentralized Observation, Diagnosis, and Control Problems in Discrete-event Systems [PDF]

, 2022
Richard Ean, Karen Rudie
openalex   +1 more source

Heterogeneity of Rheumatoid Arthritis–Associated Interstitial Lung Disease by Longitudinal Forced Vital Capacity Trajectory and Associations With Disease Outcomes

Arthritis Care &Research, EarlyView.
Objective We aimed to identify unique disease trajectories within rheumatoid arthritis–associated interstitial lung disease (RA‐ILD) based on longitudinal forced vital capacity (FVC) values and their associated clinical outcomes. Methods We performed a cohort study of RA‐ILD within the Veterans Health Administration from 1999 to 2021.
Bryant R. England, Yangyuna Yang, Punyasha Roul, Tate M. Johnson, Scott M. Matson, Grant W. Cannon, Brian C. Sauer, Jeffrey R. Curtis, Joshua F. Baker, Ted R. Mikuls   +9 more
wiley   +1 more source