Systems and Control

Authors and titles for November 2024

[501] arXiv:2411.18798 (cross-list from cs.CR) [pdf, html, other]

Title: Formal Verification of Digital Twins with TLA and Information Leakage Control

Luwen Huang, Lav R. Varshney, Karen E. Willcox

Comments: 23 pages

Subjects: Cryptography and Security (cs.CR); Distributed, Parallel, and Cluster Computing (cs.DC); Information Theory (cs.IT); Systems and Control (eess.SY)

[502] arXiv:2411.18806 (cross-list from cs.LG) [pdf, html, other]

Title: One-Step Early Stopping Strategy using Neural Tangent Kernel Theory and Rademacher Complexity

Daniel Martin Xavier, Ludovic Chamoin, Jawher Jerray, Laurent Fribourg

Comments: 7 pages, 2 figures

Subjects: Machine Learning (cs.LG); Systems and Control (eess.SY)

[503] arXiv:2411.19000 (cross-list from cs.HC) [pdf, other]

Title: An AI-driven multimodal smart home platform for continuous monitoring and intelligent assistance in post-stroke patients

Chenyu Tang, Ruizhi Zhang, Shuo Gao, Zihe Zhao, Zibo Zhang, Jiaqi Wang, Cong Li, Junliang Chen, Yanning Dai, Shengbo Wang, Ruoyu Juan, Qiaoying Li, Ruimou Xie, Xuhang Chen, Xinkai Zhou, Yunjia Xia, Jianan Chen, Fanghao Lu, Xin Li, Ninglli Wang, Peter Smielewski, Yu Pan, Hubin Zhao, Luigi G. Occhipinti

Comments: 5 figures, 41 references

Subjects: Human-Computer Interaction (cs.HC); Artificial Intelligence (cs.AI); Systems and Control (eess.SY)

[504] arXiv:2411.19019 (cross-list from cs.RO) [pdf, html, other]

Title: Connectivity Preserving Decentralized UAV Swarm Navigation in Obstacle-laden Environments without Explicit Communication

Thiviyathinesvaran Palani, Hiroaki Fukushima, Shunsuke Izuhara

Subjects: Robotics (cs.RO); Systems and Control (eess.SY)

[505] arXiv:2411.19056 (cross-list from math.OC) [pdf, html, other]

Title: Stochastic models for online optimization

Umberto Casti, Sandro Zampieri

Comments: 8 pages, 5 figures, submitted to ECC25

Subjects: Optimization and Control (math.OC); Systems and Control (eess.SY)

[506] arXiv:2411.19058 (cross-list from cs.DC) [pdf, html, other]

Title: Quality Time: Carbon-Aware Quality Adaptation for Energy-Intensive Services

Philipp Wiesner, Dennis Grinwald, Philipp Weiß, Patrick Wilhelm, Ramin Khalili, Odej Kao

Subjects: Distributed, Parallel, and Cluster Computing (cs.DC); Systems and Control (eess.SY)

[507] arXiv:2411.19181 (cross-list from cs.LG) [pdf, html, other]

Title: Large width penalization for neural network-based prediction interval estimation

Worachit Amnuaypongsa, Jitkomut Songsiri

Comments: 28 pages, 12 figures

Subjects: Machine Learning (cs.LG); Systems and Control (eess.SY)

[508] arXiv:2411.19359 (cross-list from cs.AI) [pdf, other]

Title: Integrating Transit Signal Priority into Multi-Agent Reinforcement Learning based Traffic Signal Control

Dickness Kakitahi Kwesiga, Suyash Chandra Vishnoi, Angshuman Guin, Michael Hunter

Subjects: Artificial Intelligence (cs.AI); Multiagent Systems (cs.MA); Systems and Control (eess.SY)

[509] arXiv:2411.19374 (cross-list from math.NA) [pdf, html, other]

Title: Performance Evaluation of Single-step Explicit Exponential Integration Methods on Stiff Ordinary Differential Equations

Colby Fronk, Linda Petzold

Subjects: Numerical Analysis (math.NA); Systems and Control (eess.SY)

[510] arXiv:2411.19377 (cross-list from math.OC) [pdf, html, other]

Title: Feedback Nash equilibria for scalar N-player linear quadratic dynamic games

Benita Nortmann, Mario Sassano, Thulasi Mylvaganam

Subjects: Optimization and Control (math.OC); Systems and Control (eess.SY)

[511] arXiv:2411.19393 (cross-list from cs.RO) [pdf, html, other]

Title: Global Tensor Motion Planning

An T. Le, Kay Hansel, João Carvalho, Joe Watson, Julen Urain, Armin Biess, Georgia Chalvatzaki, Jan Peters

Comments: 8 pages, 4 figures

Subjects: Robotics (cs.RO); Artificial Intelligence (cs.AI); Machine Learning (cs.LG); Systems and Control (eess.SY)

[512] arXiv:2411.19809 (cross-list from cs.RO) [pdf, html, other]

Title: Q-learning-based Model-free Safety Filter

Guo Ning Sue, Yogita Choudhary, Richard Desatnik, Carmel Majidi, John Dolan, Guanya Shi

Comments: *Denotes equal contribution

Subjects: Robotics (cs.RO); Artificial Intelligence (cs.AI); Systems and Control (eess.SY)

[513] arXiv:2411.19854 (cross-list from cs.IT) [pdf, html, other]

Title: Timely and Energy-Efficient Multi-Step Update Processing

Vishakha Ramani, Ivan Seskar, Roy D. Yates

Comments: The work was presented at ASILOMAR 2024

Subjects: Information Theory (cs.IT); Systems and Control (eess.SY)