A Formally Verified Plasma Vertical Position Control Algorithm.

May Wu Jessie C. Rosenberg Nathan Fulton

Published in: FMICS (2020)

Keyphrases

control algorithm
control system
control method
adaptive fuzzy
control law
pid control
control strategy
single neuron
neural network controller
fuzzy logic controller
design procedure
fuzzy controller
temperature control
wheeled mobile robot
matlab simulink
single phase
inverted pendulum
nonlinear systems