SmartMobile
From MaRDI portal
Software:22821
No author found.
Related Items (11)
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. II ⋮ Interval arithmetic techniques for the design of controllers for nonlinear dynamical systems with applications in mechatronics ⋮ Sensitivity-based feedforward and feedback control for uncertain systems ⋮ 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 ⋮ Toward Verified Modelling and Simulation of Closed Loop Systems in SMARTMOBILE ⋮ SmartMOBILE and its Applications to Guaranteed Modeling and Simulation of Mechanical Systems ⋮ Interval methods as a simulation tool for the dynamics of biological wastewater treatment processes with parameter uncertainties ⋮ 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
