Masataka Nishi

We don’t have enough information about this author to calculate their statistics. If you think this is an error let us know.
Learn More
Due to their complexity, currently available bounded model checking techniques based on Boolean Satisfiability and Satisfiability Modulo Theories inadequately handle non-linear floating-point and integer arithmetic. Using a numerical approach, we reduce a bounded model checking problem to a constraint satisfaction problem. Currently available techniques(More)
This paper deals with the two-input, two-output nonlinear model following control of a 3-DOF(degree-of-freedum) model helicopter. Since the decoupling matrix is singular, a nonlinear structure algorithm is used to design the controller. Furthermore, since the model dynamics are described linearly by unknown system parameters, a parameter identification(More)
  • 1