Klaus Röbenack, Rick Voßwinkel. Formal Verification of Local and Global Observability of Polynomial Systems Using Quantifier Elimination. In 23rd International Conference on System Theory, Control and Computing, ICSTCC 2019, Sinaia, Romania, October 9-11, 2019. pages 314-319, IEEE, 2019. [doi]
Abstract is missing.