Tags

FICTION
barrier certificates
differential dynamics
hybrid systems
safety
hardware
protocol