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 …
Towards an ASSL specification model for NASA swarm-based exploration missions
NASA swarm-based exploration missions represent a new class of concept missions based
on the cooperative nature of a hive culture. A mission of this class requires an autonomic …
on the cooperative nature of a hive culture. A mission of this class requires an autonomic …
Energy-and time-optimal reconfiguration of spacecraft clusters with collision avoidance
Y Huang, S Sun, J Chu - Proceedings of the Institution of …, 2023 - journals.sagepub.com
Spacecraft cluster reconfiguration is one of the enabling technologies to ensure non-
traditional attributes of distributed space systems. This work treats energy-and time-optimal …
traditional attributes of distributed space systems. This work treats energy-and time-optimal …
Stigmergy based behavioural coordination for satellite clusters
H Tripp, P Palmer - Acta Astronautica, 2010 - Elsevier
Multi-platform swarm/cluster missions are an attractive prospect for improved science return
as they provide a natural capability for temporal, spatial and signal separation with further …
as they provide a natural capability for temporal, spatial and signal separation with further …
A runtime verification framework for dynamically adaptive multi-agent systems
Dynamically adaptive multi-agent systems (DAMS) consist of multiple agents that adapt to
changing system and environmental conditions in order to achieve collaborative goals. As …
changing system and environmental conditions in order to achieve collaborative goals. As …
99%(Biological) Inspiration...
MG Hinchey, R Sterritt - IFIP International Conference on Biologically …, 2006 - Springer
Greater understanding of biology in modern times has enabled significant breakthroughs in
improving healthcare, quality of life, and eliminating many diseases and congenital …
improving healthcare, quality of life, and eliminating many diseases and congenital …
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 …
Modeling the Image-processing Behavior of the NASA Voyager Mission with ASSL
NASA exploration missions increasingly rely on the concepts of autonomic computing,
exploiting these to increase the survivability of remote missions, particularly when human …
exploiting these to increase the survivability of remote missions, particularly when human …
Intensional cyberforensics
SA Mokhov - arXiv preprint arXiv:1312.0466, 2013 - arxiv.org
This work focuses on the application of intensional logic to cyberforensic analysis and its
benefits and difficulties are compared with the finite-state-automata approach. This work …
benefits and difficulties are compared with the finite-state-automata approach. This work …
A self-scheduling model for NASA swarm-based exploration missions using ASSL
This article presents our research towards a self-scheduling mechanism for the NASA
swarm-based exploration missions. By its virtue, ANTS (Autonomous Nano Technology …
swarm-based exploration missions. By its virtue, ANTS (Autonomous Nano Technology …