Autonomous and autonomic systems: A paradigm for future space exploration missions
WF Truszkowski, MG Hinchey, JL Rash… - IEEE Transactions on …, 2006 - ieeexplore.ieee.org
More and more, the National Aeronautics and Space Administration (NASA) will rely on
concepts from autonomous systems not only in mission control centers on the ground, but …
concepts from autonomous systems not only in mission control centers on the ground, but …
[图书][B] Autonomous and autonomic systems: with applications to NASA intelligent spacecraft operations and exploration systems
W Truszkowski, H Hallock, C Rouff, J Karlin, J Rash… - 2009 - books.google.com
In the early 1990s, NASA Goddard Space Flight Center started researching and developing
autonomous and autonomic ground and spacecraft control systems for future NASA …
autonomous and autonomic ground and spacecraft control systems for future NASA …
Assured Autonomy Survey
Autonomous robots and other systems are no longer just subjects of science fiction, but are
becoming common occurrences in our everyday lives. Autonomous vacuum cleaners …
becoming common occurrences in our everyday lives. Autonomous vacuum cleaners …
Requirements to design to code: Towards a fully formal approach to automatic code generation
MG Hinchey, JL Rash, CA Rouff - 2005 - ntrs.nasa.gov
A general-purpose method to mechanically transform system requirements into a provably
equivalent model has yet to appear. Such a method represents a necessary step toward …
equivalent model has yet to appear. Such a method represents a necessary step toward …
Verification of NASA emergent systems
C Rouff, A Vanderbilt, W Truskowski… - … on Engineering of …, 2004 - ieeexplore.ieee.org
NASA is studying advanced technologies for a future robotic exploration mission to the
asteroid belt. This mission, the prospective ANTS (Autonomous Nano Technology Swarm) …
asteroid belt. This mission, the prospective ANTS (Autonomous Nano Technology Swarm) …
Experiences applying formal approaches in the development of swarm-based space exploration systems
CA Rouff, MG Hinchey, WF Truszkowski… - International Journal on …, 2006 - Springer
NASA is researching advanced technologies for future exploration missions using intelligent
swarms of robotic vehicles. One of these missions is the Autonomous Nano-Technology …
swarms of robotic vehicles. One of these missions is the Autonomous Nano-Technology …
A test agent for testing agents and their communities
C Rouff - Proceedings, IEEE Aerospace Conference, 2002 - ieeexplore.ieee.org
Current research and development of agent-based systems has focused primarily on
architectures, protocols, frameworks, messaging infrastructure and community interactions …
architectures, protocols, frameworks, messaging infrastructure and community interactions …
Requirements of an integrated formal method for intelligent swarms
MG Hinchey, CA Rouff, JL Rash… - Proceedings of the 10th …, 2005 - dl.acm.org
The use of swarm technologies has become prevalent in a variety of application domains:
medical, bioinformatics, military/defense, surveillance, even internet television broadcasting …
medical, bioinformatics, military/defense, surveillance, even internet television broadcasting …
Verification and validation of autonomous systems
MG Hinchey, JL Rash, CA Rouff - Proceedings 26th Annual …, 2001 - ieeexplore.ieee.org
NASA is working on complex future missions that require cooperation between multiple
satellites or rovers. To implement these systems, developers are proposing and using …
satellites or rovers. To implement these systems, developers are proposing and using …
A formal approach to requirements-based programming
MG Hinchey, JL Rash, CA Rouff - 12th IEEE International …, 2005 - ieeexplore.ieee.org
No significant general-purpose method is currently available to mechanically transform
system requirements into a provably equivalent model. The widespread use of such a …
system requirements into a provably equivalent model. The widespread use of such a …