3 projects
colav-automaton
Maritime collision-avoidance hybrid automaton built on hybrid-automaton, using risk envelopes for waypoint generation.
hybrid-automaton
Python framework for real-time and simulation hybrid automata, easily integrable with ROS2 and other environments.
riskenv
A Python library for computing Risk Envelopes — convex hulls of collision-risk regions for motion planning in dynamic environments.
