CONTROL SYSTEM TECHNOLOGY
CONTENTS SPACECRAFT AUTONOMY CHALLENGES FOR NEXT-GENERATION SPACE MISSIONS INTRODUCTION HIGH-LEVEL CHALLENGES AND HIGH-PRIORITY TECHNOLOGIES FOR SPACE AUTONOMOUS SYSTEMS RELATIVE GUIDANCE ALGORITHMIC CHALLENGES FOR AUTONOMOUS SPACECRAFT SCOPE NEED STATE OF THE ART CHALLENGES AND FUTURE DIRECTIONS EXTREME MOBILITY MICROGRAVITY MOBILITY CONCLUSIONS REFERENCES NEW GUIDANCE, NAVIGATION, AND CONTROL TECHNOLOGIES FOR FORMATION FLYING SPACECRAFT AND PLANETARY LANDING GN&C TECHNOLOGIES FOR PLANETARY LANDING IN HAZARDOUS TERRAIN DESIGN CONSIDERATIONS CASE STUDY 1: MARS ROBOTIC SYSTEM CASE STUDY 2: CREWED LUNAR SYSTEM SYSTEM COMPARISON PHASE SYNCHRONIZATION CONTROL OF SPACECRAFT SWARMS PROBLEM STATEMENT—CONTROLLING THE PHASE DIFFERENCES IN PERIODIC ORBITS PHASE SYNCHRONIZATION CONTROL LAW WITH ADAPTIVE GRAPHS MAIN STABILITY THEOREMS AND SIMULATION RESULTS APPLICATION OF PROBABILISTIC GUIDANCE TO SWARMS OF SPACECRAFT OPERATING IN EARTH ORBIT PROBABILISTIC GUIDANCE PROBLEM PROBABILISTIC GUIDANCE ALGORITHM (PGA) ADAPTATION OF PGA TO EARTH ORBITING SWARMS NONLINEAR STATE ESTIMATION AND SENSOR OPTIMIZATION PROBLEMS FOR DETECTION OF SPACE COLLISION EVENTS LEO SENSOR CONSTELLATION DESIGN AND COLLISION EVENT TESTBED SATELLITE COLLISION MODELING AND ESTIMATION CONCLUSION AIRCRAFT AUTONOMY CHALLENGES TO THE SAFE INTEGRATION OF UAVS IN THE NATIONAL AIRSPACE TECHNICAL ENHANCEMENTS FOR SAFE INSERTION OF UAVS IN THE NAS ON-BOARD AIR AUTONOMY SYSTEMS NEEDS CHALLENGES TO INTEGRATION OF UAVS IN THE NAS TECHNICAL ENHANCEMENTS FOR IMPROVED IN-AIR AUTONOMY—KEY TECHNOLOGIES CONCLUSIONS: A ROAD-MAP TO ADDRESS THE TECHNICAL CHALLENGES HUMAN-AUTOMATION COLLABORATION CHALLENGES IN THE COLLABORATIVE HUMAN-AUTOMATION SCHEDULING PROCESS CANDIDATE METHODS IN HUMAN-AUTOMATION COLLABORATIVE SCHEDULING TECHNICAL ENHANCEMENTS NEEDED FOR HUMANS INTERACTIONS WITH SCHEDULING ALGORITHMS AUTONOMY EVOLUTION FOR AIR TRAFFIC CONTROL CHALLENGES AND LIMITATIONS OF CURRENT AIR TRAFFIC MANAGEMENT SYSTEM ENHANCEMENTS MADE WITHIN ATC SYSTEM TECHNICAL ENHANCEMENTS NEEDED IN THE EVOLUTION OF AIRBORNE AND GROUND-BASED TECHNOLOGIES CONCLUSIONS AND PROPOSED ROAD-MAP CHALLENGES IN AEROSPACE DECISION AND CONTROL: AIR TRANSPORTATION SYSTEMS KEY NEXTGEN TOPICS SUPPORTING TECHNOLOGY RESEARCH CHALLENGES DESIGN OF AUTOMATION WITH GRACEFUL DEGRADATION MODES SYSTEM VERIFICATION AND VALIDATION (V&V) LARGE-SCALE, REAL-TIME OPTIMIZATION ALGORITHMS MULTI-OBJECTIVE, MULTI-STAKEHOLDER, OPTIMIZATION FRAMEWORKS DOMAIN-SPECIFIC RESEARCH CHALLENGES AIRPORT ARRIVAL MANAGEMENT AIRPORT DEPARTURE PROCESSES THE TRIP IS NOT OVER: PASSENGER MANAGEMENT IN THE TERMINALS DOMAIN-SPECIFIC CONTRIBUTIONS: ABSTRACT MODELING APPROACHES FROM DESIGN TO IMPLEMENTATION: AN AUTOMATED, CREDIBLE AUTOCODING CHAIN FOR CONTROL SYSTEMS CREDIBLE AUTOCODING FRAMEWORK INPUT AND OUTPUT LANGUAGES OF THE FRAMEWORK CONTROL SEMANTICS CONTROL SYSTEM STABILITY AND BOUNDEDNESS PROTOTYPE TOOL-CHAIN CONTROL SEMANTICS IN SIMULINK AND GENE-AUTO ANNOTATION BLOCKS AND BEHAVIORS IN THE MODEL CLOSED-LOOP STABILITY WITH BOUNDED INPUT EXPRESSING THE OBSERVER-BASED FAULT-DETECTION SEMANTICS CONTROL SEMANTICS AT THE LEVEL OF THE C CODE CLOSED LOOP SEMANTICS CONTROL SEMANTICS IN PVS AUTOCODING WITH CONTROL SEMANTICS BUILDING THE INPUT MODEL BASICS OF PROGRAM VERIFICATION HOARE LOGIC AND DEDUCTIVE VERIFICATION PREDICATE TRANSFORMERS STRONGEST POST-CONDITION TRANSLATION PROCESS FOR A SIMPLE DYNAMICAL SYSTEM GENE-AUTO+: A PROTOTYPE CREDIBLE AUTOCODER GENE-AUTO: TRANSLATION TRANSLATION OF ANNOTATIVE BLOCKS TRANSLATION AND INSERTION OF THE SYSTEM BLOCK TRANSLATION OF THE QUADRATIC BLOCKS TYPES OF QUADRATIC BLOCKS INSERTION OF ELLIPSOID OBJECTS COMPUTING THE STRONGEST POST-CONDITION AFFINE TRANSFORMATION S-PROCEDURE VERIFICATION OF THE STRONGEST POST-CONDITION AUTOMATIC VERIFICATION OF CONTROL SEMANTICS FROM C CODE TO PVS THEOREMS THEORY INTERPRETATION GENERICALLY DISCHARGING THE PROOFS IN PVS THE PVS-ELLIPSOID PLUGIN TO FRAMA-C CHECKING INCLUSION OF THE PROPAGATED ELLIPSOID RELATED WORKS