We gratefully acknowledge support from
the Simons Foundation and member institutions.

Systems and Control

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

[ total of 346 entries: 1-50 | ... | 176-225 | 226-275 | 276-325 | 326-346 ]
[ showing 50 entries per page: fewer | more | all ]
[326]  arXiv:2102.11991 (cross-list from cs.LO) [pdf, other]
Title: Being correct is not enough: efficient verification using robust linear temporal logic
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
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]
Title: A Trident Quaternion Framework for Inertial-based Navigation Part I: Rigid Motion Representation and Computation
Comments: 10 pages, 5 figures
Subjects: Robotics (cs.RO); Systems and Control (eess.SY)
[329]  arXiv:2102.12220 (cross-list from cs.RO) [pdf]
Title: A Trident Quaternion Framework for Inertial-based Navigation Part II: Error Models and Application to Initial Alignment
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
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
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
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
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
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
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
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: Social Welfare Maximization and Conformism via Information Design in Linear-Quadratic-Gaussian Games
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
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
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
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
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
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
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
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
Subjects: Machine Learning (cs.LG); Systems and Control (eess.SY)
[ total of 346 entries: 1-50 | ... | 176-225 | 226-275 | 276-325 | 326-346 ]
[ showing 50 entries per page: fewer | more | all ]

Disable MathJax (What is MathJax?)

Links to: arXiv, form interface, find, eess, 2208, contact, help  (Access key information)