Formal verification of local and global observability of polynomial systems using quantifier elimination

Publikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten › Beitrag in Konferenzband › Beigetragen › Begutachtung

Beitragende

Details

OriginalspracheEnglisch
Titel2019 23rd International Conference on System Theory, Control and Computing, ICSTCC 2019 - Proceedings
Seiten314-319
PublikationsstatusVeröffentlicht - 2019
Peer-Review-StatusJa

Externe IDs

Scopus 85075056540