智能汽车定位系统：多式联运的完整性与监控研究

"巴黎萨克雷大学的一篇博士论文，主题为多式联运定位系统，属于机器人学领域，由阿琼·巴拉克里希南撰写并成功答辩于2020年12月14日。这篇论文是在第580号博士学院完成，主要研究单位包括巴黎-萨克雷大学、ENS巴黎-萨克雷和CNRS的SATIE实验室。该研究受到了法国国家教育和研究部的资助，并由Patrice AKNIN、Roger REYNAUD、Sergio Rodriguez等多位知名学者指导。论文重点探讨了智能汽车的本地化问题，特别是数据源完整性的监控和管理，为智能交通系统的安全性提供保障。 论文详细介绍了智能汽车在多式联运中的定位挑战，鉴于当前智能车辆依赖大量的数据源和复杂处理，系统的整体可靠性与这些组件的性能密切相关。作者提出了一种新的完整性形式化方法，通过结合信息系统的完整性概念和智能交通系统的现有完整性概念，构建了一个基于理论化完整性协议的监控框架。这一框架旨在处理多种数据源，确保在复杂的交通环境中，智能汽车能准确、可靠地进行自我定位。 在论文中，作者进行了深入的理论分析和实验验证，特别提到了Flavien Delgehier在实验过程中提供的技术支持。论文还强调了与其他研究者在SATIE和DIGITEO实验室的合作，以及作者对家人、朋友和所有支持者的感激之情，他们为作者的研究工作提供了宝贵的帮助和理解。 这篇博士论文为智能交通系统的安全性和智能汽车的精准定位提供了新的理论基础和实用工具，对于未来自动驾驶技术的发展具有重要的参考价值。"