Search CORE

2 research outputs found

Formal Verification of System States for Spacecraft Automatic Maneuvering

Author: Baldwin K. J.
Bice G. W.
Boehm B. W.
Davis A. M.
Eller B.
Federal Aviation Administration
Grady R. B.
Griffin E. M.
IBM
Jah M.
Leffingwell D.
Marlow S.
NASA
Roesler G.
Satellite Servicing Projects Division
Schinasi K. V.
Space Policy Directive
Space Traffic Management
Swihart D. E.
Sys ML.
Turner R.
U.S. Air Force Space &amp
Update
Wadley J.
Publication venue: 'American Institute of Aeronautics and Astronautics (AIAA)'
Publication date
Field of study

Towards a Taxonomy for Automatic and Autonomous Cooperative Spacecraft Maneuvering in a Space Traffic Management Framework

Author: Azizi S. M.
Carpenter R. J.
Cooney J. S.
Davis T. M.
Drolshagen G.
Eilertsten B.
Federal Aviation Administration
Forshaw J. L.
Garcia M.
Grace N.
Grace N.
Grace N.
Harris M.
Hildreth S. A.
Jah M.
Kessler D.
Kessler D. J.
Lee D.
Lewin S.
Liou J.-C.
Liu S.
Malkiel B. G.
Migliorini L. F.
Myerson R. B.
NASA
NASA
Obermark J.
Orbital Debris Program Office
O’Callaghan J.
Roesler G.
Rumford T. E.
Satellite Servicing Projects Division
Shima T.
Smith M.
Space Policy Directive
Space Traffic Management
Sullivan B. R.
Sánchez-Ortiz N.
Tatsch A.
Taylor B.
U.S. Air Force Space &amp
Update
Wang T.
Wiesel W. E.
Publication venue: 'American Institute of Aeronautics and Astronautics (AIAA)'
Publication date
Field of study

core