Formal Verification of Attitude Control Systems Using Geometric Barrier Functions.

Chencheng Xu Chengcheng Zhao Zhiguo Shi Jiming Chen

Published in: CDC (2023)

Keyphrases

formal verification
model checking
control system
automated verification
model checker
symbolic model checking
bounded model checking
attitudes toward
real time
neural network
expert systems
fuzzy logic
object oriented