Design and Verification of a Digital Controller for a 2-Piece Hemispherical Resonator Gyroscope.

Jungshin Lee Sung Wook Yun Jaewook Rhim

Published in: Sensors (2016)

Keyphrases

real time
neural network
expert systems
vision system
design process
multiresolution
knowledge based systems
formal methods
formal verification
functional verification