Search for dissertations about: "Knut Åkesson"
Found 4 swedish dissertations containing the words Knut Åkesson.
-
1. Methods and Tools in Supervisory Control Theory: Operator Aspects, Computational Efficiency, and Applications
Abstract : This thesis presents a tool together with efficient algorithms for verification and synthesis of discrete-event supervisors that might share responsibilities with human operators. It is also shown how the supervisory control theory can be used to solve resource allocation problems for flexible manufacturing systems. READ MORE
-
2. Recipe coordination in chemical batch processes
Abstract : .... 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. !secure(system) <=?=> !safe(system) : On Security and Safety of Industrial Software Systems
Abstract : The focus of our research work is on readily accessible, embedded, real-time development with concurrency support. To this end, we develop the Real-Time For the Masses (RTFM) programming framework with a model of computation based on tasks and resources and that stipulates a timing semantics. READ MORE