Sökning: "Knut Åkesson"

Hittade 3 avhandlingar innehållade orden Knut Åkesson.

  1. 1. Recipe coordination in chemical batch processes

    Författare :Knut Åkesson; Chalmers University of Technology; []
    Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; deadlock avoidance; resource allocation; supervisory control theory; batch processing industrial ; prioritized synchronous composition; ISA SP88;

    Sammanfattning : .... LÄS MER

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

    Författare :Sofie Ahlberg; Dimos Dimarogonas; Knut Åkesson; KTH; []
    Nyckelord :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;

    Sammanfattning : 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. LÄS MER

  4. 3. !secure(system) <=?=> !safe(system) : On Security and Safety of Industrial Software Systems

    Författare :Marcus Lindner; Per Lindgren; Valeriy Vyatkin; Knut Åkesson; Luleå tekniska universitet; []
    Nyckelord :ENGINEERING AND TECHNOLOGY; TEKNIK OCH TEKNOLOGIER; TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; embedded systems; hard real-time; concurrency; model of computation; safety-critical; safety; security; industrial automation; RTFM; real-time for the masses; Embedded Systems; Inbyggda system;

    Sammanfattning : 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. LÄS MER