Systems and Control

Authors and titles for eess.SY in Feb 2021, skipping first 325

[326]  arXiv:2102.11991 (cross-list from cs.LO) [pdf, other]

Title: Being correct is not enough: efficient verification using robust linear temporal logic

Authors: Tzanis Anevlavis, Matthew Philippe, Daniel Neider, Paulo Tabuada

Comments: arXiv admin note: text overlap with arXiv:1510.08970. v2 notes: Proof on the complexity of translating rLTL formulae to LTL formulae via the rewriting approach. New case study on the scalability of rLTL formulae in the proposed fragment. Accepted to appear in ACM Transactions on Computational Logic

Journal-ref: ACM Transactions on Computational Logic, Volume 23, Issue 2, April 2022, Article No.: 8, pp 1-39

Subjects: Logic in Computer Science (cs.LO); Computational Complexity (cs.CC); Systems and Control (eess.SY)

[327]  arXiv:2102.12086 (cross-list from math.DS) [pdf, other]

Title: Modern Koopman Theory for Dynamical Systems

Authors: Steven L. Brunton, Marko Budišić, Eurika Kaiser, J. Nathan Kutz

Comments: 110 pages, 27 figures

Subjects: Dynamical Systems (math.DS); Machine Learning (cs.LG); Systems and Control (eess.SY); Optimization and Control (math.OC)

[328]  arXiv:2102.12217 (cross-list from cs.RO) [pdf, ps, other]

Title: A Trident Quaternion Framework for Inertial-based Navigation Part I: Rigid Motion Representation and Computation

Authors: Wei Ouyang, Yuanxin Wu

Comments: 10 pages, 5 figures

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

[329]  arXiv:2102.12220 (cross-list from cs.RO) [pdf, ps, other]

Title: A Trident Quaternion Framework for Inertial-based Navigation Part II: Error Models and Application to Initial Alignment

Authors: Wei Ouyang, Yuanxin Wu

Comments: 17 pages, 13 figures

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

[330]  arXiv:2102.12264 (cross-list from math.CO) [pdf, other]

Title: The non-positive circuit weight problem in parametric graphs: a solution based on dioid theory

Authors: Davide Zorzenon, Jan Komenda, Joerg Raisch

Comments: 25 pages, 4 figures, revised version. Proof of Proposition 6 corrected

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

[331]  arXiv:2102.12311 (cross-list from math.OC) [pdf, ps, other]

Title: Essentially Decentralized Conjugate Gradients

Authors: Alexander Engelmann, Timm Faulwasser

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

[332]  arXiv:2102.12345 (cross-list from cs.CR) [pdf, other]

Title: Automated Fuzzing of Automotive Control Units

Authors: Timothy Werquin, Mathijs Hubrechtsen, Ashok Thangarajan, Frank Piessens, Jan Tobias Muehlberg

Comments: Appeared in 2019 International Workshop on Attacks and Defenses for Internet-of-Things (ADIoT) / International Workshop on the Secure Internet of Things (SIoT)

Subjects: Cryptography and Security (cs.CR); Systems and Control (eess.SY)

[333]  arXiv:2102.12432 (cross-list from cs.RO) [pdf, other]

Title: Deep Reinforcement Learning for Safe Landing Site Selection with Concurrent Consideration of Divert Maneuvers

Authors: Keidai Iiyama, Kento Tomita, Bhavi A. Jagatia, Tatsuwaki Nakagawa, Koki Ho

Comments: 25 pages, 14 figures, This paper is an updated version of Paper AAS 20-583 presented at the AAS/AIAA Astrodynamics Specialist Conference, Online

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

[334]  arXiv:2102.12647 (cross-list from math.OC) [pdf, other]

Title: Blended Dynamics Approach to Distributed Optimization: Sum Convexity and Convergence Rate

Authors: Seungjoon Lee, Hyungbo Shim

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

[335]  arXiv:2102.12668 (cross-list from cs.RO) [pdf, other]

Title: Learning-based Robust Motion Planning with Guaranteed Stability: A Contraction Theory Approach

Authors: Hiroyasu Tsukamoto, Soon-Jo Chung

Comments: IEEE Robotics and Automation Letters (RA-L), Preprint Version. Accepted June, 2021 (DOI: 10.1109/LRA.2021.3091019)

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

[336]  arXiv:2102.12726 (cross-list from cs.RO) [pdf, other]

Title: Design and Control of a Highly Redundant Rigid-Flexible Coupling Robot to Assist the COVID-19 Oropharyngeal-Swab Sampling

Authors: Yingbai Hu (3 and 2), Jian Li (1 and 2), Yongquan Chen (1 and 2), Qiwen Wang (2 and 1), Chuliang Chi (2 and 1), Heng Zhang (2 and 1), Qing Gao (2 and 1), Yuanmin Lan (6 and 2), Zheng Li (4 and 2), Zonggao Mu (5 and 2), Zhenglong Sun (1 and 2), Alois Knoll (3) ((1) Robotics and Intelligent Manufacturing & School of Science and Engineering, The Chinese University of Hong Kong, Shenzhen, China, (2) Shenzhen Institute of Artificial Intelligence and Robotics for Society, China, (3) Chair of Robotics, Artificial Intelligence and Real-time Systems, Technische Universit München, München, Germany, (4) Department of surgery, and Chow Yuk Ho Technology Centre for Innovative Medicine, The Chinese University of Hong Kong, Hong Kong, (5) School of Mechanical Engineering, Shandong University of Technology, Zibo, China, (6) Longgang District People's Hospital of Shenzhen, China.)

Comments: 8 pages, 11 figures

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

[337]  arXiv:2102.12981 (cross-list from cs.SE) [pdf, other]

Title: The Black-Box Simplex Architecture for Runtime Assurance of Autonomous CPS

Authors: Usama Mehmood, Sanaz Sheikhi, Stanley Bak, Scott A. Smolka, Scott D. Stoller

Journal-ref: NASA Formal Methods (2022) 231-250

Subjects: Software Engineering (cs.SE); Systems and Control (eess.SY)

[338]  arXiv:2102.13047 (cross-list from math.OC) [pdf, other]

Title: Maximizing Social Welfare and Agreement via Information Design in Linear-Quadratic-Gaussian Games

Authors: Furkan Sezer, Hossein Khazaei, Ceyhun Eksin

Subjects: Optimization and Control (math.OC); Multiagent Systems (cs.MA); General Economics (econ.GN); Systems and Control (eess.SY)

[339]  arXiv:2102.13151 (cross-list from physics.soc-ph) [pdf, other]

Title: Clustering for epidemics on networks: a geometric approach

Authors: Bastian Prasse, Karel Devriendt, Piet Van Mieghem

Journal-ref: Chaos: An Interdisciplinary Journal of Nonlinear Science, 31(6), p. 063115 (2021)

Subjects: Physics and Society (physics.soc-ph); Systems and Control (eess.SY); Dynamical Systems (math.DS)

[340]  arXiv:2102.13411 (cross-list from math.OC) [pdf, other]

Title: Robust I&I Adaptive Tracking Control of Systems with Nonlinear Parameterization: An ISS Perspective

Authors: Lei Wang, Christopher M. Kellett

Comments: 15 pages, 3 figures

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

[341]  arXiv:2102.13413 (cross-list from math.OC) [pdf, other]

Title: Robust Implementable Regulator Design of General Linear Systems

Authors: Lei Wang, Lorenzo Marconi, Christopher M. Kellett

Comments: 10 pages, 4 figures

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

[342]  arXiv:2102.13477 (cross-list from cs.MA) [pdf, other]

Title: B-ETS: A Trusted Blockchain-based Emissions Trading System for Vehicle-to-Vehicle Networks

Authors: Lam Duc Nguyen, Amari N. Lewis, Israel Leyva-Mayorga, Amelia Regan, Petar Popovski

Comments: Paper got accepted in 7th International Conference on Vehicle Technology and Intelligent Transport Systems (VEHITS) 2021

Journal-ref: 7th International Conference on Vehicle Technology and Intelligent Transport Systems 2021

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

[343]  arXiv:2102.13487 (cross-list from math.NA) [pdf, ps, other]

Title: Data-driven modeling of linear dynamical systems with quadratic output in the AAA framework

Authors: Ion Victor Gosea, Serkan Gugercin

Comments: 16 pages, 9 figures

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

[344]  arXiv:2102.13651 (cross-list from cs.LG) [pdf, other]

Title: On the Importance of Hyperparameter Optimization for Model-based Reinforcement Learning

Authors: Baohe Zhang, Raghu Rajan, Luis Pineda, Nathan Lambert, André Biedenkapp, Kurtland Chua, Frank Hutter, Roberto Calandra

Comments: 19 pages, accepted by AISTATS 2021

Subjects: Machine Learning (cs.LG); Artificial Intelligence (cs.AI); Neural and Evolutionary Computing (cs.NE); Systems and Control (eess.SY)

[345]  arXiv:2102.08880 (cross-list from math.OC) [pdf, other]

Title: Fast Approximate Dynamic Programming for Infinite-Horizon Markov Decision Processes

Authors: M. A. S. Kolarijani, G. F. Max, P. Mohajerin Esfahani

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

[346]  arXiv:2102.05167 (cross-list from cs.LG) [pdf, other]

Title: Scheduling the NASA Deep Space Network with Deep Reinforcement Learning

Authors: Edwin Goh, Hamsa Shwetha Venkataram, Mark Hoffmann, Mark Johnston, Brian Wilson

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

[347]  arXiv:2102.13273 (cross-list from math.OC) [pdf, other]

Title: Application-Driven Learning: A Closed-Loop Prediction and Optimization Approach Applied to Dynamic Reserves and Demand Forecasting

Authors: Joaquim Dias Garcia, Alexandre Street, Tito Homem-de-Mello, Francisco D. Muñoz

Subjects: Optimization and Control (math.OC); Machine Learning (cs.LG); Systems and Control (eess.SY); Methodology (stat.ME); Machine Learning (stat.ML)