Determining passivity via quantifier elimination

Research output: Contribution to book/Conference proceedings/Anthology/ReportConference contributionContributedpeer-review

Contributors

Details

Original languageEnglish
Title of host publication27th Mediterranean Conference on Control and Automation, MED 2019 - Proceedings
Pages13-18
Publication statusPublished - 2019
Peer-reviewedYes

External IDs

Scopus 85071678832