Back to Results
First PageMeta Content
Mathematics / Computing / Mathematical proofs / Dc / cross-platform software / Double-precision floating-point format / Arbitrary-precision arithmetic / Floating point / Mathematical fallacy / Computer arithmetic / Data types / Computer architecture


Preservation of Lyapunov-Theoretic Proofs: From Real to Floating-Point Arithmetic Vivien Maisonneuve, Olivier Hermant and François Irigoin MINES ParisTech, France Email: {vivien.maisonneuve, olivier.hermant, francois.ir
Add to Reading List

Document Date: 2014-03-20 04:36:28

Open Document

File Size: 287,53 KB

Share Result on Facebook

/

Facility

Lyapunov stable / Flocq library / /

IndustryTerm

automatic tool / low-level software implementation / control software behavior / control systems / safety-critical applications / control applications / realistic controller device / computing / adaptive control technologies / theorem-proving tools / linear systems / control law / /

Person

Olivier Hermant / /

/

Position

designer / concrete controller / corresponding controller / open-loop controller / scientist / General / assistant / controller / discrete-time controller / /

ProgrammingLanguage

Mathematica / MATLAB / R / Python / /

ProvinceOrState

New Jersey / /

PublishedMedium

Parameters / /

Technology

http / adaptive control technologies / PDF / /

URL

http /

SocialTag