Sökning: "automated planning"

Visar resultat 6 - 10 av 96 avhandlingar innehållade orden automated planning.

1. 6. Automated Driving Maneuvers - Trajectory Planning via Convex Optimization in the Model Predictive Control Framework

   Författare :Julia Nilsson; Chalmers tekniska högskola; []
   Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; Optimization; Model Predictive Control; Trajectory planning; Lane Change; Automated Driving; Autonomous Driving; Advanced Driver Assistance Systems;

   Sammanfattning : Highly automated vehicles have the potential to provide a variety of benefits e.g., decreasing traffic injuries and fatalities while offering people the freedom to choose how to spend their time in their vehicle without jeopardizing the safety of themselves or other traffic participants. LÄS MER

3. 7. Planning Design Automation Systems - Criteria and Guidelines

   Författare :Mikael Cederfeldt; Jönköping University; []
   Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; Synthesis; Potential; Variant design; Design automation; Need; Process maturity; Planning; and Evaluation.;

   Sammanfattning : Design automation can be a powerful tool in the continuous endeavour to cut lead times, workloads, and, ultimately, costs in order to become more competitive in an increasingly globalised market. Identifying a need for design automation is, consequently, not difficult. What becomes a lot more difficult is identifying the actual need, i.e. LÄS MER

4. 8. Multi-Agent Planning and Coordination Under Resource Constraints

   Författare :Federico Pecora; Italy Rome “La Sapienza” University of Rome; []
   Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; Planning; scheduling; multi-agent systems; resource constraints; distributed constraint reasoning; Computer Science; Datavetenskap;

   Sammanfattning : The research described in this thesis stems from ROBOCARE1, a three year research project aimed at developing software and robotic technology for providing intelligent support for elderly people. This thesis deals with two problems which have emerged in the course of the project’s development:Multi-agent coordination with scarce resources. LÄS MER

5. 9. Correct-by-Construction Tactical Planners for Automated Cars

   Författare :Jonas Krook; Chalmers tekniska högskola; []
   Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; Reactive Synthesis; tactical planning; formal verification; formal synthesis; Formal methods; Model Checking; Supervisory Control Theory.; automated cars;

   Sammanfattning : One goal of developing automated cars is to completely free people from driving tasks. Automated cars that require no human driver need to handle all traffic situations that a human driver is expected to handle, and possibly more. LÄS MER

7. 10. Automated radiation therapy treatment planning by increased accuracy of optimization tools

   Författare :Lovisa Engberg; Anders Forsgren; Marina A. Epelman; KTH; []
   Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; Optimization; intensity-modulated radiation therapy; radiation therapy treatment planning; automated radiation therapy treatment planning; interior-point methods; Optimering; intensitetsmodulerad strålbehandling; dosplanering; automatiserad dosplanering; inrepunktsmetoder; Mathematics; Matematik;

   Sammanfattning : Every radiation therapy treatment is preceded by a treatment planning phase. In this phase, a treatment plan that specifies exactly how to irradiate the patient is designed by the treatment planner. LÄS MER