Autonomous robotic systems are complex, hybrid, and often safety critical; this makes their
formal specification and verification uniquely challenging. Though commonly used, testing …

Driven by the availability of experimental data and ability to simulate a biological scale
which is of immediate interest, the cellular scale is fast emerging as an ideal candidate for …

Swarm intelligence (SI) is a collective behaviour exhibited by groups of simple agents, such
as ants, bees, and birds, which can achieve complex tasks that would be difficult or …

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 …

In the early 1990s, NASA Goddard Space Flight Center started researching and developing
autonomous and autonomic ground and spacecraft control systems for future NASA …

In open systems exhibiting adaptation, behaviors can arise as side effects of intensive
components interaction. Finding ways to understand and design these systems, is a difficult …

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 …

NASA is researching advanced technologies for future exploration missions using intelligent
swarms of robotic vehicles. One of these missions is the Autonomous Nano-Technology …

We view an evolutionary system as being a software product line. The core architecture is
the unchanging part of the system, and each version of the system may be viewed as a …

The use of swarm technologies has become prevalent in a variety of application domains:
medical, bioinformatics, military/defense, surveillance, even internet television broadcasting …