{"title":"Slicing for Dense Smart Factory Network: Current State, Scenarios, Challenges and Expectations","authors":"Regina Ochonu, Josep Vidal","doi":"arxiv-2405.03230","DOIUrl":"https://doi.org/arxiv-2405.03230","url":null,"abstract":"In the era of Industry 4.0, smart factories have emerged as a paradigm shift,\u0000redefining manufacturing with the integration of advanced digital technologies.\u0000Central to this transformation is the deployment of 5G networks, offering\u0000unprecedented levels of connectivity, speed, reliability, and ultra-low\u0000latency. Among the revolutionary features of 5G is network slicing, a\u0000technology that offers enhanced capabilities through the customization of\u0000network resources by allowing multiple logical networks (or slices) to run on\u0000top of a shared physical infrastructure. This capability is particularly\u0000crucial in the densely packed and highly dynamic environment of smart\u0000factories, where diverse applications - from robotic automation to real-time\u0000analytics - demand varying network requirements. In this paper, we present a\u0000comprehensive overview of the integration of slicing in smart factory networks,\u0000emphasizing its critical role in enhancing operational efficiency and\u0000supporting the diverse requirements of future manufacturing processes. We\u0000elaborate on the recent advances, and technical scenarios, including indoor\u0000factory propagation conditions, traffic characteristics, system requirements,\u0000slice-aware radio resource management, network elements, enabling technologies\u0000and current standardisation efforts. Additionally, we identify open research\u0000challenges as well as key technical issues stifling deployments. Finally, we\u0000speculate on the future trajectory of slicing-enabled smart factories,\u0000emphasizing the need for continuous adaptation to emerging technologies.","PeriodicalId":501062,"journal":{"name":"arXiv - CS - Systems and Control","volume":"12 1","pages":""},"PeriodicalIF":0.0,"publicationDate":"2024-05-06","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"140882331","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"Preventive Audits for Data Applications Before Data Sharing in the Power IoT","authors":"Bohong Wang, Qinglai Guo, Yanxi Lin, Yang Yu","doi":"arxiv-2405.02963","DOIUrl":"https://doi.org/arxiv-2405.02963","url":null,"abstract":"With the increase in data volume, more types of data are being used and\u0000shared, especially in the power Internet of Things (IoT). However, the\u0000processes of data sharing may lead to unexpected information leakage because of\u0000the ubiquitous relevance among the different data, thus it is necessary for\u0000data owners to conduct preventive audits for data applications before data\u0000sharing to avoid the risk of key information leakage. Considering that the same\u0000data may play completely different roles in different application scenarios,\u0000data owners should know the expected data applications of the data buyers in\u0000advance and provide modified data that are less relevant to the private\u0000information of the data owners and more relevant to the nonprivate information\u0000that the data buyers need. In this paper, data sharing in the power IoT is\u0000regarded as the background, and the mutual information of the data and their\u0000implicit information is selected as the data feature parameter to indicate the\u0000relevance between the data and their implicit information or the ability to\u0000infer the implicit information from the data. Therefore, preventive audits\u0000should be conducted based on changes in the data feature parameters before and\u0000after data sharing. The probability exchange adjustment method is proposed as\u0000the theoretical basis of preventive audits under simplified consumption, and\u0000the corresponding optimization models are constructed and extended to more\u0000practical scenarios with multivariate characteristics. Finally, case studies\u0000are used to validate the effectiveness of the proposed preventive audits.","PeriodicalId":501062,"journal":{"name":"arXiv - CS - Systems and Control","volume":"2012 1","pages":""},"PeriodicalIF":0.0,"publicationDate":"2024-05-05","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"140882211","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Eleftherios E. Vlahakis, Lars Lindemann, Pantelis Sopasakis, Dimos V. Dimarogonas
{"title":"Probabilistic tube-based control synthesis of stochastic multi-agent systems under signal temporal logic","authors":"Eleftherios E. Vlahakis, Lars Lindemann, Pantelis Sopasakis, Dimos V. Dimarogonas","doi":"arxiv-2405.02827","DOIUrl":"https://doi.org/arxiv-2405.02827","url":null,"abstract":"We consider the control design of stochastic discrete-time linear multi-agent\u0000systems (MASs) under a global signal temporal logic (STL) specification to be\u0000satisfied at a predefined probability. By decomposing the dynamics into\u0000deterministic and error components, we construct a probabilistic reachable tube\u0000(PRT) as the Cartesian product of reachable sets of the individual error\u0000systems driven by disturbances lying in confidence regions (CRs) with a fixed\u0000probability. By bounding the PRT probability with the specification\u0000probability, we tighten all state constraints induced by the STL specification\u0000by solving tractable optimization problems over segments of the PRT, and\u0000convert the underlying stochastic problem into a deterministic one. This\u0000approach reduces conservatism compared to tightening guided by the STL\u0000structure. Additionally, we propose a recursively feasible algorithm to attack\u0000the resulting problem by decomposing it into agent-level subproblems, which are\u0000solved iteratively according to a scheduling policy. We demonstrate our method\u0000on a ten-agent system, where existing approaches are impractical.","PeriodicalId":501062,"journal":{"name":"arXiv - CS - Systems and Control","volume":"111 1","pages":""},"PeriodicalIF":0.0,"publicationDate":"2024-05-05","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"140882697","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"Performance Evaluation of Real-Time Object Detection for Electric Scooters","authors":"Dong Chen, Arman Hosseini, Arik Smith, Amir Farzin Nikkhah, Arsalan Heydarian, Omid Shoghli, Bradford Campbell","doi":"arxiv-2405.03039","DOIUrl":"https://doi.org/arxiv-2405.03039","url":null,"abstract":"Electric scooters (e-scooters) have rapidly emerged as a popular mode of\u0000transportation in urban areas, yet they pose significant safety challenges. In\u0000the United States, the rise of e-scooters has been marked by a concerning\u0000increase in related injuries and fatalities. Recently, while deep-learning\u0000object detection holds paramount significance in autonomous vehicles to avoid\u0000potential collisions, its application in the context of e-scooters remains\u0000relatively unexplored. This paper addresses this gap by assessing the\u0000effectiveness and efficiency of cutting-edge object detectors designed for\u0000e-scooters. To achieve this, the first comprehensive benchmark involving 22\u0000state-of-the-art YOLO object detectors, including five versions (YOLOv3,\u0000YOLOv5, YOLOv6, YOLOv7, and YOLOv8), has been established for real-time traffic\u0000object detection using a self-collected dataset featuring e-scooters. The\u0000detection accuracy, measured in terms of mAP@0.5, ranges from 27.4%\u0000(YOLOv7-E6E) to 86.8% (YOLOv5s). All YOLO models, particularly YOLOv3-tiny,\u0000have displayed promising potential for real-time object detection in the\u0000context of e-scooters. Both the traffic scene dataset\u0000(https://zenodo.org/records/10578641) and software program codes\u0000(https://github.com/DongChen06/ScooterDet) for model benchmarking in this study\u0000are publicly available, which will not only improve e-scooter safety with\u0000advanced object detection but also lay the groundwork for tailored solutions,\u0000promising a safer and more sustainable urban micromobility landscape.","PeriodicalId":501062,"journal":{"name":"arXiv - CS - Systems and Control","volume":"27 1","pages":""},"PeriodicalIF":0.0,"publicationDate":"2024-05-05","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"140882511","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"Harvesting Energy from Soil-Air Temperature Differences for Batteryless IoT Devices: A Case Study","authors":"Priyesh Pappinisseri Puluckul, Maarten Weyn","doi":"arxiv-2405.02986","DOIUrl":"https://doi.org/arxiv-2405.02986","url":null,"abstract":"The temperature difference between soil and air holds the potential to\u0000generate energy to power many low-power IoT devices. However, there is a lack\u0000of studies in the literature that explore the nuances of soil-air thermal\u0000energy harvesting. This paper offers a comprehensive discussion on soil-air\u0000thermal energy harvesting. We engineer a custom Soil-air Thermoelectric\u0000Generator (SoTEG) that incorporates an off-the-shelf TEG and an efficient heat\u0000transfer network. A detailed discussion of the design and analysis of SoTEG is\u0000presented along with a versatile simulation model which can be used to simulate\u0000the performance of the harvester under different ambient conditions.\u0000Investigations using the model and results gathered from experiments\u0000demonstrate that the SoTEG has a heat transfer efficiency of 34.5% with room\u0000for improvement and can power a load from temperature differences as low as 3\u0000{deg}C between soil and air, or 1 {deg}C across the TEG. Power generated by\u0000SoTEG at 3 {deg}C difference amounts to 110 {mu}Wor a power density of\u000011.58mW/m2. When connected to a Power Management Unit (PMU), the combined\u0000system generates around 30 {mu}Wat 3 {deg}C. During a 14-day outdoor\u0000deployment in a winter month, the maximum power generated by the combined\u0000system is 337 {mu}W when the temperature difference across the TEG is 2.75\u0000{deg}C. Additionally, the model analysis reveals that the weather conditions\u0000have an impact on the harvester. While Solar radiation enhances power\u0000generation, wind can either improve or diminish the harvested energy depending\u0000on whether it is day or night.","PeriodicalId":501062,"journal":{"name":"arXiv - CS - Systems and Control","volume":"107 1","pages":""},"PeriodicalIF":0.0,"publicationDate":"2024-05-05","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"140882321","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"Extended State Observer for Mismatch Disturbances Using Taylor Approximation of the Integral","authors":"Cuong Duc Nguyen","doi":"arxiv-2405.02994","DOIUrl":"https://doi.org/arxiv-2405.02994","url":null,"abstract":"The development of disturbance estimators using extended state observers\u0000(ESOs) typically assumes that the system is observable. This paper introduces\u0000an improved method for systems that are initially unobservable, leveraging\u0000Taylor expansion to approximate the integral of disturbance dynamics. A new\u0000extended system is formulated based on this approximation, enabling the design\u0000of an observer that achieves exponential stability of the error dynamics. The\u0000proposed method's efficacy is demonstrated through a practical example,\u0000highlighting its potential for robust disturbance estimation in dynamic\u0000systems.","PeriodicalId":501062,"journal":{"name":"arXiv - CS - Systems and Control","volume":"28 1","pages":""},"PeriodicalIF":0.0,"publicationDate":"2024-05-05","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"140882311","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Zain ul Abdeen, Padmaksha Roy, Ahmad Al-Tawaha, Rouxi Jia, Laura Freeman, Peter Beling, Chen-Ching Liu, Alberto Sangiovanni-Vincentelli, Ming Jin
{"title":"Defense against Joint Poison and Evasion Attacks: A Case Study of DERMS","authors":"Zain ul Abdeen, Padmaksha Roy, Ahmad Al-Tawaha, Rouxi Jia, Laura Freeman, Peter Beling, Chen-Ching Liu, Alberto Sangiovanni-Vincentelli, Ming Jin","doi":"arxiv-2405.02989","DOIUrl":"https://doi.org/arxiv-2405.02989","url":null,"abstract":"There is an upward trend of deploying distributed energy resource management\u0000systems (DERMS) to control modern power grids. However, DERMS controller\u0000communication lines are vulnerable to cyberattacks that could potentially\u0000impact operational reliability. While a data-driven intrusion detection system\u0000(IDS) can potentially thwart attacks during deployment, also known as the\u0000evasion attack, the training of the detection algorithm may be corrupted by\u0000adversarial data injected into the database, also known as the poisoning\u0000attack. In this paper, we propose the first framework of IDS that is robust\u0000against joint poisoning and evasion attacks. We formulate the defense mechanism\u0000as a bilevel optimization, where the inner and outer levels deal with attacks\u0000that occur during training time and testing time, respectively. We verify the\u0000robustness of our method on the IEEE-13 bus feeder model against a diverse set\u0000of poisoning and evasion attack scenarios. The results indicate that our\u0000proposed method outperforms the baseline technique in terms of accuracy,\u0000precision, and recall for intrusion detection.","PeriodicalId":501062,"journal":{"name":"arXiv - CS - Systems and Control","volume":"27 1","pages":""},"PeriodicalIF":0.0,"publicationDate":"2024-05-05","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"140882506","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Rudolf Reiter, Armin Nurkanovic, Daniele Bernadini, Moritz Diehl, Alberto Bemporad
{"title":"A Long-Short-Term Mixed-Integer Formulation for Highway Lane Change Planning","authors":"Rudolf Reiter, Armin Nurkanovic, Daniele Bernadini, Moritz Diehl, Alberto Bemporad","doi":"arxiv-2405.02979","DOIUrl":"https://doi.org/arxiv-2405.02979","url":null,"abstract":"This work considers the problem of optimal lane changing in a structured\u0000multi-agent road environment. A novel motion planning algorithm that can\u0000capture long-horizon dependencies as well as short-horizon dynamics is\u0000presented. Pivotal to our approach is a geometric approximation of the\u0000long-horizon combinatorial transition problem which we formulate in the\u0000continuous time-space domain. Moreover, a discrete-time formulation of a\u0000short-horizon optimal motion planning problem is formulated and combined with\u0000the long-horizon planner. Both individual problems, as well as their\u0000combination, are formulated as MIQP and solved in real-time by using\u0000state-of-the-art solvers. We show how the presented algorithm outperforms two\u0000other state-of-the-art motion planning algorithms in closed-loop performance\u0000and computation time in lane changing problems. Evaluations are performed using\u0000the traffic simulator SUMO, a custom low-level tracking model predictive\u0000controller, and high-fidelity vehicle models and scenarios, provided by the\u0000CommonRoad environment.","PeriodicalId":501062,"journal":{"name":"arXiv - CS - Systems and Control","volume":"107 1","pages":""},"PeriodicalIF":0.0,"publicationDate":"2024-05-05","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"140882141","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"Analysis of the Identifying Regulation with Adversarial Surrogates Algorithm","authors":"Ron Teichner, Ron Meir, Michael Margaliot","doi":"arxiv-2405.02953","DOIUrl":"https://doi.org/arxiv-2405.02953","url":null,"abstract":"Given a time-series of noisy measured outputs of a dynamical system z[k],\u0000k=1...N, the Identifying Regulation with Adversarial Surrogates (IRAS)\u0000algorithm aims to find a non-trivial first integral of the system, namely, a\u0000scalar function g() such that g(z[i]) = g(z[j]), for all i,j. IRAS has been\u0000suggested recently and was used successfully in several learning tasks in\u0000models from biology and physics. Here, we give the first rigorous analysis of\u0000this algorithm in a specific setting. We assume that the observations admit a\u0000linear first integral and that they are contaminated by Gaussian noise. We show\u0000that in this case the IRAS iterations are closely related to the\u0000self-consistent-field (SCF) iterations for solving a generalized Rayleigh\u0000quotient minimization problem. Using this approach, we derive several\u0000sufficient conditions guaranteeing local convergence of IRAS to the correct\u0000first integral.","PeriodicalId":501062,"journal":{"name":"arXiv - CS - Systems and Control","volume":"12 1","pages":""},"PeriodicalIF":0.0,"publicationDate":"2024-05-05","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"140882519","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"Does Optimal Control Always Benefit from Better Prediction? An Analysis Framework for Predictive Optimal Control","authors":"Xiangrui Zeng, Cheng Yin, Zhouping Yin","doi":"arxiv-2405.02809","DOIUrl":"https://doi.org/arxiv-2405.02809","url":null,"abstract":"The ``prediction + optimal control'' scheme has shown good performance in\u0000many applications of automotive, traffic, robot, and building control. In\u0000practice, the prediction results are simply considered correct in the optimal\u0000control design process. However, in reality, these predictions may never be\u0000perfect. Under a conventional stochastic optimal control formulation, it is\u0000difficult to answer questions like ``what if the predictions are wrong''. This\u0000paper presents an analysis framework for predictive optimal control where the\u0000subjective belief about the future is no longer considered perfect. A novel\u0000concept called the hidden prediction state is proposed to establish connections\u0000among the predictors, the subjective beliefs, the control policies and the\u0000objective control performance. Based on this framework, the predictor\u0000evaluation problem is analyzed. Three commonly-used predictor evaluation\u0000measures, including the mean squared error, the regret and the log-likelihood,\u0000are considered. It is shown that neither using the mean square error nor using\u0000the likelihood can guarantee a monotonic relationship between the predictor\u0000error and the optimal control cost. To guarantee control cost improvement, it\u0000is suggested the predictor should be evaluated with the control performance,\u0000e.g., using the optimal control cost or the regret to evaluate predictors.\u0000Numerical examples and examples from automotive applications with real-world\u0000driving data are provided to illustrate the ideas and the results.","PeriodicalId":501062,"journal":{"name":"arXiv - CS - Systems and Control","volume":"13 1","pages":""},"PeriodicalIF":0.0,"publicationDate":"2024-05-05","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"140882516","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}