Search for dissertations about: "temporal logic"

Showing result 6 - 10 of 65 swedish dissertations containing the words temporal logic.

  2. 6. Planning and Control of Uncertain Cooperative Mobile Manipulator-Endowed Systems under Temporal Logic Tasks

    Author : Christos Verginis; Dimos Dimarogonas; Magnus Egerstedt; KTH; []
    Keywords : TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; multi-agent systems; cooperative manipulation; formation control; temporal logic; motion planning; adaptive control; funnel control; navigation; Electrical Engineering; Elektro- och systemteknik;

    Abstract : Control and planning of multi-agent systems is an active and increasingly studied topic of research, with many practical applications such as rescue missions, security, surveillance, and transportation. This thesis addresses the planning and control of multi-agent systems under temporal logic tasks. READ MORE

  4. 7. Reinforcement Learning Endowed Robot Planning under Spatiotemporal Logic Specifications

    Author : Peter Varnai; Dimos V. Dimarogonas; Ufuk Topcu; KTH; []
    Keywords : TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; Formal methods; temporal logic; autonomous systems; reinforcement learning; Electrical Engineering; Elektro- och systemteknik;

    Abstract : Recent advances in artificial intelligence are producing fascinating results in the field of computer science. Motivated by these successes, the desire to transfer and implement learning methods on real-life systems is growing as well. READ MORE

  5. 8. Robust and Abstraction-free Control of Dynamical Systems under Signal Temporal Logic Tasks

    Author : Lars Lindemann; Dimos V. Dimarogonas; Ozay Necmiye; KTH; []
    Keywords : TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; Signal Temporal Logic; Multi-agent systems; Motion planning; Automatic Control; Hybrid Systems; Electrical Engineering; Elektro- och systemteknik;

    Abstract : Dynamical systems that provably satisfy given specifications have become increasingly important in many engineering areas. For instance, safety-critical systems such as human-robot networks or autonomous driving systems are required to be safe and to also satisfy some complex specifications that may include timing constraints, i.e. READ MORE

  6. 9. Safe Autonomy under Uncertainty: Computation, Control, and Application

    Author : Yulong Gao; Karl H. Johansson; Lihua Xie; ‪Frank Allgöwer; KTH; []
    Keywords : TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; NATURVETENSKAP; NATURAL SCIENCES; Safe autonomy; shared autonomy; probabilistic controlled invariant set; invariant cover; linear temporal logic; temporal logic tree; safe teleoperation; automated car overtaking; Electrical Engineering; Elektro- och systemteknik;

    Abstract : Safety is a primary requirement for many autonomous systems, such as automated vehicles and mobile robots. An open problem is how to assure safety, in the sense of avoiding unsafe subsets of the state space, for uncertain systems under complex tasks. READ MORE

  7. 10. TALplanner and other extensions to Temporal Action Logic

    Author : Jonas Kvarnström; Linköpings universitet; []
    Keywords : NATURVETENSKAP; NATURAL SCIENCES; Computer science; Datavetenskap;

    Abstract : Though the exact definition of the boundary between intelligent and non-intelligent artifacts has been a subject of much debate, one aspect of intelligence that many would deem essential is deliberation: Rather than reacting "instinctively" to its environment, an intelligent system should also be capable of reasoning about it, reasoning about the effects of actions performed by itself and others, and creating and executing plans, that is, determining which actions to perform in order to achieve certain goals. True deliberation is a complex topic, requiring support from several different sub-fields of artificial intelligence. READ MORE