最新

我开发了MicroSafe-RL，以解决强化学习和边缘大语言模型（LLM）部署中的“硬件破坏”问题。 技术：它是一个基于裸机的C++拦截器，使用从控制李雅普诺夫函数派生的EMA+MAD稳定性指标。 性能：最坏情况下执行时间为1.18微秒（WCET）。没有堆，没有动态分配，仅使用24字节的状态。 “桥接”：最新更新包括一个Python-C++桥接，允许使用本地LLM（如通过Ollama的Gemma 4）作为机器人控制器，同时确保它们在物理上是安全的。 目前正在IEEE《航空航天与电子系统汇刊》审稿中。 GitHub: [https://github.com/Kretski/MicroSafe-RL](https://github.com/Kretski/MicroSafe-RL)