Formal verification of local and global observability of polynomial systems using quantifier elimination
Research output: Contribution to book/Conference proceedings/Anthology/Report › Conference contribution › Contributed › peer-review
Contributors
Details
Original language | English |
---|---|
Title of host publication | 2019 23rd International Conference on System Theory, Control and Computing, ICSTCC 2019 - Proceedings |
Pages | 314-319 |
Publication status | Published - 2019 |
Peer-reviewed | Yes |
External IDs
Scopus | 85075056540 |
---|