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 …

Towards an ASSL specification model for NASA swarm-based exploration missions

E Vassev, M Hinchey, J Paquet - … of the 2008 ACM symposium on …, 2008 - dl.acm.org
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 …

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 …

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 …

A runtime verification framework for dynamically adaptive multi-agent systems

YJ Lim, G Hong, D Shin, E Jee… - … Conference on Big Data …, 2016 - ieeexplore.ieee.org
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 …

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 …

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 …

Modeling the Image-processing Behavior of the NASA Voyager Mission with ASSL

E Vassev, M Hinchey - 2009 Third IEEE International …, 2009 - ieeexplore.ieee.org
NASA exploration missions increasingly rely on the concepts of autonomic computing,
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 …

A self-scheduling model for NASA swarm-based exploration missions using ASSL

E Vassev, M Hinchey, J Paquet - Fifth IEEE Workshop on …, 2008 - ieeexplore.ieee.org
This article presents our research towards a self-scheduling mechanism for the NASA
swarm-based exploration missions. By its virtue, ANTS (Autonomous Nano Technology …