![](/img/cover-not-exists.png)
[IEEE 2019 23rd International Conference on System Theory, Control and Computing (ICSTCC) - Sinaia, Romania (2019.10.9-2019.10.11)] 2019 23rd International Conference on System Theory, Control and Computing (ICSTCC) - Formal Verification of Local and Global Observability of Polynomial Systems Using Quantifier Elimination
Robenack, Klaus, Voswinkel, RickYear:
2019
Language:
english
DOI:
10.1109/icstcc.2019.8885899
File:
PDF, 264 KB
english, 2019