Author of the publication

A Control Lyapunov Function Approach Using Quantifier Elimination.

, and . ICSTCC, page 186-191. IEEE, (2019)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

A high-gain observer vs. algebraic derivative methods for track estimation., , , and . SSD, page 1-6. IEEE, (2012)Holonomic modeling and hierarchic tracking control of an unstable underactuated nonholonomic system., , and . SSD, page 102-107. IEEE, (2016)Controller design for nonlinear multi-input -- multi-output systems based on an algorithmic plant description. Mathematical and Computer Modelling of Dynamical Systems, 13 (2): 193--209 (2007)Identification of room temperature models using k-step PEM for Hammerstein systems., , and . ICSTCC, page 320-325. IEEE, (2019)High Gain Embedding Observer Design: Combining Differential Geometry and Algebra with Machine Learning., , and . ICSTCC, page 62-69. IEEE, (2023)Formal Verification of Local and Global Observability of Polynomial Systems Using Quantifier Elimination., and . ICSTCC, page 314-319. IEEE, (2019)Mathematical Modeling of Fiber-Elastomer Composites with Embedded Shape Memory Alloys., and . ICSTCC, page 477-482. IEEE, (2020)Determining Passivity via Quantifier Elimination., , , and . MED, page 13-18. IEEE, (2019)Ausgewählte Beiträge der GMA-Fachausschüsse 2.13 und 2.14., and . Autom., 71 (8): 581-583 (August 2023)On the computation of flat outputs for nonlinear control systems., and . ECC, page 167-172. IEEE, (2013)