参考文献库
按领域分类，附与 EICPS 具身空间理论的关联说明 · 10 个领域 · 42 篇文献
VLA 基础框架
RT-2: Vision-Language-Action Models Transfer Web Knowledge to Robotic Control
Brohan et al. (Google DeepMind) · 2023 arXiv:2307.15818
π₀: A Vision-Language-Action Flow Model for General Robot Control
Black et al. (Physical Intelligence) · 2024 arXiv:2410.24164
OpenVLA: An Open-Source Vision-Language-Action Model
Kim et al. · 2024 arXiv:2406.09246
GR00T N1: An Open Foundation Model for Generalist Humanoid Robots
NVIDIA · 2025 arXiv:2503.14734
流形几何与谱分析
Über die Hypothesen, welche der Geometrie zu Grunde liegen
Riemann, B. · 1854 ·Göttinger Abhandlungen
Das asymptotische Verteilungsgesetz der Eigenwerte linearer partieller Differentialgleichungen
Weyl, H. · 1911 ·Math. Ann.
A Lower Bound for the Smallest Eigenvalue of the Laplacian
Cheeger, J. · 1970 ·Problems in Analysis, Princeton
A Global Geometric Framework for Nonlinear Dimensionality Reduction
Tenenbaum, de Silva & Langford · 2000 ·Science 290
Laplace-Beltrami Spectra as "Shape-DNA" of Surfaces and Solids
Reuter, Wolter & Peinecke · 2006 ·CAD 38(4)
A Concise and Provably Informative Multi-Scale Signature Based on Heat Diffusion
Sun, Ovsjanikov & Guibas · 2009 ·SGP
Computational Topology: An Introduction
Edelsbrunner & Harer · 2010 ·American Mathematical Society
Structures Métriques pour les Variétés Riemanniennes
Gromov, M. · 1981 ·CEDIC/Nathan, Paris
PINN / 物理约束神经网络
Physics-Informed Neural Networks: A Deep Learning Framework for Solving Forward and Inverse Problems
Raissi, Perdikaris & Karniadakis · 2019 ·J. Computational Physics 378
Deep Lagrangian Networks: Using Physics as Model Prior for Deep Learning
Lutter, Ritter & Peters · 2019 ·ICLR
Hamiltonian Neural Networks
Greydanus, Dzamba & Yosinski · 2019 ·NeurIPS
Port-Hamiltonian Neural ODE Networks on Lie Groups for Robot Dynamics Learning
Zhong et al. · 2024 arXiv:2401.09520
混合动力系统
Hybrid Dynamical Systems: Modeling, Stability, and Robustness
Goebel, Sanfelice & Teel · 2012 ·Princeton University Press
Hybrid Feedback Control
Sanfelice, R.G. · 2021 ·Princeton University Press
Motion Planning for Hybrid Dynamical Systems
Sanfelice et al. · 2025 ·Sage Journals
STL 信号时序逻辑
Monitoring Temporal Properties of Continuous Signals
Maler, O. & Nickovic, D. · 2004 ·FORMATS/FTRTFT, LNCS 3253
Robust Satisfaction of Temporal Logic over Real-Valued Signals
Donzé, A. & Maler, O. · 2010 ·FORMATS, LNCS 6246
Control Barrier Functions for Signal Temporal Logic Tasks
Lindemann, L. & Dimarogonas, D.V. · 2019 ·IEEE L-CSS 3(1)
Temporal Logic Motion Planning using Model Predictive Control
Raman et al. · 2014 ·CDC
Breach, A Toolbox for Verification and Parameter Synthesis of Hybrid Systems
Donzé, A. · 2010 ·CAV, LNCS 6174
CBF 控制屏障函数
Safety Verification of Hybrid Systems Using Barrier Certificates
Prajna, S. & Jadbabaie, A. · 2004 ·HSCC, LNCS 2993
Robustness of Control Barrier Functions for Safety Critical Control
Xu, X., Tabuada, P. & Ames, A.D. · 2015 ·IFAC-PapersOnLine
Control Barrier Functions: Theory and Applications
Ames, A.D. et al. · 2019 ·ECC
Reciprocal and Zeroing Control Barrier Functions for Multi-Agent Systems
Wang, L. et al. · 2017 ·ACC
HTN 分层任务网络
HTN Planning: Complexity and Expressivity
Erol, K., Hendler, J. & Nau, D.S. · 1994 ·AAAI
SHOP2: An HTN Planning System
Nau, D. et al. · 2003 ·JAIR 20
Task Planning with a Receding Horizon for Temporal Logic Specifications
Jiang, Y. et al. · 2019 ·ICRA
Hierarchical Planning for Long-Horizon Manipulation with Geometric and Symbolic Scene Graphs
Ding et al. · 2020 ·ICRA
EKF / 状态估计
A New Approach to Linear Filtering and Prediction Problems
Kalman, R.E. · 1960 ·ASME J. Basic Engineering 82(1)
A New Extension of the Kalman Filter to Nonlinear Systems
Julier, S.J. & Uhlmann, J.K. · 1997 ·SPIE AeroSense
Physics-Informed Neural Networks (PINN)
Raissi, Perdikaris & Karniadakis · 2019 ·J. Computational Physics
Probabilistic Robotics
Thrun, Burgard & Fox · 2005 ·MIT Press
几何深度学习 / GDL
Geometric Deep Learning: Grids, Groups, Graphs, Geodesics, and Gauges
Bronstein et al. · 2021 arXiv:2104.13478
MI-HGNN: Morphology-Informed Heterogeneous GNN for Contact Perception
Faris et al. (Georgia Tech) · 2025 ·ICRA
Geometric Laplace Neural Operator (GLNO)
Anonymous · 2025 arXiv:2512.16409
形式化验证与安全 AI
REVEL: Provably Safe Exploration via Neurosymbolic Policy
Anonymous · 2024 arXiv:2410.16281
Safe Reinforcement Learning via Shielding
Alshiekh et al. · 2018 ·AAAI
Specification and Verification of a Safety-Critical Cyber-Physical System
Platzer, A. · 2018 ·dL / KeYmaera X