Temporal Metric Planning in Continuous Time: Processes and Continuous Changes in a SAT-based Planning - Image 1

£60.00

It has never been this cheap. We have no record of a lower price.

£60 today · cheaper than every other day in the last 3 months

VDM Verlag Temporal Metric Planning in Continuous Time: Processes and Continuous Changes in a SAT-based Planning

Name: Temporal Metric Planning in Continuous Time: Processes and Continuous Changes in a SAT-based Planning
Brand: VDM Verlag
Price: 60.0 GBP
Availability: InStock

Computing & Internet

Price Distribution

Price distribution over 87 days • 1 price levels

Days at Price

Price Analysis

Most common price: £60 (87 days, 100.0%)

Price range: £60 - £60

Price levels: 1 different prices over 87 days

Description

The TM-LPSAT planner can construct plans in domains containing atomic actions and durative actions; events and processes; discrete, real-valued, and interval-valued fluents; reusable resources, both numeric and interval-valued; and continuous linear change to quantities. It works in three tages. In the first stage, a representation of the domain and problem in an extended version of PDDL+ is compiled into a system of Boolean combinations of propositional atoms and linear constraints over numeric variables. In the second stage, a SAT-based arithmetic constraint solver, such as LPSAT or MathSAT, is used to find a solution to the system of constraints. In the third stage, a correct plan is extracted from this solution. We discuss the structure of the planner and show how planning with time and metric quantities is compiled into a system of constraints.

Product Specifications

Brand: VDM Verlag
Format: paperback
ASIN: 3639164547
Category: Books > Subjects > Computing & Internet
Domain: Amazon UK
Release Date: 07 June 2009
Listed Since: 18 June 2009

Barcode

No barcode data available

It has never been this cheap. We have no record of a lower price.

VDM Verlag Temporal Metric Planning in Continuous Time: Processes and Continuous Changes in a SAT-based Planning

Price Distribution

Price Analysis

Description

Product Specifications

Barcode

Similar Products You Might Like

A Graph Planning Procedure within an Agent Architecture

Planning on the Edge

Developing Strategies for Sustainable Planning: Building Performance Evaluation in Terms of Sustainability

Critical Planning Futures: New Directions in Planning Theory

Exponential Time Algorithms: Structures, Measures, and Bounds

Project Management Planning: From Practice to Applied Research

Constrained Shortest Paths and Related Problems: Constrained Network Optimization

Produktionsplanung mit SAP S/4HANA in der Prozessindustrie: Das umfassende Handbuch zu PP-PI

Deterministic and Stochastic Signal Processing: Continuous and Discrete Time Signals

Business Process Automation - Performance and Capacity Planning with BPEL

Der 14-Punkte-Plan: Konzept eines konsensualen Planungs- verfahrens für raumrelevante Projekte

Frontiers of Model Predictive Control

Kapazitätsplanung mit SAP: Manufacturing Resource Planning II mit SAP ECC und S/4HANA sowie APO und IBP

Operational Behaviors and Continuous Improvement: in National Communications Systems

Model Predictive Control for Hybrid Systems Piecewise Affine and Max-Plus-Linear Systems

Integrated Layout and Structural Topology Optimization Design of Multi-component Systems

Uniprocessor Scheduling for Real-Time Energy Harvesting Applications

Estimating Vehicle Emissions in Transportation Planning: By Incorporating the Effect of Network Characteristics on Driving Patterns

Collaborative Programming on the Internet: Environments

Release Planning of Software Systems: A Decision Support Approach

Architecting Automated Design Systems

Advanced Intelligent Predictive Models for Urban Transportation

The Development of Planning Thought: A Critical Perspective (Routledge Revivals)

Advances in Linear Stochastic Programming: The Two-Level Decomposition Principle Via Dual Central Pricing

It has never been this cheap. We have no record of a lower price.

VDM Verlag Temporal Metric Planning in Continuous Time: Processes and Continuous Changes in a SAT-based Planning

Price History & Forecast

Price Distribution

Price Analysis

Description

Product Specifications

Barcode

Similar Products You Might Like

A Graph Planning Procedure within an Agent Architecture

Planning on the Edge

Developing Strategies for Sustainable Planning: Building Performance Evaluation in Terms of Sustainability

Critical Planning Futures: New Directions in Planning Theory

Exponential Time Algorithms: Structures, Measures, and Bounds

Project Management Planning: From Practice to Applied Research

Constrained Shortest Paths and Related Problems: Constrained Network Optimization

Produktionsplanung mit SAP S/4HANA in der Prozessindustrie: Das umfassende Handbuch zu PP-PI

Deterministic and Stochastic Signal Processing: Continuous and Discrete Time Signals

Business Process Automation - Performance and Capacity Planning with BPEL

Der 14-Punkte-Plan: Konzept eines konsensualen Planungs- verfahrens für raumrelevante Projekte

Frontiers of Model Predictive Control

Kapazitätsplanung mit SAP: Manufacturing Resource Planning II mit SAP ECC und S/4HANA sowie APO und IBP

Operational Behaviors and Continuous Improvement: in National Communications Systems

Model Predictive Control for Hybrid Systems Piecewise Affine and Max-Plus-Linear Systems

Integrated Layout and Structural Topology Optimization Design of Multi-component Systems

Uniprocessor Scheduling for Real-Time Energy Harvesting Applications

Estimating Vehicle Emissions in Transportation Planning: By Incorporating the Effect of Network Characteristics on Driving Patterns

Collaborative Programming on the Internet: Environments

Release Planning of Software Systems: A Decision Support Approach

Architecting Automated Design Systems

Advanced Intelligent Predictive Models for Urban Transportation

The Development of Planning Thought: A Critical Perspective (Routledge Revivals)

Advances in Linear Stochastic Programming: The Two-Level Decomposition Principle Via Dual Central Pricing