A Control Lyapunov Function Approach Using Quantifier Elimination

Rick Vobetawinkel, Klaus Röbenack. A Control Lyapunov Function Approach Using Quantifier Elimination. In 23rd International Conference on System Theory, Control and Computing, ICSTCC 2019, Sinaia, Romania, October 9-11, 2019. pages 186-191, IEEE, 2019. [doi]

Authors

Rick Vobetawinkel

This author has not been identified. Look up 'Rick Vobetawinkel' in Google

Klaus Röbenack

This author has not been identified. Look up 'Klaus Röbenack' in Google