Sökning: "Mission Decomposition"

Visar resultat 1 - 5 av 6 avhandlingar innehållade orden Mission Decomposition.

1. 1. Specification Decomposition and Formal Behavior Generation in Multi-Robot Systems

   Författare :Philipp Schillinger; Dimos V. Dimarogonas; Daniele Magazzeni; KTH; []
   Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; ltl; robot; robotics; multi-agent; behavior synthesis; formal methods; decomposition; high-level planning; multi-objective search; resource constraints; Electrical Engineering; Elektro- och systemteknik;

   Sammanfattning : While autonomous robot systems are becoming increasingly common, their usage is still mostly limited to rather simple tasks. This primarily results from the need for manually programming the execution plans of the robots. Instead, as shown in this thesis, their behavior can be automatically generated from a given goal specification. LÄS MER

3. 2. Specification Decomposition and Formal Behavior Generation in Multi-Robot Systems

   Författare :Philipp Schillinger; Dimos V. Dimarogonas; Mathias Bürger; Stephen L. Smith; KTH; []
   Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; Multi-Robot Systems; Linear Temporal Logics; LTL; Robotics; Behavior Synthesis; Constrained Planning; Planning under Uncertainty; Multi-Agent Planning; Task Allocation; Mission Decomposition; Formal Methods; Electrical Engineering; Elektro- och systemteknik;

   Sammanfattning : Autonomous robot systems are becoming increasingly common in service applications and industrial scenarios. However, their use is still mostly limited to rather simple tasks. This primarily results from the considerable effort that is required to manually program the execution plans of the robots. LÄS MER

4. 3. On Cooperative Surveillance, Online Trajectory Planning and Observer Based Control

   Författare :David A. Anisi; Xiaoming Hu; Randal Beard; KTH; []
   Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; Surveillance Missions; Minimum-Time Surveillance; Unmanned Ground Vehicles; Connectivity Constraints; Combinatorial Optimization; Computational Optimal Control; Receding Horizon Control; Mission Uncertainty; Safety; Task Completion; Adaptive Grid Methods; Missile Guidance; Nonlinear Observer Design; Active Observers; Non--uniformly Observable Systems; Mobile Robotic Systems; Intrinsic Observers; Differential Geometric Methods; Euler-Lagrange Systems; Contraction Analysis.; Optimization; systems theory; Optimeringslära; systemteori; Applied mathematics; Tillämpad matematik;

   Sammanfattning : The main body of this thesis consists of six appended papers. In the  first two, different  cooperative surveillance problems are considered. The second two consider different aspects of the trajectory planning problem, while the last two deal with observer design for mobile robotic and Euler-Lagrange systems respectively. LÄS MER

5. 4. Design Optimization of Unmanned Aerial Vehicles : A System of Systems Approach

   Författare :Athanasios Papageorgiou; Johan Ölvander; Mehdi Tarkian; Michael Kokkolaras; Linköpings universitet; []
   Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY;

   Sammanfattning : Over the last years, Unmanned Aerial Vehicles (UAVs) have gradually become a more efficient alternative to manned aircraft, and at present, they are being deployed in a broad spectrum of both military as well as civilian missions. This has led to an unprecedented market expansion with new challenges for the aeronautical industry, and as a result, it has created a need to implement the latest design tools in order to achieve faster idea-to-market times and higher product performance. LÄS MER

7. 5. Concurrent Development of Product and Packaging - Towards an Integrated Development Procedure

   Författare :Caroline Bramklev; Förpackningslogistik; []
   Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY;

   Sammanfattning : The global company operates from a number of locations worldwide, which entails geographical distances and logistical implications for product and parts transported, as well as the choice of product variety because of numerable worldwide consumer preferences. In these companies, packaging becomes a frequently used object to complement product features and achieve an effective and efficient means of transportation. LÄS MER