Repository for assignments of the course DD2415 Safe Robot Planning and Control in the winter semester 2022/2023 at KTH Stockholm. The course and the assignments cover robot control, motion planning, decision making, and task planning, especially with focus on robot safety and performance guarantees (e.g., reachability analysis and temporal logics).
Using reachibility analysis, an LQR controller, and a control barrier function to generate collision-free and safe trajectories.
Using optimization-based motion planning in dynamic environments and feedback motion primitives to achieve robust trajectories.
Using Linear Temporal Logic (LTL) specifications and discrete models (transition model, Büchi Automaton, product automaton) for high-level task planning.