Sökning: "automaton"

Visar resultat 1 - 5 av 29 uppsatser innehållade ordet automaton.

  1. 1. Artificiellt liv, kroppslighet och posthumanism i populärkultur

    Kandidat-uppsats, Göteborgs universitet/Institutionen för kulturvetenskaper

    Författare :Elise Jonsson; [2019-05-07]
    Nyckelord :automaton; posthumanism; robot; science fiction; feminism; genusvetenskap;

    Sammanfattning : In this essay I will discuss posthumanism and how we become humans. Through analyzing two science fiction works, one movie and one short story, I will discuss what it means to be human and how the male liberal subject of humanism need to be broadened and opened up to allow for other subjects to exist. By comparing two female robots, one from E.T. LÄS MER

  2. 2. Probabilistic Least-violating Control Strategy Synthesis with Safety Rules

    Kandidat-uppsats, KTH/Skolan för elektroteknik och datavetenskap (EECS); KTH/Skolan för elektroteknik och datavetenskap (EECS)

    Författare :Ludvig Janiuk; Johan Sjölén; [2018]
    Nyckelord :;

    Sammanfattning : We consider the problem of automatic control strategy synthesis for discrete models of robotic systems, where the goal is to travel from some region to another while obeying a given set of safety rules in an environment with uncertain properties. This is a probabilistic extension of the work by Jana Tumová et al. LÄS MER

  3. 3. High Level Motion Planningfor a Robot

    Kandidat-uppsats, KTH/Skolan för teknikvetenskap (SCI); KTH/Skolan för teknikvetenskap (SCI)

    Författare :Mikael Kvist; Mustafa Adnan; [2018]
    Nyckelord :;

    Sammanfattning : With high level motion planning a robot can betold what to do. The robot could be ordered to do tasks we donot want to do ourselves, such as cleaning, or to do tasks indangerous situations or even to explore new planets. LÄS MER

  4. 4. Multi agent control with LTL specifications and abstraction with input memories

    Master-uppsats, KTH/Reglerteknik

    Författare :Paul Rousse; [2017]
    Nyckelord :;

    Sammanfattning : Formal controller synthesis methods with temporal logic specications tryto guarantee the correctness of given specications with a system that mighthave complex behaviour. Most often, discrete abstractions of a continuoussystem are used in order to reduce the size of the problem. LÄS MER

  5. 5. A Language-Recognition Approach to Unit Testing Message-Passing Systems

    Master-uppsats, KTH/Skolan för informations- och kommunikationsteknik (ICT)

    Författare :Ifeanyi Ubah; [2017]
    Nyckelord :Unit testing; Message-passing; Verification;

    Sammanfattning : This thesis addresses the problem of unit testing components in message-passing systems. A message-passing system is one that comprises components communicating with each other solely via the exchange of messages. LÄS MER