Rick Voßwinkel, Dinu Mihailescu-Stoica, Frank Schrödel, Klaus Röbenack. Determining Passivity via Quantifier Elimination. In 27th Mediterranean Conference on Control and Automation, MED 2019, Akko, Israel, July 1-4, 2019. pages 13-18, IEEE, 2019. [doi]
Abstract is missing.