Formal Verification of Local and Global Observability of Polynomial Systems Using Quantifier Elimination - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

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]

This author has not been identified. Look up 'Klaus Röbenack' in GoogleThis author has not been identified. Look up 'Rick Voßwinkel' in Google

runs on WebDSL