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)