Login / Signup
Verification of fixed-point digital controllers using direct and delta forms realizations.
Iury Valente de Bessa
Hussama Ismail
Lucas C. Cordeiro
João Edgar Chaves Filho
Published in:
Des. Autom. Embed. Syst. (2016)
Keyphrases
</>
fixed point
sufficient conditions
floating point
model checking
reinforcement learning
dynamical systems
bargaining solution
fixed point theorem
computer vision
high quality
image processing
least squares
shape from shading
boundary conditions