A new formal approach to safe response time upper bound evaluation for distributed control systems using dioid algebra.

ISA Trans

LURPA, ENS Paris-Saclay, 4 ave. des Sciences, 91190 Gif-sur-Yvette, France; LIPN, University of Sorbonne Paris-Nord, 99 Av. Jean Baptiste Clément, 93430 Villetaneuse, France. Electronic address:

Published: November 2024

This paper presents an approach to computing a safe upper bound of the response time of Distributed Control System (DCS). From a graphical model of live autonomous Timed Event Graphs (TEGs) with asynchronous links and weights, we draw algebraic representations of the time/event dynamics using the M〚γ,δ〛 dioid. By introducing scalers and two operators for handling batching or multiplying events, we are able to calculate the trajectories and transfer functions. With deterministic and worst-case hypotheses, the worst delays induced by the model is then computed, composing an upper bound for the response time. We validate the method through a numerical application, confronted to experimental measurements. The method is modular, can be automated and is easily used to any DCS modelled with TEGs.

Download full-text PDF

Source
http://dx.doi.org/10.1016/j.isatra.2024.10.021DOI Listing

Publication Analysis

Top Keywords

response time
12
upper bound
12
distributed control
8
bound response
8
formal approach
4
approach safe
4
safe response
4
time upper
4
bound evaluation
4
evaluation distributed
4

Similar Publications

Glioblastoma multiforme (GBM) is a highly invasive and fatal brain tumor with a grim prognosis, where current treatment modalities, including postoperative radiotherapy and temozolomide chemotherapy, yield a median survival of only 15 months. The challenges of tumor heterogeneity, drug resistance, and the blood-brain barrier necessitate innovative therapeutic approaches. This study introduces a strategy employing biomimetic magnetic nanorobots encapsulated with hybrid membranes derived from platelets and M1 macrophages to enhance blood-brain barrier penetration and target GBM.

View Article and Find Full Text PDF

Enhancing the CO Oxidation Performance of Copper by Alloying with Immiscible Tantalum.

ACS Appl Mater Interfaces

January 2025

School of Materials and Energy, Lanzhou University, Lanzhou 730000, China.

Copper-tantalum (Cu-Ta) immiscible alloy nanoparticles (NPs) have been the subject of extensive research in the field of structural materials, due to their exceptional nanostructural stability and high-temperature creep properties. However, Cu is also a highly active oxidation catalyst due to its abundant valence changes. In this study, we have for the first time obtained homogeneous CuTa ( = 0.

View Article and Find Full Text PDF

Simultaneous and Ultraspecific Optical Detection of Multiple miRNAs Using a Liquid Flow-Based Microfluidic Assay.

ACS Appl Mater Interfaces

January 2025

Department of Chemistry, Yeungnam University, 280 Daehak-ro, Gyeongsan-si, Gyeongsangbuk-do 38541, Republic of Korea.

Recent studies have reported that the cause and progression of many diseases are closely related to complex and diverse gene regulation involving multiple microRNAs (miRNAs). However, most existing methods for miRNA detection typically deal with one sample at a time, which limits the achievement of high diagnostic accuracy for diseases associated with multiple gene dysregulations. Herein, we develop a liquid flow-based microfluidic optical assay for the simple and reliable detection of two different target miRNAs simultaneously at room temperature without any enzymatic reactions.

View Article and Find Full Text PDF

This study aimed to produce a novel resistant maltodextrin (RMD) from the remaining starch in cassava pulp via pyrodextrinization and enzymatic hydrolysis. The optimum conditions involved a temperature of 180 °C, 0.5 % HCl, and a reaction time of 5 h, resulting in a significant RMD yield (18.

View Article and Find Full Text PDF

Background/aims: The objectives of this real-world study were to determine 1-year persistence with vedolizumab in patients with ulcerative colitis and to evaluate factors contributing to loss of response.

Methods: In this multicenter, retrospective, observational chart review, patients with moderately to severely active ulcerative colitis who received ≥ 1 dose of vedolizumab in clinical practice at 16 tertiary hospitals in Japan (from December 2018 through February 2020) were enrolled.

Results: Persistence with vedolizumab was 64.

View Article and Find Full Text PDF

Want AI Summaries of new PubMed Abstracts delivered to your In-box?

Enter search terms and have AI summaries delivered each week - change queries or unsubscribe any time!