Sökning: "temporal planning"

Visar resultat 1 - 5 av 93 avhandlingar innehållade orden temporal planning.

  1. 1. Admissible Heuristics for Automated Planning

    Detta är en avhandling från Institutionen för datavetenskap

    Författare :Patrik Haslum; Patrick Doherty; Derek Long; [2006]
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; AI planning; optimal planning; temporal planning; heuristic search; TECHNOLOGY Information technology Computer science Computer science; TEKNIKVETENSKAP Informationsteknik Datavetenskap Datalogi;

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

  2. 2. Planning and Control of Cooperative Multi-Agent Manipulator-Endowed Systems

    Detta är en avhandling från KTH Royal Institute of Technology

    Författare :Christos Verginis; Dimos V. Dimarogonas; Pedro Lima; [2018]
    Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; Multi-agent systems; Temporal logics; Cooperative manipulation; Motion planning; Control; Navigation; Action planning; Electrical Engineering; Elektro- och systemteknik;

    Sammanfattning : Multi-agent planning and control is an active and increasingly studied topic of research, with many practical applications, such as rescue missions, security, surveillance, and transportation. More specifically, cases that involve complex manipulator-endowed systems  deserve extra attention due to potential complex cooperative manipulation tasks and their interaction with the environment. LÄS MER

  3. 3. Deductive Planning and Composite Actions in Temporal Action Logic

    Detta är en avhandling från Institutionen för datavetenskap

    Författare :Martin Magnusson; Patrick Doherty; John-Jules Meyer; [2007]
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; Temporal Action Logic; deductive planning; composite actions; interval algebra; constraint logic programming; execution monitoring; TECHNOLOGY Information technology Computer science Computer science; TEKNIKVETENSKAP Informationsteknik Datavetenskap Datalogi;

    Sammanfattning : Temporal Action Logic is a well established logical formalism for reasoning about action and change that has long been used as a formal specification language. Its first-order characterization and explicit time representation makes it a suitable target for automated theorem proving and the application of temporal constraint solvers. LÄS MER

  4. 4. Network Based Tools and Indicators for Landscape Ecological Assessments, Planning, and Design

    Detta är en avhandling från Stockholm : Land and Water Resources Engineering

    Författare :Andreas Zetterberg; Berit Balfors; Ulla Mörtberg; Jan Bengtsson; [2009]
    Nyckelord :LANTBRUKSVETENSKAPER; AGRICULTURAL SCIENCES; TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; NATURVETENSKAP; NATURAL SCIENCES; Least-cost modeling; Functional connectivity; Environmental planning tool; Resilience; Spatial redundancy; Ecological integrity; Landscape Ecology; Graph Theory; Ecological Network Graphs; Biodiversity; Conservation Biology; Urban Planning; Regional Planning; EIA; SEA; Environmental Assessment; Ecological Indicator; Impact prediction; Habitat suitability; Species distribution; Urban ecology; GIS; Urbanization; Miljöbedömningsverktyg; Landskapsplanering; Resiliens; Ekologisk integritet; Landskapsekologi; Grafteori; Ekologiska nätverk; Biologisk mångfald; Bevarandebiologi; Urban planering; Regional planering; MKB; SMB; Miljöbedömning; Ekologisk indikator; Konsekvensbedömning; Habitatmodellering; GIS; Urbanisering; FORESTRY; AGRICULTURAL SCIENCES and LANDSCAPE PLANNING Landscape planning Nature conservation and landscape management; SKOGS- och JORDBRUKSVETENSKAP samt LANDSKAPSPLANERING Landskapsplanering Natur- och landskapsvård; TECHNOLOGY Other technology Environmental engineering; TEKNIKVETENSKAP Övriga teknikvetenskaper Miljöteknik; NATURAL SCIENCES Biology Terrestrial; freshwater and marine ecology Terrestrial ecology; NATURVETENSKAP Biologi Terrestisk; limnisk och marin ekologi Terrestisk ekologi;

    Sammanfattning : Land use change constitutes a primary driving force in shaping social-ecological systems world wide, and its effects reach far beyond the directly impacted areas. Graph based landscape ecological tools have become established as a promising way to efficiently explore and analyze the complex, spatial systems dynamics of ecological networks in physical landscapes. LÄS MER

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

    Detta är en avhandling från KTH Royal Institute of Technology

    Författare :Christos Verginis; Dimos Dimarogonas; Magnus Egerstedt; [2020]
    Nyckelord :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;

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