![](/img/cover-not-exists.png)
A computational approach to synthesizing guards for hybrid systems
Coogan, Samuel, Arcak, MuratVolume:
73
Language:
english
Journal:
Systems & Control Letters
DOI:
10.1016/j.sysconle.2014.08.016
Date:
November, 2014
File:
PDF, 989 KB
english, 2014