Efficient finite abstraction of mixed monotone systems
Title | Efficient finite abstraction of mixed monotone systems |
Publication Type | Conference Paper |
Year of Publication | 2015 |
Authors | Coogan, S., Arcak, M. |
Conference Name | 18th ACM International Conference on Hybrid Systems: Computation and Control |
Date Published | April |
Conference Location | Seattle, Washington |
Keywords | 1446145 |
Citation Key | CooArc15a |