TUM - Cyber Physical Systems Group

Prof. Dr.-Ing. Matthias Althoff

https://www.ce.cit.tum.de/cps/

Reachability Analysis & Controller Synthesis

• CORA: https://github.com/TUMcps/CORA
• AROC: https://github.com/TUMcps/AROC

Autonomous Vehicles & Vessels

• CommonRoad: https://commonroad.in.tum.de/
• CommonOcean: https://commonocean.cps.cit.tum.de/

Robotics

• Cobra: https://cobra.cps.cit.tum.de/
• SaRA: https://github.com/Sven-Schepp/SaRA
• Timor: https://gitlab.lrz.de/tum-cps/timor-python

Power Systems

• commonpower: https://github.com/TUMcps/commonpower

Reinforcement Learning

• human-robot-gym: https://github.com/TUMcps/human-robot-gym

See also: https://www.ce.cit.tum.de/cps/software/