How to evolve safe control strategies

Autonomous space vehicles need adaptive control strategies that can accommodate unanticipated environmental conditions. The evaluation of new strategies can often be done only by actually trying them out in the real physical environment. Consequently, a candidate control strategy must be deemed safe - i.e., it won't damage any systems - prior to being tested online. How to do this efficiently has been a challenging problem. We propose using evolutionary programming in conjunction with a formal verification technique (called model checking) to evolve candidate control strategies that are guaranteed to be safe for implementation and evaluation.

[1]  Y. J. Cao,et al.  Evolutionary programming , 1997, Proceedings of 1997 IEEE International Conference on Evolutionary Computation (ICEC '97).

[2]  E. Clarke,et al.  Symbolic Model Checking : IO * ’ States and Beyond * , 1992 .

[3]  Edmund M. Clarke,et al.  Symbolic Model Checking: 10^20 States and Beyond , 1990, Inf. Comput..

[4]  Tughrul Arslan,et al.  Proceedings of the 2003 NASA/DoD Conference on Evolvable Hardware , 2003 .

[5]  Douglas E. Bernard,et al.  Autonomy and software technology on NASA's Deep Space One , 1999, IEEE Intell. Syst..

[6]  Kenneth L. McMillan,et al.  Symbolic model checking , 1992 .

[7]  Edmund M. Clarke,et al.  Symbolic model checking for sequential circuit verification , 1993, IEEE Trans. Comput. Aided Des. Integr. Circuits Syst..