Search for dissertations about: "Hard and Soft Constraints"
Showing result 1 - 5 of 15 swedish dissertations containing the words Hard and Soft Constraints.
-
1. Essays on Incentives and Leadership
Abstract : "Taxation, Career Concerns and CEO Pay". This paper proposes a simple dynamic model of equilibrium CEO compensation. READ MORE
-
2. Towards Safer and Risk-aware Motion Planning and Control for Robotic Systems
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. Human-in-the-Loop Control Synthesis for Multi-Agent Systems under Metric Interval Temporal Logic Specifications
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
-
4. Developing Reusable and Reconfigurable Real-Time Software using Aspects and Components
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
-
5. Fault Tolerance for Real-Time Systems: Analysis and Optimization of Roll-back Recovery with Checkpointing
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