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
- FADBAD++
- ValEncIA-IVP
- VERICOMP
- ValEncIA
- MOBILE
- MSSMOBILE
- Octave Interval
- 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
- 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
