欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜:Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2, C++/F#/Lisp
ROS
来自开放百科 - 灰狐
Robot operating system(ROS) 是一个构建机器人及应用的操作系统,采用 BSD 许可协议。
ROS 提供了 C++ 和 Python 两种主要的编程接口,提供了类似 Debian 的包管理系统,开发者能方便的开发、安装、管理应用包。
ROS发布了两个版本:
ROS 集成 Arduino
新闻
- ROS Blog Retired (01 Jan 1970 00:00)
- Open Robotics accepted for Google Summer of Code 2019 (01 Jan 1970 00:00)
- ROSCon 2019: Call for Sponsors (01 Jan 1970 00:00)
- ROS 2 Crystal Clemmys Released (01 Jan 1970 00:00)
- ROSCon 2017: Reactive web interfaces with Polymer and ROS -- Justin Huang and Maya Cakmak (University of Washington) (01 Jan 1970 00:00)
- ROSCon Japan 2018 Successfully Concluded (01 Jan 1970 00:00)
- ROSCon 2017: rosnodejs -- Chris Smith (Rethink Robotics) (01 Jan 1970 00:00)
- ROSCon 2017: Model-based Design for Safety Critical Controller Design with ROS and Gazebo -- Michael Naderhirn, Mischa Köpf, and Josef Mendler (Kontrol GmbH) (01 Jan 1970 00:00)
- ROSCon 2017: Determinism in ROS - or when things break /sometimes / and how to fix it... -- Ingo Lütkebohle (Bosch Corporate Research) (01 Jan 1970 00:00)
- ROSCon 2017: ROS for Search and Rescue Robotics: Tools and Lessons learned during TRADR -- Martin Pecka (Czech Technical University in Prague) Sergio Caccamo (Kungliga Tekniska högskolan (KTH Stockholm))]Renaud Dube (ETH Zurich) Vladimír Kubelka (Czech T (01 Jan 1970 00:00)
ROS驱动
链接
<discussion>characters_max=300</discussion>
分享您的观点