Toward verified modelling and simulation of closed loop systems in SMARTMOBILE

DOI10.1007/978-3-642-12110-4_91MaRDI QIDQ3006995zbMATH OpenOpenAlexFDO

Authors

Publication date 21 June 2011

Published in Progress in Industrial Mathematics at ECMI 2008 (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-642-12110-4_91

Mathematics Subject Classification ID

Numerical algorithms for computer arithmetic, etc. (65Y04) Software, source code, etc. for problems pertaining to mechanics of particles and systems (70-04)

Recommendations

• Uses of new sensitivity and DAE solving methods in SmartMobile for verified analysis of mechanical systems
• SmartMOBILE and its applications to guaranteed modeling and simulation of mechanical systems
• Validated Modeling of Mechanical Systems with SmartMOBILE: Improvement of Performance by ValEncIA-IVP
• Modeling of multibody systems with interval arithmetic
• Numerical Software with Result Verification

Cited in

(3)

• SmartMOBILE and its applications to guaranteed modeling and simulation of mechanical systems
• Validated Modeling of Mechanical Systems with SmartMOBILE: Improvement of Performance by ValEncIA-IVP
• Uses of new sensitivity and DAE solving methods in SmartMobile for verified analysis of mechanical systems

Describes a project that uses

Uses Software

• SmartMobile
• MSSMOBILE

This page was built for publication: Toward verified modelling and simulation of closed loop systems in SMARTMOBILE

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3006995)