Verified Simulation for Robustness Evaluation of Tracking Controllers

DOI10.1007/978-3-642-25100-9_30zbMath1245.93043OpenAlexW193064255MaRDI QIDQ2905437

Felix Antritter, Marco Kletting

Publication date: 27 August 2012

Published in: Mathematics in Industry (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-25100-9_30

zbMATH Keywords

uncertaintiesdynamic output feedbackinterval methodsrobustness of tracking controllers

Mathematics Subject Classification ID

Sensitivity (robustness) (93B35) Feedback control (93B52) Linearizations (93B18)

Cites Work

• Verified integration of ODEs and flows using differential algebraic methods on high-order Taylor models
• Robust analysis of flatness based control using interval methods
• Exact feedforward linearization based on differential flatness
• A Lie-Backlund approach to equivalence and flatness of nonlinear systems
• Flatness and defect of non-linear systems: introductory theory and examples
• Validated Modeling of Mechanical Systems with SmartMOBILE: Improvement of Performance by ValEncIA-IVP

This page was built for publication: Verified Simulation for Robustness Evaluation of Tracking Controllers