Design and Verification of Attitude Control System for A Small Satellite.

Shuyan Ni Shimiao Chen Yurong Liao Naiping Cheng

Published in: CCRIS (2021)

Keyphrases

control system
case study
computer aided
engineering design
design methodology
formal methods
data sets
multi agent
building blocks
model checking
closed loop
intelligent control
formal verification
controller design