SmartMobile

swMATH10867MaRDI QIDQ22821FDOQ22821

Author name not available (Why is that?)

Official website: http://link.springer.com/chapter/10.1007/978-3-540-85640-5_11

Cited In (21)

• 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
• Toward verified modelling and simulation of closed loop systems in SMARTMOBILE
• FADBAD++
• ValEncIA-IVP
• VERICOMP
• ValEncIA
• MOBILE
• MSSMOBILE
• Reliable implementation of real number algorithms: Theory and practice. International seminar, Dagstuhl Castle, Germany, January 8--13, 2006. Revised papers
• Octave Interval
• Validated Modeling of Mechanical Systems with SmartMOBILE: Improvement of Performance by ValEncIA-IVP
• 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
• Verification techniques for sensitivity analysis and design of controllers for nonlinear dynamic systems with uncertainties
• 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

This page was built for software: SmartMobile