Using Formal Methods and Agent-Oriented Software Engineering for Modeling NASA Swarm-Based Systems

NASA is conducting research on advanced technologies for future exploration using intelligent swarms of robotic vehicles. One of these missions is the Autonomous Nano Technology Swarm (ANTS) mission that will explore the asteroid belt using 1,000 cooperative autonomous spacecraft. From an engineerin...

Celý popis

Podrobná bibliografie

Vydáno v:	2007 IEEE Swarm Intelligence Symposium : Honolulu, HI, 1-5 April 2007 s. 348 - 355
Hlavní autoři:	Rouff, C.A., Hinchey, M.G., Pena, J., Ruiz-Cortes, A.
Médium:	Konferenční příspěvek
Jazyk:	angličtina
Vydáno:	IEEE 01.04.2007
Témata:	Belts Intelligent robots Intelligent vehicles NASA Orbital robotics Particle swarm optimization Remotely operated vehicles Software engineering Space technology Space vehicles
ISBN:	9781424407088, 1424407087
On-line přístup:	Získat plný text
Tagy:	Přidat tag Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!