search

fmrchallenge / fmrbenchmark

benchmark problems for research in formal methods for robotics
http://docs.fmrchallenge.org
Other
14 stars 3 forks source link

Try to use CloudSim #13

Closed slivingston closed 4 years ago

slivingston commented 7 years ago

The OSRF has made substantial progress on CloudSim, including restarting their main repository last year. As such, I recommend that we try to use it for managing simulations during fmrbenchmark competitions. Also, consider forking or using fragments of it for one-time evaluations of controllers (in general, not necessarily during official competitions). URLs for beginning:

Work here might overlap with that for #12

slivingston commented 6 years ago

the talk at ROSCon 2016 by Ian Chen (video and slides) provides more details about progress on CloudSim. it is also described as part of a talk about the NASA Space Robotics Challenge at ROSCon 2017.

slivingston commented 4 years ago

project appears to not be active. source repositories were moved to GitHub and marked as "archived" by the owner, e.g., https://github.com/osrf/cloudsim

slivingston commented 4 years ago

since this issue was opened, I have more experience in running Gazebo simulations headless and also managing user sessions on websites, user file uploads, etc., so I think that we can make a solution specific for the goals of our project here.

regarding OSRF and simulations, here is a nice post about plans and current work: https://discourse.ros.org/t/the-future-of-ros-simulation-2025/11538/5