Search for dissertations about: "Hard and Soft Constraints"

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

  1. 1. Essays on Incentives and Leadership

    Author : Martin Bech Holte; Torsten Persson; Stockholms universitet; []
    Keywords : SOCIAL SCIENCES; SAMHÄLLSVETENSKAP; SAMHÄLLSVETENSKAP; SOCIAL SCIENCES; Incentives; Managers; Taxation; Career Concerns; Autocrats; Communism; Soft Budget Constraints; Economics; Nationalekonomi; Economics; nationalekonomi;

    Abstract : "Taxation, Career Concerns and CEO Pay". This paper proposes a simple dynamic model of equilibrium CEO compensation. READ MORE

  2. 2. Towards Safer and Risk-aware Motion Planning and Control for Robotic Systems

    Author : Fernando S. Barbosa; Jana Tumova; Stephen Smith; KTH; []
    Keywords : NATURAL SCIENCES; NATURVETENSKAP; ENGINEERING AND TECHNOLOGY; TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; TEKNIK OCH TEKNOLOGIER; NATURVETENSKAP; TEKNIK OCH TEKNOLOGIER; NATURAL SCIENCES; ENGINEERING AND TECHNOLOGY; Datalogi; Computer Science;

    Abstract : Safety and risk-awareness are important properties for robotic systems, be it for protecting them from potentially dangerous internal states, or for avoiding collisions with obstacles and environmental hazards in disaster scenarios. Ensuring safety may be the role of more than one algorithmic layer in a system, each with varying assumptions and guarantees. READ MORE

  3. 3. Developing Reusable and Reconfigurable Real-Time Software using Aspects and Components

    Author : Aleksandra Tešanović; Jörgen Hansson; Heinz W. Schmidt; Linköpings universitet; []
    Keywords : NATURAL SCIENCES; NATURVETENSKAP; NATURVETENSKAP; NATURAL SCIENCES; real-time systems; embedded systems; software components; aspect-oriented software; quality of service; worst-case execution time; database systems; Software engineering; Programvaruteknik;

    Abstract : Our main focus in this thesis is on providing guidelines, methods, and tools for design, configuration, and analysis of configurable and reusable real-time software, developed using a combination of aspect-oriented and component-based software development. Specifically, we define a reconfigurable real-time component model (RTCOM) that describes how a real-time component, supporting aspects and enforcing information hiding, could efficiently be designed and implemented. READ MORE

  4. 4. Human-in-the-Loop Control Synthesis for Multi-Agent Systems under Metric Interval Temporal Logic Specifications

    Author : Sofie Ahlberg; Dimos Dimarogonas; Knut Åkesson; KTH; []
    Keywords : ENGINEERING AND TECHNOLOGY; TEKNIK OCH TEKNOLOGIER; TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; Multi-Agent Systems; Control Synthesis; Hard and Soft Constraints; Human-in-the-Loop; Automatic Control; Electrical Engineering; Elektro- och systemteknik;

    Abstract : With the increase of robotic presence in our homes and work environment, it has become imperative to consider human-in-the-loop systems when designing robotic controllers. This includes both a physical presence of humans as well as interaction on a decision and control level. READ MORE

  5. 5. Fault Tolerance for Real-Time Systems: Analysis and Optimization of Roll-back Recovery with Checkpointing

    Author : Dimitar Nikolov; Institutionen för elektro- och informationsteknik; []
    Keywords : TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; soft errors; fault tolerance; real-time systems; checkpointing; reliability;

    Abstract : Increasing soft error rates in recent semiconductor technologies enforce the usage of fault tolerance. While fault tolerance enables correct operation in the presence of soft errors, it usually introduces a time overhead. READ MORE