Formal mission specification and execution mechanisms for unmanned aircraft systems
Unmanned Aircraft Systems (UAS) are rapidly gaining attention due to the increasing potential of their applications in the civil domain. UAS can provide great value performing environmental applications, during emergency situations, as monitoring and surveillance tools, and operating as communicatio...
Main Author: | Santamaría Barnadas, Eduard |
---|---|
Other Authors: | Barrado, Cristina |
Format: | Doctoral Thesis |
Language: | English |
Published: |
Universitat Politècnica de Catalunya
2010
|
Subjects: | |
Online Access: | http://hdl.handle.net/10803/6020 http://nbn-resolving.de/urn:isbn:9788469404317 |
Similar Items
-
Adaptive execution environments for application servers
by: Carrera Pérez, David
Published: (2008) -
Lightweight and static verification of UML executable models
by: Planas Hortal, Elena
Published: (2013) -
Optimizing SIMD execution in HW/SW co-designed processors
by: Kumar, Rakesh
Published: (2014) -
ASALBP: the Alternative Subgraphs Assembly Line Balancing Problem. Formalization and Resolution Procedures
by: Capacho Betancourt, Liliana
Published: (2008) -
Spectral analysis of executions of computer programs and its applications on performance analysis
by: Casas Guix, Marc
Published: (2010)