Sökning: "robot search"

Visar resultat 1 - 5 av 33 avhandlingar innehållade orden robot search.

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

    Detta är en avhandling från Stockholm : KTH Royal Institute of Technology

    Författare :Philipp Schillinger; KTH.; [2017]
    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

  2. 2. Functional understanding of space Representing spatial knowledge using concepts grounded in an agent's purpose

    Detta är en avhandling från Stockholm : KTH Royal Institute of Technology

    Författare :Kristoffer Sjöö; KTH.; KTH.; [2011]
    Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; spatial representation; autonomous robots; spatial understanding; semantic mapping; spatial relations; visual search; robot search;

    Sammanfattning : This thesis examines the role of function in representations of space by robots - that is, dealing directly and explicitly with those aspects of space and objects in space that serve some purpose for the robot. It is suggested that taking function into account helps increase the generality and robustness of solutions in an unpredictable and complex world, and the suggestion is affirmed by several instantiations of functionally conceived spatial models. LÄS MER

  3. 3. Formations and Obstacle Avoidance in Mobile Robot Control

    Detta är en avhandling från Stockholm : KTH, Matematik

    Författare :Petter Ögren; KTH.; [2003]
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; Mobile Robots; Robot Control; Obstacle Avoidance; Multi-robot system; Formation Control; Navigation Function; Lyapunov Function; Model Predictive Control; Receding Horizon Control; Gradient Climbing; Gradient Estimation.;

    Sammanfattning : This thesis consists of four independent papers concerningthe control of mobile robots in the context of obstacleavoidance and formation keeping.The first paper describes a new theoreticallyv erifiableapproach to obstacle avoidance. LÄS MER

  4. 4. Toward human-robot collaboration

    Detta är en avhandling från Stockholm : Numerisk analys och datalogi

    Författare :Kristian T. Simsarian; KTH.; SICS.; [2000]

    Sammanfattning : Recently robots have been launched as tour-guides in museums, and as lawnmowers, in-home vacuum cleaners, and remotely operated machines in so-called distant, dangerous and dirty applications. While the methods to endow robots with a degree of autonomy have been a strong research focus, the methods for human-machine control have not been given as much attention. LÄS MER

  5. 5. Robot Manipulation Planning Among Obstacles: Grasping, Placing and Rearranging

    Detta är en avhandling från Stockholm : KTH Royal Institute of Technology

    Författare :Joshua Alexander Haustein; KTH.; [2020]
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; NATURVETENSKAP; NATURAL SCIENCES; robot manipulation planning; sampling-based planning; fingertip grasp planning; placement planning; rearrangement planning; Datalogi; Computer Science;

    Sammanfattning : This thesis presents planning algorithms for three different robot manipulation tasks: fingertip grasping, object placing and rearranging. Herein, we place special attention on addressing these tasks in the presence of obstacles. LÄS MER