SmartMobile

swMATH10867MaRDI QIDQ22821FDOQ22821

Author name not available (Why is that?)

Cited In (14)

• Sensitivity-based feedforward and feedback control for uncertain systems
• Interval methods as a simulation tool for the dynamics of biological wastewater treatment processes with parameter uncertainties
• Interval arithmetic techniques for the design of controllers for nonlinear dynamical systems with applications in mechatronics. II
• SmartMOBILE and its Applications to Guaranteed Modeling and Simulation of Mechanical Systems
• A Novel Interval Arithmetic Approach for Solving Differential-Algebraic Equations with ValEncIA-IVP
• Verification Techniques for Sensitivity Analysis and Design of Controllers for Nonlinear Dynamic Systems with Uncertainties
• Uses of New Sensitivity and Dae Solving Methods in SmartMobile for Verified Analysis of Mechanical Systems
• Reliable implementation of real number algorithms: Theory and practice. International seminar, Dagstuhl Castle, Germany, January 8--13, 2006. Revised papers
• Validated Modeling of Mechanical Systems with SmartMOBILE: Improvement of Performance by ValEncIA-IVP
• Interval arithmetic techniques for the design of controllers for nonlinear dynamical systems with applications in mechatronics
• Interval methods for real-time capable robust control of solid oxide fuel cell systems
• Toward Verified Modelling and Simulation of Closed Loop Systems in SMARTMOBILE
• Informatics in control, automation and robotics. Selected papers from the international conference on informatics in control, automation and robotics (INCINO 2007), Angers, France, May 9--12, 2007
• Progress in industrial mathematics at ECMI 2008. Proceedings of the 15th European conference on mathematics for industry, London, UK, June 30 - July 4, 2008.

This page was built for software: SmartMobile