hybrid-systems topic

List hybrid-systems repositories

hypro

29
Stars
7
Forks
Watchers

HyPro: A C++ state set representation library for the analysis of hybrid systems

verified publisher icon hypro

realsyn

15
Stars
5
Forks
Watchers

Automated Controller Synthesis

verified publisher icon umangm