Abstract
The abstraction of a continuous-space control system into a dynamical model with finite states and inputs is a key step in automated formal controller......
小提示：本篇文献需要登录阅读全文，点击跳转登录
Full Text Link
