Verified Planar Formation Control Algorithms by Composition of Primitives
AIAA Guidance, Navigation, and Control Conference
01.01.2015
Aufsatz (Konferenz)
Elektronische Ressource
Englisch
Verified Planar Formation Control Algorithms by Composition of Primitives (AIAA 2015-1541)
British Library Conference Proceedings | 2015
|Raste algorithms for 2D primitives
TIBKAT | 1989
|Towards Composition of Verified Hardware Devices
NTIS | 1991
|