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

Author: Walt Truszkowski

Publisher: Springer Science & Business Media

Published: 2009-11-12

Total Pages: 295

ISBN-13: 1846282330

DOWNLOAD EBOOK

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 station software and reduce the number of people needed to control a spacecraft. This was followed by research into agent-based technology to develop autonomous ground c- trol and spacecraft. Research into this area has now evolved into using the concepts of autonomic systems to make future space missions self-managing and giving them a high degree of survivability in the harsh environments in which they operate. This book describes much of the results of this research. In addition, it aimstodiscusstheneededsoftwaretomakefutureNASAspacemissionsmore completelyautonomousandautonomic.Thecoreofthesoftwareforthesenew missions has been written for other applications or is being applied gradually in current missions, or is in current development. It is intended that this book should document how NASA missions are becoming more autonomous and autonomic and should point to the way of making future missions highly - tonomous and autonomic. What is not covered is the supporting hardware of these missions or the intricate software that implements orbit and at- tude determination, on-board resource allocation, or planning and scheduling (though we refer to these technologies and give references for the interested reader).

Autonomy Requirements Engineering for Space Missions
Autonomy Requirements Engineering for Space Missions

Author: Emil Vassev

Publisher: Springer

Published: 2014-08-27

Total Pages: 260

ISBN-13: 3319098160

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 supporting the use of unmanned craft and the use of automation and robotic technologies where possible. Autonomy in space helps to increase the amount of science data returned from missions, perform new science, and reduce mission costs. Elicitation and expression of autonomy requirements is one of the most significant challenges the autonomous spacecraft engineers need to overcome today. This book discusses the Autonomy Requirements Engineering (ARE) approach, intended to help software engineers properly elicit, express, verify, and validate autonomy requirements. Moreover, a comprehensive state-of-the-art of software engineering for aerospace is presented to outline the problems handled by ARE along with a proof-of-concept case study on the ESA's BepiColombo Mission demonstrating the ARE’s ability to handle autonomy requirements.

Formal Methods for Industrial Critical Systems
Formal Methods for Industrial Critical Systems

Author: Stefania Gnesi

Publisher: John Wiley & Sons

Published: 2012-11-27

Total Pages: 256

ISBN-13: 1118459873

DOWNLOAD EBOOK

Today, formal methods are widely recognized as an essential step in the design process of industrial safety-critical systems. In its more general definition, the term formal methods encompasses all notations having a precise mathematical semantics, together with their associated analysis methods, that allow description and reasoning about the behavior of a system in a formal manner. Growing out of more than a decade of award-winning collaborative work within the European Research Consortium for Informatics and Mathematics, Formal Methods for Industrial Critical Systems: A Survey of Applications presents a number of mainstream formal methods currently used for designing industrial critical systems, with a focus on model checking. The purpose of the book is threefold: to reduce the effort required to learn formal methods, which has been a major drawback for their industrial dissemination; to help designers to adopt the formal methods which are most appropriate for their systems; and to offer a panel of state-of-the-art techniques and tools for analyzing critical systems.

Modern Spacecraft Guidance, Navigation, and Control
Modern Spacecraft Guidance, Navigation, and Control

Author: Vincenzo Pesce

Publisher: Elsevier

Published: 2022-11-13

Total Pages: 1074

ISBN-13: 0323909175

DOWNLOAD EBOOK

Modern Spacecraft Guidance, Navigation, and Control: From System Modeling to AI and Innovative Applications provides a comprehensive foundation of theory and applications of spacecraft GNC, from fundamentals to advanced concepts, including modern AI-based architectures with focus on hardware and software practical applications. Divided into four parts, this book begins with an introduction to spacecraft GNC, before discussing the basic tools for GNC applications. These include an overview of the main reference systems and planetary models, a description of the space environment, an introduction to orbital and attitude dynamics, and a survey on spacecraft sensors and actuators, with details of their modeling principles. Part 2 covers guidance, navigation, and control, including both on-board and ground-based methods. It also discusses classical and novel control techniques, failure detection isolation and recovery (FDIR) methodologies, GNC verification, validation, and on-board implementation. The final part 3 discusses AI and modern applications featuring different applicative scenarios, with particular attention on artificial intelligence and the possible benefits when applied to spacecraft GNC. In this part, GNC for small satellites and CubeSats is also discussed. Modern Spacecraft Guidance, Navigation, and Control: From System Modeling to AI and Innovative Applications is a valuable resource for aerospace engineers, GNC/AOCS engineers, avionic developers, and AIV/AIT technicians. - Provides an overview of classical and modern GNC techniques, covering practical system modeling aspects and applicative cases - Presents the most important artificial intelligence algorithms applied to present and future spacecraft GNC - Describes classical and advanced techniques for GNC hardware and software verification and validation and GNC failure detection isolation and recovery (FDIR)

Formal Approaches to Agent-Based Systems
Formal Approaches to Agent-Based Systems

Author: Michael G. Hinchey

Publisher: Springer

Published: 2005-01-25

Total Pages: 298

ISBN-13: 3540309608

DOWNLOAD EBOOK

The 3rd Workshop on Formal Approaches to Agent-Based Systems (FAABS-III) was held at the Greenbelt Marriott Hotel (near NASA Goddard Space Flight Center) in April 2004 in conjunction with the IEEE Computer Society. The first FAABS workshop was help in April 2000 and the second in October 2002. Interest in agent-based systems continues to grow and this is seen in the wide range of conferences and journals that are addressing the research in this area as well as the prototype and developmental systems that are coming into use. Our third workshop, FAABS-III, was held in April, 2004. This volume contains the revised papers and posters presented at that workshop. The Organizing Committee was fortunate in having significant support in the planning and organization of these events, and were privileged to have wor- renowned keynote speakers Prof. J Moore (FAABS-I), Prof. Sir Roger Penrose (FAABS-II), and Prof. John McCarthy (FAABS-III), who spoke on the topic of se- aware computing systems, auguring perhaps a greater interest in autonomic computing as part of future FAABS events. We are grateful to all who attended the workshop, presented papers or posters, and participated in panel sessions and both formal and informal discussions to make the workshop a great success. Our thanks go to the NASA Goddard Space Flight Center, Codes 588 and 581 (Software Engineering Laboratory) for their financial support and to the IEEE Computer Society (Technical Committee on Complexity in Computing) for their sponsorship and organizational assistance.

Towards Autonomous Robotic Systems
Towards Autonomous Robotic Systems

Author: Roderich Groß

Publisher: Springer Science & Business Media

Published: 2011-08-19

Total Pages: 451

ISBN-13: 3642232310

DOWNLOAD EBOOK

This book constitutes the refereed proceedings of the 12th Annual Conference Towards Autonomous Robotics Systems, TAROS 2011, held in Sheffield, UK, in August/September 2011. The 32 revised full papers presented together with 29 two-page abstracts were carefully reviewed and selected from 94 submissions. Among the topics addressed are robot navigation, robot learning, human-robot interaction, robot control, mobile robots, reinforcement learning, robot vehicles, swarm robotic systems, etc.

Autonomic Road Transport Support Systems
Autonomic Road Transport Support Systems

Author: Thomas Leo McCluskey

Publisher: Birkhäuser

Published: 2016-05-03

Total Pages: 303

ISBN-13: 3319258087

DOWNLOAD EBOOK

The work on Autonomic Road Transport Support (ARTS) presented here aims at meeting the challenge of engineering autonomic behavior in Intelligent Transportation Systems (ITS) by fusing research from the disciplines of traffic engineering and autonomic computing. Ideas and techniques from leading edge artificial intelligence research have been adapted for ITS over the last 30 years. Examples include adaptive control embedded in real time traffic control systems, heuristic algorithms (e.g. in SAT-NAV systems), image processing and computer vision (e.g. in automated surveillance interpretation). Autonomic computing which is inspired from the biological example of the body’s autonomic nervous system is a more recent development. It allows for a more efficient management of heterogeneous distributed computing systems. In the area of computing, autonomic systems are endowed with a number of properties that are generally referred to as self-X properties, including self-configuration, self-healing, self-optimization, self-protection and more generally self-management. Some isolated examples of autonomic properties such as self-adaptation have found their way into ITS technology and have already proved beneficial. This edited volume provides a comprehensive introduction to Autonomic Road Transport Support (ARTS) and describes the development of ARTS systems. It starts out with the visions, opportunities and challenges, then presents the foundations of ARTS and the platforms and methods used and it closes with experiences from real-world applications and prototypes of emerging applications. This makes it suitable for researchers and practitioners in the fields of autonomic computing, traffic and transport management and engineering, AI, and software engineering. Graduate students will benefit from state-of-the-art description, the study of novel methods and the case studies provided.

Handbook of Power Electronics in Autonomous and Electric Vehicles
Handbook of Power Electronics in Autonomous and Electric Vehicles

Author: Muhammad H. Rashid

Publisher: Elsevier

Published: 2024-07-22

Total Pages: 370

ISBN-13: 0323950981

DOWNLOAD EBOOK

Handbook of Power Electronics in Autonomous and Electric Vehicles provides advanced knowledge on autonomous systems, electric propulsion in electric vehicles, radars and sensors for autonomous systems, and relevant aspects of energy storage and battery charging. The work is designed to provide clear technical presentation with a focus on commercial viability. It supports any and all aspects of a project requiring specialist design, analysis, installation, commissioning and maintenance services. With this book in hand, engineers will be able to execute design, analysis and evaluation of assigned projects using sound engineering principles and commercial requirements, policies, and product and program requirements. - Presents core power systems and engineering applications relevant to autonomous and electric vehicles in characteristic depth and technical presentation - Offers practical support and guidance with detailed examples and applications for laboratory vehicular test plans and automotive field experimentation - Includes modern technical coverage of emergent fields, including sensors and radars, battery charging and monitoring, and vehicle cybersecurity

Nanorobotics
Nanorobotics

Author: Constantinos Mavroidis

Publisher: Springer Science & Business Media

Published: 2013-01-04

Total Pages: 464

ISBN-13: 1461421195

DOWNLOAD EBOOK

Nanorobots can be defined as intelligent systems with overall dimensions at or below the micrometer range that are made of assemblies of nanoscale components with individual dimensions ranging between 1 to 100 nm. These devices can now perform a wide variety of tasks at the nanoscale in a wide variety of fields including but not limited to fields such as manufacturing, medicine, supply chain, biology, and aerospace. Nanorobotics: Current Approaches and Techniques offers a comprehensive overview of this emerging interdisciplinary field with a wide ranging discussion that includes nano-manipulation and industrial nanorobotics, nanorobotic manipulation in biology and medicine, nanorobotic sensing, navigation and swarm behavior and CNT, and protein and DNA-based nanorobotics.

Semantic Web: Concepts, Technologies and Applications
Semantic Web: Concepts, Technologies and Applications

Author: Karin Breitman

Publisher: Springer Science & Business Media

Published: 2007-01-24

Total Pages: 329

ISBN-13: 184628581X

DOWNLOAD EBOOK

The Web is growing at an astounding pace surpassing the 8 billion page mark. However, most pages are still designed for human consumption and cannot be processed by machines. This book provides a well-paced introduction to the Semantic Web. It covers a wide range of topics, from new trends (ontologies, rules) to existing technologies (Web Services and software agents) to more formal aspects (logic and inference). It includes: real-world (and complete) examples of the application of Semantic Web concepts; how the technology presented and discussed throughout the book can be extended to other application areas.