ALBERT — All Library Books, journals and Electronic Records Telegrafenberg

Hits per page

hit 1 - 1 | 1 hit

Select All Export

Unknown

Model Checking the Remote Agent Planner (2001)

Havelund, Klaus ; Norvig, Peter ; Muscettola, Nicola ; [et al.]

In: CASI

add to mindlist on the mindlist

Details

Publication Date: 2013-08-29

Description: This work tackles the problem of using Model Checking for the purpose of verifying the HSTS (Scheduling Testbed System) planning system. HSTS is the planner and scheduler of the remote agent autonomous control system deployed in Deep Space One (DS1). Model Checking allows for the verification of domain models as well as planning entries. We have chosen the real-time model checker UPPAAL for this work. We start by motivating our work in the introduction. Then we give a brief description of HSTS and UPPAAL. After that, we give a sketch for the mapping of HSTS models into UPPAAL and we present samples of plan model properties one may want to verify.

Keywords: Cybernetics, Artificial Intelligence and Robotics

Format: application/pdf

	Location	Call Number	Expected	Availability

Others were also interested in ...

NASA TECHNICAL REPORTS

S·F·X

Overview

hit 1 - 1 | 1 hit