Related Books

Autonomy Requirements Engineering for Space Missions
Language: en
Pages: 260
Authors: Emil Vassev
Categories: Computers
Type: BOOK - Published: 2014-08-27 - Publisher: Springer

DOWNLOAD EBOOK

Advanced space exploration is performed by unmanned missions with integrated autonomy in both flight and ground systems. Risk and feasibility are major factors
Autonomous and Autonomic Systems: With Applications to NASA Intelligent Spacecraft Operations and Exploration Systems
Language: en
Pages: 295
Authors: Walt Truszkowski
Categories: Technology & Engineering
Type: BOOK - Published: 2009-11-12 - Publisher: Springer Science & Business Media

DOWNLOAD EBOOK

In the early 1990s, NASA Goddard Space Flight Center started researching and developing autonomous and autonomic ground and spacecraft control systems for futur
Advances in Control System Technology for Aerospace Applications
Language: en
Pages: 192
Authors: Eric Feron
Categories: Technology & Engineering
Type: BOOK - Published: 2015-09-16 - Publisher: Springer

DOWNLOAD EBOOK

This book is devoted to Control System Technology applied to aerospace and covers the four disciplines Cognitive Engineering, Computer Science, Operations Resea
Space Robotics and Autonomous Systems
Language: en
Pages: 485
Authors: Yang Gao
Categories: Technology & Engineering
Type: BOOK - Published: 2021-08-24 - Publisher: IET

DOWNLOAD EBOOK

This edited book covers space robotics and autonomous systems (space RAS) from technologies to advances and applications including sensing and perception, mobil
Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques
Language: en
Pages: 985
Authors: Tiziana Margaria
Categories: Computers
Type: BOOK - Published: 2016-10-05 - Publisher: Springer

DOWNLOAD EBOOK

The two-volume set LNCS 9952 and LNCS 9953 constitutes the refereed proceedings of the 7th International Symposium on Leveraging Applications of Formal Methods,