Analysing robot swarm behaviour via probabilistic model checking
An alternative to deploying a single robot of high complexity can be to utilise robot swarms
comprising large numbers of identical, and much simpler, robots. Such swarms have been …
comprising large numbers of identical, and much simpler, robots. Such swarms have been …
[图书][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 …
Towards temporal verification of swarm robotic systems
A robot swarm is a collection of simple robots designed to work together to carry out some
task. Such swarms rely on the simplicity of the individual robots; the fault tolerance inherent …
task. Such swarms rely on the simplicity of the individual robots; the fault tolerance inherent …
A survey on trusted distributed artificial intelligence
MA Ağca, S Faye, D Khadraoui - IEEE Access, 2022 - ieeexplore.ieee.org
Emerging Artificial Intelligence (AI) systems are revolutionizing computing and data
processing approaches with their strong impact on society. Data is processed with …
processing approaches with their strong impact on society. Data is processed with …
Autonomous and autonomic swarms
MG Hinchey, JL Rash, WF Truszkowski… - … Research and Practice …, 2005 - ntrs.nasa.gov
A watershed in systems engineering is represented by the advent of swarm-based systems
that accomplish missions through cooperative action by a (large) group of autonomous …
that accomplish missions through cooperative action by a (large) group of autonomous …
Properties of a formal method for prediction of emergent behaviors in swarm-based systems
Autonomous intelligent swarms of satellites are being proposed for NASA missions that
have complex behaviors and interactions. The emergent properties of swarms make these …
have complex behaviors and interactions. The emergent properties of swarms make these …
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 …
Dependability modeling and optimization of triple modular redundancy partitioning for SRAM-based FPGAs
SRAM-based FPGAs are popular in the aerospace industry for their field programmability
and low cost. However, they suffer from cosmic radiation-induced Single Event Upsets …
and low cost. However, they suffer from cosmic radiation-induced Single Event Upsets …
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 …
Emergence-based self-advising in strong self-organizing systems: a case study in NASA ANTS mission
Self-organizing and self-adaptation are known as two necessary means for reducing costs
and efforts required for the maintenance of complex software systems. In strong self …
and efforts required for the maintenance of complex software systems. In strong self …