Coordination Control Design for Formation Reconfiguration of Multiple Spacecraft
Machine Learning for Slow but Steady Interplanetary Construction
A Structured Approach to Verifying and Validating Expert Systems
Binocular Active Vision System
A Framework for an Environment for Developing Graphic Related Applications
Human-Computer Interaction In Medical Systems
Effective Use Of Intelligent Sensors On Man-Machine Interface
The Effects Of Age On Vehicular Control
Reusable Models of Complex Requirements
Evaluation And Use of Prototypes Cases In Air Traffic Control
Invariant Approach For Validation of Aggregative Specifications
Finite-Time Fault Tolerant Attitude Tracking Control for Rigid Spacecraft with Actuator Saturation
An Interval Approach to Software Reliability Evaluation Using Importance Metrics
Training For Technology: Validation and Verification Issues
Some Empirical Results Concerning Validation In Driver Selection
Radar Controller's Problem Solving and Decision Making Skills
Risk Assessment of Flight Critical Software
Faltering From Ethnography To Design
Driver Vision Testing Theoretical and Methodological Problems
Verification and Validation of the Human Factor in Flight Safety Work
Concepts For Verification and Validation Of New Automated Flight Instrument Systems (AFIS)
Dynamic Positioning System (DPS) Risk Analysis Using Probabilistic Risk Assessment (PRA)
Correlated Extremes for Agriculture and Food Security Applications
Finite-Time Attitude Control of Multiple Rigid Spacecraft Using Terminal Sliding Mode
Finite-Time Attitude Stabilization for Rigid Spacecraft
Decentralized Finite-Time Attitude Synchronization and Tracking Control for Rigid Spacecraft
Adaptive Attitude Tracking Control for Rigid Spacecraft with Finite-Time Convergence
Finite-Time Attitude Control for Rigid Spacecraft Based on Adaptive Super-Twisting Algorithm
Fidelity of Modeling, Simulation, and Analysis to Support Air Force Decision Making
Simulating New Drop Test Vehicles and Test Techniques for the Orion CEV Parachute Assembly System
Development and Field Testing of the FootFall Planning System for the ATHLETE Robots
Resource Management and Contingencies in Aerospace Concurrent Engineering
Challenges with Electrical, Electronics, and Electromechanical Parts for James Webb Space Telescope
Projected Impact of Compositional Verification on Current and Future Aviation Safety Risk
Distributed Fault-Tolerant Control Design for Spacecraft Finite-Time Attitude Synchronization
Coordination Control of Multiple Euler-Lagrange Systems for Escorting Mission
Engineering Elegant Systems: Systems as Mathematical Categories