史浩轩Haoxuan Shi
本科毕业于南京理工大学 · 自动化 · 2022—2026
B.Eng., Nanjing University of Science and Technology · Automation · 2022–2026
简介About
2026 年起继续攻读相关方向研究生。关注机器人与车辆运动控制、路径规划、软件在环测试和运行时系统，并通过工程项目积累算法实现、仿真验证与系统开发经验。
Continuing graduate study in the field from 2026. Interested in robot and vehicle motion control, path planning, software-in-the-loop testing, and runtime systems, with projects spanning algorithm implementation, simulation, and systems engineering.
项目Projects
4 个主导项目与 4 个协作项目。
Four lead projects and four collaboration projects.
motion-core
机器人与车辆运动模型、PID、LQR、路径跟踪和约束预测控制。Robot and vehicle models, PID, LQR, path tracking, and constrained predictive control.
GitHub →trajectory-lab
确定性路径规划、精确碰撞检测、平滑、时间参数化与轨迹验证。Deterministic planning, exact collision checks, smoothing, timing, and trajectory validation.
GitHub →open-autonomy-sil
带命令血缘、故障注入和时序契约的确定性无界面软件在环实验室。Headless deterministic SIL with command lineage, fault injection, and timing contracts.
GitHub →autonomy-executor-lab
控制回调的调度策略、新鲜度、截止期与过载诊断实验工具。A scheduling, freshness, deadline, and overload diagnosis laboratory for control callbacks.
GitHub →autonomy-authz
面向机器人与车辆服务图的最小权限分析、合成和证书生成。Least-authority analysis, synthesis, repair, and certificates for robot and vehicle service graphs.
GitHub →authority-checker-rt
独立重算绑定、路径与防重放状态的小型授权证书检查器。A compact checker for certificate bindings, path witnesses, versions, and replay state.
GitHub →ota-policy-gate
统一核验供应链、接口、授权漂移、回滚和发布证据的 OTA 闸门。An OTA gate for supply-chain, interface, authority-drift, rollback, and release evidence.
GitHub →cps-authz-bench
授权分析器的确定性基准、变异、隔离运行、差分比较和反例缩减。Deterministic authorization benchmarks, mutation, isolated execution, differential checking, and reduction.
GitHub →