All ebooks in the collection "NASA Monographs in Systems and Software Engineering" - Springer

ACS Without an Attitude

Harold L. Hallock , Christopher Rouff , David G. Simpson , Gary Welter

This book de-emphasizes the formal mathematical description of spacecraft on-board attitude and orbit applications in favor of a more qualitative, concept-oriented presentation of these topics. The information presented in this book was originally given as a...

Provably Correct Systems

Jonathan P. Bowen , Mike Hinchey , Ernst-Rüdiger Olderog

As computers increasingly control the systems and services we depend upon within our daily lives like transport, communications, and the media, ensuring these systems function correctly is of utmost importance. This book consists of twelve chapters and one historical...

Autonomy Requirements Engineering for Space Missions

Mike Hinchey , Emil Vassev

Advanced space exploration is performed by unmanned missions with integrated autonomy in both flight and ground systems. Risk and feasibility are major factors supporting the use of unmanned craft and the use of automation and robotic technologies where possible....

Autonomous and Autonomic Systems: With Applications to NASA Intelligent Spacecraft Operations and Exploration Systems

Collectif

In the early 1990s, NASA Goddard Space Flight Center started researching and developing autonomous and autonomic ground and spacecraft control systems for future NASA missions. This research started by experimenting with and developing expert systems to automate ground...

Agent Technology from a Formal Perspective

Christopher Rouff