FDIR Architectures for Autonomous Spacecraft: Specification and Assessment with Event-B.

Jean-Charles Chaudemar Charles Castel Christel Seguin

Published in: ABZ (2008)

Keyphrases

earth observing
event detection
mission planning
high level
formal specification
deep space
autonomous learning
robotic systems
event recognition
cooperative
data sets
specification language
event driven
spatio temporal
events occurring
decision making
neural network