Search for dissertations about: "Hard and Soft Constraints"

Showing result 11 - 15 of 15 swedish dissertations containing the words Hard and Soft Constraints.

  1. 11. Cooperative Motion and Task Planning Under Temporal Tasks

    Author : Meng Guo; Dimos V. Dimarogonas; Georgios Fainekos; KTH; []
    Keywords : Electrical Engineering; Elektro- och systemteknik;

    Abstract : Temporal-logic-based languages provide a formal and accurate way to specify complex motion and action missions for autonomous robots, beyond the classic point-to-point navigation task. The first part of the thesis is devoted to the nominal scenario: an autonomous robot is given a motion task specified as Linear-time Temporal Logic (LTL) formulas. READ MORE

  2. 12. Fibre-Optic AWG Networks Supporting Real-Time Communication in High-Performance Embedded Systems

    Author : Kristina Kunert; Magnus Jonsson; Högskolan i Halmstad; []
    Keywords : NATURVETENSKAP; NATURAL SCIENCES; real-time communication; medium access control MAC protocol; traffic dependency analysis; network architecture; Arrayed Waveguide Grating AWG ; optical communication; real-time analysis; optical network; Computer engineering;

    Abstract : High-performance embedded systems communicating heterogeneous traffic with high bandwidth and strict timing requirements are in need of more efficient communication solutions. This thesis proposes two multi-wavelength passive optical networks able to meet these demands. READ MORE

  3. 13. Optimizing Fault Tolerance for Real-Time Systems

    Author : Dimitar Nikolov; Erik Larsson; Elena A. Troubitsyna; Linköpings universitet; []
    Keywords : NATURVETENSKAP; NATURAL SCIENCES;

    Abstract : For the vast majority of computer systems correct operation is defined as producing the correct result within a time constraint (deadline). We refer to such computer systems as real-time systems (RTSs). READ MORE

  4. 14. Protocols with Heterogeneous Real-Time Services for High-Performance Embedded Networks

    Author : Carl Bergenhem; Högskolan i Halmstad; []
    Keywords : NATURVETENSKAP; NATURAL SCIENCES; Optical; Ring; Pipeline; Distributed; Parallel-Processing; Real-time; SAN; System Area Network; Heterogeneous; Service;

    Abstract : Network protocols for applications that demand high performance and heterogeneous real-time services are presented. These protocols control the medium access to the network and offer additional features to the user, both different user services for traffic and services for parallel and distributed real-time processing. READ MORE

  5. 15. Hybrid Control of Multi-robot Systems under Complex Temporal Tasks

    Author : Meng Guo; Dimos V. Dimarogonas; Karl Henrik Johansson; Calin Belta; KTH; []
    Keywords : Automatic Control; Multi-robot system; Linear Temporal Logic; Electrical Engineering; Elektro- och systemteknik;

    Abstract : Autonomous robots like household service robots, self-driving cars and dronesare emerging as important parts of our daily lives in the near future. They need tocomprehend and fulfill complex tasks specified by the users with minimal humanintervention. Also they should be able to handle un-modeled changes and contingentevents in the workspace. READ MORE