Robot localization in buried pipes presents a number of challenges, including the unavailability of methods such as a global positioning system, and the limited perspective of sensors such as vision. This paper addres...
详细信息
This paper focuses on formulating and solving the optimization of crude oil operations scheduling carried out in a system composed of a refinery and a marine terminal. The main challenge lies in coordinating the decis...
详细信息
This paper focuses on formulating and solving the optimization of crude oil operations scheduling carried out in a system composed of a refinery and a marine terminal. The main challenge lies in coordinating the decisions made at both facilities and, at the same time, dealing with the uncertainties inherent in this activity. To tackle this problem, we present a continuous-time mixed-integer non-linear programming (MINLP) formulation. Furthermore, uncertainty in the ship arrival times is considered through a two-stage stochastic programming approach. Finally, the Conditional Value-at-Risk (CVaR) risk measure is employed to weigh the risk of having high costs relative to the worst scenarios. In this way, the proposed model is capable of supporting the decision-making process under uncertainty in an integral way.
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.
作者:
Katalin M. HangosSystems and Control Laboratory
Institute for Computer Science and Control Hungary and Department of Electrical Engineering and Information Systems University of Pannonia Hungary
Decomposition offers the potential to reduce the complexity of model-based optimization, prediction, control and diagnosis by accounting for the structure and sparsity of the describing model. Motivated by this fact, ...
ISBN:
(纸本)9781450397117
Decomposition offers the potential to reduce the complexity of model-based optimization, prediction, control and diagnosis by accounting for the structure and sparsity of the describing model. Motivated by this fact, a rich and powerful collection of decomposition methods are available for model based diagnosis of large-scale complex dynamic systems, too. At the same time, one usually does not have enough information about a large-scale complex dynamic system to construct its precise enough model, so a kind of qualitative dynamic model is often used for the diagnosis [1]. Two structural decomposition based qualitative diagnostic methods are presented in this lecture, together with their component-driven system decomposition ***, a model-based diagnostic method is described that is able to detect and isolate non-technical losses (illegal loads) in low voltage electrical grids of one transformer area [2]. As a preliminary off-line step of the diagnosis, a powerful electrical decomposition method is proposed, which breaks down the overall network to subsystems with one feeder layout enabling to make the necessary computations efficient. The diagnostic method is based on analyzing the differences between the measured and model-predicted voltages. The uncertainty in the model parameters together with the measurement uncertainties are also taken into account to make the approach applicable in real-world cases. The proposed method is able to detect and localize multiple illegal loads, and the amount of the illegal consumption can also be *** a second case study, a high level decomposition approach for process system fault diagnosis using event traces is given [3], [4]. Using a simple component graph model behind the process system and the measured trace applied for the diagnosis, the method can find the root cause(s) of propagating failures between separate components. The method can connect individually operating lower-level component-specific diag
Electronic devices in the 21st century have numerous network components, including wireless or wired Internet access modules. Connecting devices to networks and cloud services enables them to access new functionalitie...
Electronic devices in the 21st century have numerous network components, including wireless or wired Internet access modules. Connecting devices to networks and cloud services enables them to access new functionalities and unlock system updates and device security enhancements. The article presents the concept of an intelligent laundry management system based on RFID and cloud computing. The Internet connection not only unlocks additional features of the washing machine, such as different washing modes, but also allows for selecting the appropriate detergent level and washing parameters based on the textile material being washed. Additionally, the paper presents the solution and measurement studies on the accuracy of textile identification.
Modern neural networks models for computer vision are trained on millions of images. The idea is that models are able to increase generalization when the dataset contains well diversified images, e.g. with varied illu...
详细信息
The use of autonomous systems in Intensive Care Units (ICUs) has become incredibly important, especially during the COVID-19 pandemic. This period has overwhelmed both ICUs and hospitals, halting many other medical ac...
详细信息
This paper presents a refined complexity calculus model: r-Complexity, a new asymptotic notation that offers better complexity feedback for similar programs than the traditional Bachmann-Landau notation, providing sub...
详细信息
The paper is devoted to study of the influence of rolling modes on the performance of powerful interconnected electric drives of a hot rolling mill under the action of an electromagnetic coupling circuit between the e...
详细信息
Detecting and delineating brain tumors from MRI images using artificial intelligence presents a complex challenge in medical AI. Recent progress has seen a variety of techniques employed to assist medical professional...
详细信息
暂无评论