ASSL Specification of Emergent Self-Adapting Behavior for NASA Swarm-Based Exploration Missions.
Emil VassevMike HincheyPublished in: SASO Workshops (2008)
Keyphrases
- collective behavior
- swarm intelligence
- social behavior
- neural network
- emergent behavior
- cooperative
- case study
- space shuttle
- particle swarm optimization
- search space
- programming language
- formal specification
- multi objective
- specification language
- evolutionary process
- qualitative simulation
- technology transfer
- search and rescue
- space exploration
- objective function
- high level