TY  - RPRT
TI  - Formal Abstraction of Linear Systems via Polyhedral Lyapunov Functions
AU  - Xuchu Ding
AU  - Mircea Lazar
AU  - Calin Belta
PY  - 2012
UR  - https://arxiv.org/abs/1203.6408
ID  - 1203.6408
ER  -