Enhanced frameworks for safety verification of autonomous rendezvous systems
We consider the safety of a V-bar hopping manoeuvre which forms part of the final stage in autonomous space rendezvous. This manoeuvre is controlled by thrusters: we assume these inputs are perfect impulses and model the system in a hybrid automaton framework. We consider the operation of the system...
| Asıl Yazarlar: | , |
|---|---|
| Materyal Türü: | Conference item |
| Baskı/Yayın Bilgisi: |
IFAC Secretariat
2010
|