Sökning: "robot search"

Visar resultat 1 - 5 av 31 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]
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES;

    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. Planning and Sequencing Through Multimodal Interaction for Robot Programming

    Detta är en avhandling från Västerås : Mälardalen University

    Författare :Batu Akan; Mälardalens högskola.; [2014]
    Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; NATURVETENSKAP; NATURAL SCIENCES; NATURVETENSKAP; NATURAL SCIENCES; human robot interaction; industrial robots; planning; multimodal interaction; Computer Science; datavetenskap;

    Sammanfattning : Over the past few decades the use of industrial robots has increased the efficiency as well as the competitiveness of several sectors. Despite this fact, in many cases robot automation investments are considered to be technically challenging. In addition, for most small and medium-sized enterprises (SMEs) this process is associated with high costs. LÄS MER