TY  - RPRT
TI  - Bernstein-based polynomial approach to study the stability of switched systems and formal verification using HOL Light
AU  - Loïc Michel
PY  - 2014
UR  - https://arxiv.org/abs/1410.3969
ID  - 1410.3969
ER  -