"id" |"create_date" |"modified_date" |"depositor" |"title" |"date_uploaded" |"date_modified"|"state"|"proxy_depositor"|"on_behalf_of"|"arkivo_checksum"|"owner"|"alternate_title"|"award"|"includes"|"advisor" |"sponsor"|"center"|"year"|"funding"|"institute"|"school"|"major" |"sdg"|"note" |"alternative_title"|"label"|"relative_path"|"import_url"|"resource_type" |"creator" |"creator" |"creator" |"creator" |"contributor"|"description" |"abstract"|"keyword"|"license"|"rights_notes"|"rights_statement" |"access_right"|"publisher" |"date_created"|"subject"|"language"|"identifier"|"based_near"|"related_url"|"bibliographic_citation"|"source"|"version" |"permalink" "z029p788f"|"2021-09-17T15:56:56.915+00:00"|"2024-03-11T20:22:56.104+00:00"|"depositor@wpi.edu"|"Visualizing goals in autonomous space systems"|"2021-09-17T11:56:56.143-04:00"|"" |"" |"" |"" |"" |"" |"" |"" |"" |"Finkel, David"|"" |"" |"2005"|"" |"" |"" |"Computer Science"|"" |"This report represents the work of one or more WPI undergraduate students submitted to the faculty as evidence of completion of a degree requirement. WPI routinely publishes these reports on its website without editorial or peer review."|"" |"" |"" |"" |"Major Qualifying Project"|"McBride, Ian Scott"|"Monahan, Kevin Michael"|"Legris, Marc Louis"|"Hu, Kyna Qiao Ying"|"" |"NASA scientists need a way to simulate the instruction execution on an autonomous space rover. Using the programming languages Maude and JLambda, we built a simulation environment that provides tools for dynamic interaction between a graphical user interface and logical systems representing state variables of a rover, specifically its position and heading, robotic arm heading, and battery level. Users can add goals for the rover to achieve and specify their order and the time interval during which they must execute."|"" |"" |"" |"" |"http://rightsstatements.org/vocab/InC/1.0/"|"" |"Worcester Polytechnic Institute"|"2005-01-01" |"" |"" |"05D023M" |"" |"" |"" |"" |"W/"04b32cb962fef6d3ae4c10d318190b8c8880e0e4""|"https://digital.wpi.edu/show/z029p788f"