Formally Verified Run Time Assurance Architecture of a 6U CubeSat Attitude Control System (AIAA 2016-0222)
AIAA Infotech Aerospace Conference 2016 ; 2016 ; San Diego
2016-01-01
15 pages
Conference paper
English
© Metadata Copyright the British Library Board and other contributors. All rights reserved.
CubeSat Attitude Control Simulator Design (AIAA 2018-1391)
British Library Conference Proceedings | 2018
|An Air-Launched Hypersonic Vehicle Performance Model (AIAA 2006-0222)
British Library Conference Proceedings | 2006
|Software safety architecture that can be formally verified
Automotive engineering | 2004
|A Formally Verified Conflict Detection Algorithm for Polynomial Trajectories (AIAA 2015-0795)
British Library Conference Proceedings | 2015
|