This paper addresses the control synthesis of heterogeneous stochastic linear multi-agent systems with realtime allocation of signal temporal logic (STL) specifications. Based on previous work, we decompose specificat...
详细信息
ISBN:
(数字)9798350316339
ISBN:
(纸本)9798350316346
This paper addresses the control synthesis of heterogeneous stochastic linear multi-agent systems with realtime allocation of signal temporal logic (STL) specifications. Based on previous work, we decompose specifications into subspecifications on the individual agent level. To leverage the efficiency of task allocation, a heuristic filter evaluates potential task allocation based on STL robustness, and subsequently, an auctioning algorithm determines the definitive allocation of specifications. Finally, a control strategy is synthesized for each agent-specification pair using tube-based model predictive control (MPC), ensuring provable probabilistic satisfaction. We demonstrate the efficacy of the proposed methods using a multi-shuttle scenario that highlights a promising extension to automated driving applications like vehicle routing.
This article used finite element (FE) analysis to study and analyze the electrical conductivity profile of simulated stroke patients based on a 45 dB signal-to-noise ratio synthesized measurement. Clinical measurement...
详细信息
Multiple Effect Evaporator (MEE) is an imperative part of the paper industry. It is used to process the waste byproduct named Black Liquor to enhance its solid concentration that may be further utilized to produce bio...
详细信息
Subsystem reduction of interconnected systems provides a computationally cheap and structure-preserving alternative to direct model order reduction techniques of large-scale systems. Unfortunately, for this method, er...
详细信息
This paper addresses the parameter design problem of magnetic couplers and proposes a multi-objective optimization design method based on the Metamodel of Optimal Prognosis (MOP). The method involves mathematically fi...
详细信息
ISBN:
(数字)9798350359558
ISBN:
(纸本)9798350359565
This paper addresses the parameter design problem of magnetic couplers and proposes a multi-objective optimization design method based on the Metamodel of Optimal Prognosis (MOP). The method involves mathematically fitting optimization objectives and design parameters using the optimal predictive metamodel, thereby establishing response surfaces for multi-objective optimization. By transforming finite element calculations of the magnetic coupler into numerical computations through fitting, the optimization process is accelerated. The parameters ultimately selected are verified through simulation, thus validating the effectiveness of the proposed optimization method.
Biomedical signals are extremely difficult to analyze, mainly due to the non-stationary nature of these signals. Filtering does not always bring the desired results, because often the desired information is filtered o...
详细信息
In this paper, we propose an algorithm for detecting artifacts in long-term video-EEG monitoring data in the problem of diagnosing cerebral ischemia after subarachnoid hemorrhage. The algorithm is based on a threshold...
详细信息
As a decentralized machine learning approach, federated learning has become a key solution for numerous applications. However, one primary challenge lies in the data heterogeneity issue when developing effective feder...
详细信息
In practical applications, wireless charging systems (WCS) should solve unavoidable misalignment problems and realize stable output over a wide load range. Therefore, a detuned WCS with solid anti-misalignment capacit...
详细信息
ISBN:
(数字)9798350359558
ISBN:
(纸本)9798350359565
In practical applications, wireless charging systems (WCS) should solve unavoidable misalignment problems and realize stable output over a wide load range. Therefore, a detuned WCS with solid anti-misalignment capacity and constant power (CP) output over a wide load range using the overlapping coil magnetic coupler (OCMC) and Buck converter is proposed in this paper. First, the system structure is designed, and then the relationship between the mutual inductance, load resistance, and output power is investigated. Second, the detailed coupling characteristic of the optimized OCMC is analyzed. Finally, the closed-loop workflow of the WCS is described, and simulation results are given.
Human gait analysis provides qualitative and quantitative information concerning different characteristics of walking of a certain person. Cloud computing proves to be a modern and valuable technology when dealing wit...
详细信息
ISBN:
(数字)9798331532147
ISBN:
(纸本)9798331532154
Human gait analysis provides qualitative and quantitative information concerning different characteristics of walking of a certain person. Cloud computing proves to be a modern and valuable technology when dealing with data scalability, security and efficiency of processing and storage. Also, this paradigm has some key-benefits like real-time data sharing, fast computation as well as collaborative research. The applications gamut which uses cloud computing is getting bigger and bigger, and healthcare sector is an important domain in this respect. Our approach proposed a cloud-based service designed for the automated assessment of medical rehabilitation of human gait by using video processing. We have chosen this processing technology because it is marker-less, allows fast computation and offers a very good precision of the gait analysis. Cloud computing approach proved to be encouraging and underscores remarkable advantages in comparison with traditional on-site video processing. In this way the patient, after a short training session, can himself/herself make tests and assessments of his/her mobility status, avoiding many consultations of medical or kineto-therapeutic staff.
暂无评论