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
• Verification Techniques for Sensitivity Analysis and Design of Controllers for Nonlinear Dynamic Systems with Uncertainties
• Toward verified modelling and simulation of closed loop systems in SMARTMOBILE
• 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
• 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.
• SmartMOBILE and its applications to guaranteed modeling and simulation of mechanical systems
• A novel interval arithmetic approach for solving differential-algebraic equations with \textsc{ValEncIA-IVP}
• Uses of new sensitivity and DAE solving methods in SmartMobile for verified analysis of mechanical systems

This page was built for software: SmartMobile