Search for dissertations about: "safety logic"

Showing result 21 - 25 of 52 swedish dissertations containing the words safety logic.

  2. 21. Correctness and Safety in Planning and Control via State-Space Partitions and Barrier Functions

    Author : Xiao Tan; Dimos V. Dimarogonas; Samuel Coogan; KTH; []
    Keywords : TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; Dynamical systems; Control barrier functions; Optimeringslära och systemteori; Optimization and Systems Theory;

    Abstract : Autonomous systems have become increasingly prevalent in various industries, ranging from household cleaning robots to line inspection drones and copilot vehicles. Ensuring real-time safety is becoming a critical issue when the environment is rapidly changing. READ MORE

  4. 22. Deductive Program Analysis with First-Order Theorem Provers

    Author : Simon Robillard; Chalmers tekniska högskola; []
    Keywords : HUMANIORA; HUMANITIES; NATURVETENSKAP; NATURAL SCIENCES; TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; Automated theorem proving; Program semantics; Program Verification; Program analysis; Automated reasoning; First-order logic;

    Abstract : Software is ubiquitous in nearly all aspects of human life, including safety-critical activities. It is therefore crucial to analyze programs and provide strong guarantees that they perform as expected. READ MORE

  5. 23. 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

  6. 24. 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 : 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

  7. 25. Enhancing Temporal Logic Falsification of Cyber-Physical Systems using multiple objective functions and a new optimization method

    Author : Zahra Ramezani; Chalmers tekniska högskola; []
    Keywords : TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; NATURVETENSKAP; NATURAL SCIENCES; Testing; Falsification; Cyber-Physical Systems;

    Abstract : Cyber-physical systems (CPSs) are engineering systems that bridge the cyber-world of communications and computing with the physical world. These systems are usually safety-critical and exhibit both discrete and continuous dynamics that may have complex behavior. Typically, these systems have to satisfy given specifications, i.e. READ MORE