Coding Matrix based Detection of False Data Injection Attack for Coulomb Satellite Formation Systems with LQG Control | IEEE Conference Publication | IEEE Xplore