Search
Now showing items 1-4 of 4
Timed model-based programming : executable specifications for robust mission-critical sequences
(Massachusetts Institute of Technology, 2003)
There is growing demand for high-reliability embedded systems that operate robustly and autonomously in the presence of tight real-time constraints. For robotic spacecraft, robust plan execution is essential during ...
Nonlinear control and synchronization of multiple Lagrangian systems with application to tethered formation flight spacecraft
(Massachusetts Institute of Technology, 2007)
This dissertation focuses on the synchronization of multiple dynamical systems using contraction theory, with applications to cooperative control of multi-agent systems and synchronization of interconnected dynamics such ...
Development of a guidance, navigation and control architecture and validation process enabling autonomous docking to a tumbling satellite
(Massachusetts Institute of Technology, 2007)
The capability to routinely perform autonomous docking is a key enabling technology for future space exploration, as well as assembly and servicing missions for spacecraft and commercial satellites. Particularly, in more ...
Modeling and managing separation for noise abatement arrival procedures
(Massachusetts Institute of Technology, 2007)
Aircraft noise is a significant concern to communities near airports, and therefore a constraint to the growth of aviation. Advanced noise abatement approach and arrival procedures have been shown in previous studies and ...