arXiv - EE - Systems and Control最新文献_第5页

Closed-loop Analysis of ADMM-based Suboptimal Linear Model Predictive Control 基于 ADMM 的次优线性模型预测控制的闭环分析

arXiv - EE - Systems and Control Pub Date : 2024-09-17 DOI: arxiv-2409.11351

Anusha Srikanthan, Aren Karapetyan, Vijay Kumar, Nikolai Matni

引用次数: 0

Distributed Deep Koopman Learning for Nonlinear Dynamics 非线性动力学的分布式深度库普曼学习

arXiv - EE - Systems and Control Pub Date : 2024-09-17 DOI: arxiv-2409.11586

Wenjian Hao, Lili Wang, Ayush Rai, Shaoshuai Mou

引用次数: 0

Black-box Stealthy GPS Attacks on Unmanned Aerial Vehicles 对无人驾驶飞行器的黑盒隐形 GPS 攻击

arXiv - EE - Systems and Control Pub Date : 2024-09-17 DOI: arxiv-2409.11405

Amir Khazraei, Haocheng Meng, Miroslav Pajic

引用次数: 0

Fast and Post-Quantum Authentication for Real-time Next Generation Networks with Bloom Filter 利用 Bloom 过滤器为下一代实时网络提供快速和后量子认证

arXiv - EE - Systems and Control Pub Date : 2024-09-17 DOI: arxiv-2409.10813

Kiarash Sedghighadikolaei, Attila A Yavuz

{"title":"Fast and Post-Quantum Authentication for Real-time Next Generation Networks with Bloom Filter","authors":"Kiarash Sedghighadikolaei, Attila A Yavuz","doi":"arxiv-2409.10813","DOIUrl":"https://doi.org/arxiv-2409.10813","url":null,"abstract":"Large-scale next-generation networked systems like smart grids and vehicular\u0000networks facilitate extensive automation and autonomy through real-time\u0000communication of sensitive messages. Digital signatures are vital for such\u0000applications since they offer scalable broadcast authentication with\u0000non-repudiation. Yet, even conventional secure signatures (e.g., ECDSA, RSA)\u0000introduce significant cryptographic delays that can disrupt the safety of such\u0000delay-aware systems. With the rise of quantum computers breaking conventional\u0000intractability problems, these traditional cryptosystems must be replaced with\u0000post-quantum (PQ) secure ones. However, PQ-secure signatures are significantly\u0000costlier than their conventional counterparts, vastly exacerbating delay\u0000hurdles for real-time applications. We propose a new signature called Time Valid Probabilistic Data Structure\u0000HORS (TVPD-HORS) that achieves significantly lower end-to-end delay with a\u0000tunable PQ-security for real-time applications. We harness special\u0000probabilistic data structures as an efficient one-way function at the heart of\u0000our novelty, thereby vastly fastening HORS as a primitive for NIST PQ\u0000cryptography standards. TVPD-HORS permits tunable and fast processing for\u0000varying input sizes via One-hash Bloom Filter, excelling in time valid cases,\u0000wherein authentication with shorter security parameters is used for short-lived\u0000yet safety-critical messages. We show that TVPD-HORS verification is 2.7x and\u00005x faster than HORS in high-security and time valid settings, respectively.\u0000TVPD-HORS key generation is also faster, with a similar signing speed to HORS.\u0000Moreover, TVPD-HORS can increase the speed of HORS variants over a magnitude of\u0000time. These features make TVPD-HORS an ideal primitive to raise high-speed time\u0000valid versions of PQ-safe standards like XMSS and SPHINCS+, paving the way for\u0000real-time authentication of next-generation networks.","PeriodicalId":501175,"journal":{"name":"arXiv - EE - Systems and Control","volume":"26 1","pages":""},"PeriodicalIF":0.0,"publicationDate":"2024-09-17","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"142264034","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}

引用次数: 0

Robust Attitude Estimation with Quaternion Left-Invariant EKF and Noise Covariance Tuning 利用四元数左变 EKF 和噪声协方差调整进行鲁棒姿态估计

arXiv - EE - Systems and Control Pub Date : 2024-09-17 DOI: arxiv-2409.11496

Yash Pandey, Rahul Bhattacharyya, Yatindra Nath Singh

引用次数: 0

Bearing-based Target Localisation in Search and Rescue Scenarios 搜救场景中基于轴承的目标定位

arXiv - EE - Systems and Control Pub Date : 2024-09-17 DOI: arxiv-2409.11221

Giulia Michieletto, Nicola Mimmo, Roberto Naldi, Angelo Cenedese

引用次数: 0

A Model-Free Optimal Control Method With Fixed Terminal States and Delay 具有固定终端状态和延迟的无模型最优控制方法

arXiv - EE - Systems and Control Pub Date : 2024-09-16 DOI: arxiv-2409.10722

Mi Zhou, Erik Verriest, Chaouki Abdallah

引用次数: 0

Safety Verification and Navigation for Autonomous Vehicles based on Signal Temporal Logic Constraints 基于信号时态逻辑约束的自动驾驶汽车安全验证与导航

arXiv - EE - Systems and Control Pub Date : 2024-09-16 DOI: arxiv-2409.10689

Aditya Parameshwaran, Yue Wang

{"title":"Safety Verification and Navigation for Autonomous Vehicles based on Signal Temporal Logic Constraints","authors":"Aditya Parameshwaran, Yue Wang","doi":"arxiv-2409.10689","DOIUrl":"https://doi.org/arxiv-2409.10689","url":null,"abstract":"The software architecture behind modern autonomous vehicles (AV) is becoming\u0000more complex steadily. Safety verification is now an imminent task prior to the\u0000large-scale deployment of such convoluted models. For safety-critical tasks in\u0000navigation, it becomes imperative to perform a verification procedure on the\u0000trajectories proposed by the planning algorithm prior to deployment. Signal\u0000Temporal Logic (STL) constraints can dictate the safety requirements for an AV.\u0000A combination of STL constraints is called a specification. A key difference\u0000between STL and other logic constraints is that STL allows us to work on\u0000continuous signals. We verify the satisfaction of the STL specifications by\u0000calculating the robustness value for each signal within the specification.\u0000Higher robustness values indicate a safer system. Model Predictive Control\u0000(MPC) is one of the most widely used methods to control the navigation of an\u0000AV, with an underlying set of state and input constraints. Our research aims to\u0000formulate and test an MPC controller, with STL specifications as constraints,\u0000that can safely navigate an AV. The primary goal of the cost function is to\u0000minimize the control inputs. STL constraints will act as an additional layer of\u0000constraints that would change based on the scenario and task on hand. We\u0000propose using sTaliro, a MATLAB-based robustness calculator for STL\u0000specifications, formulated in a receding horizon control fashion for an AV\u0000navigation task. It inputs a simplified AV state space model and a set of STL\u0000specifications, for which it constructs a closed-loop controller. We test out\u0000our controller for different test cases/scenarios and verify the safe\u0000navigation of our AV model.","PeriodicalId":501175,"journal":{"name":"arXiv - EE - Systems and Control","volume":"66 1","pages":""},"PeriodicalIF":0.0,"publicationDate":"2024-09-16","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"142264032","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}

引用次数: 0

Predictive Energy Management for Recuperation Axles in Refrigerated Trailers 冷藏拖车回收轴的预测性能源管理

arXiv - EE - Systems and Control Pub Date : 2024-09-16 DOI: arxiv-2409.10414

Dennis Bank, Simon F. G. Ehlers, Karl-Philipp Kortmann, Tobias Zeller, Patrick Cujic, Thomas Seel

引用次数: 0

Recurrent Graph Transformer Network for Multiple Fault Localization in Naval Shipboard Systems 用于海军舰载系统多重故障定位的递归图变换器网络

arXiv - EE - Systems and Control Pub Date : 2024-09-16 DOI: arxiv-2409.10792

Quang-Ha Ngo, Isabel Barnola, Tuyen Vu, Jianhua Zhang, Harsha Ravindra, Karl Schoder, Herbert Ginn

{"title":"Recurrent Graph Transformer Network for Multiple Fault Localization in Naval Shipboard Systems","authors":"Quang-Ha Ngo, Isabel Barnola, Tuyen Vu, Jianhua Zhang, Harsha Ravindra, Karl Schoder, Herbert Ginn","doi":"arxiv-2409.10792","DOIUrl":"https://doi.org/arxiv-2409.10792","url":null,"abstract":"The integration of power electronics building blocks in modern MVDC 12kV\u0000Naval ship systems enhances energy management and functionality but also\u0000introduces complex fault detection and control challenges. These challenges\u0000strain traditional fault diagnostic methods, making it difficult to detect and\u0000manage faults across multiple locations while maintaining system stability and\u0000performance. This paper proposes a temporal recurrent graph transformer network\u0000for fault diagnosis in naval MVDC 12kV shipboard systems. The deep graph neural\u0000network uses gated recurrent units to capture temporal features and a\u0000multi-head attention mechanism to extract spatial features, enhancing\u0000diagnostic accuracy. The approach effectively identifies and evaluates\u0000successive multiple faults with high precision. The method is implemented and\u0000validated on the MVDC 12kV shipboard system designed by the ESDRC team,\u0000incorporating all key components. Results show significant improvements in\u0000fault localization accuracy, with a 1-4% increase in performance metrics\u0000compared to other machine learning methods.","PeriodicalId":501175,"journal":{"name":"arXiv - EE - Systems and Control","volume":"92 1","pages":""},"PeriodicalIF":0.0,"publicationDate":"2024-09-16","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"142264326","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}

引用次数: 0