Search for dissertations about: "Planning methods"

Showing result 1 - 5 of 1014 swedish dissertations containing the words Planning methods.

  2. 1. Formal Methods for Scalable Synthesis and Verification of Autonomous Systems : Mission Planning and Collision Avoidance

    Author : Rong Gu; Cristina Seceleanu; Kristina Lundqvist; Eduard Paul Enoiu; Rajeev Alur; Mälardalens universitet; []
    Keywords : NATURVETENSKAP; NATURAL SCIENCES; autonomous agents; synthesis; verification; planning; collision avoidance; formal methods; model checking; Computer Science; datavetenskap;

    Abstract : Autonomous systems (a.k.a., agents) are often designed to move and execute tasks, without or with little human intervention. READ MORE

  4. 2. Constraint-based Methods for Human-aware Planning

    Author : Uwe Köckemann; Federico Pecora; Lars Karlsson; Paolo Traverso; Örebro universitet; []
    Keywords : NATURVETENSKAP; NATURAL SCIENCES; Task Planning; Constraint-based Planning; Human-aware Planning; Information technology; Informationsteknologi;

    Abstract : As more robots and sensors are deployed in work and home environments, there is a growing need for these devices to act with some degree of autonomy to fulfill their purpose. Automated planning can be used to synthesize plans of action that achieve this. READ MORE

  5. 3. Planning Design Automation : A Structured Method and Supporting Tools

    Author : Mikael Cederfeldt; Jönköping University; []
    Keywords : TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; Knowledge; Evaluation; Process; Potential; Methods; Need; Planning; Design automation;

    Abstract : The demand for customised products that meet different markets and different customers is steadily increasing. Also, the demand for shorter lead times for the delivery of these customised products puts strains on design departments whose work tends to become increasingly repetitive. READ MORE

  6. 4. Admissible Heuristics for Automated Planning

    Author : Patrik Haslum; Patrick Doherty; Derek Long; Linköpings universitet; []
    Keywords : NATURVETENSKAP; NATURAL SCIENCES; AI planning; optimal planning; temporal planning; heuristic search; Computer science; Datalogi;

    Abstract : The problem of domain-independent automated planning has been a topic of research in Artificial Intelligence since the very beginnings of the field. Due to the desire not to rely on vast quantities of problem specific knowledge, the most widely adopted approach to automated planning is search. READ MORE

  7. 5. Production scheduling and shipment planning at oil refineries : optimization based methods

    Author : Jan A. Persson; Bjørn Nygreen; Linköpings universitet; []
    Keywords : NATURVETENSKAP; NATURAL SCIENCES;

    Abstract : In the oil refinery industry, companies need to have a high utilization of production, storage, and transportation resources to be competitive. This can only be achieved by proper planning The purpose of this thesis is to contribute to the development of optimization models and solution methods that support the scheduling and planning at refinery companies. READ MORE