A survey on model-based mission planning and execution for autonomous spacecraft
Different drivers are nowadays leading spacecraft toward an increased level of on-board
autonomy. In this paper, we survey model-based techniques as a vehicle to implement …
autonomy. In this paper, we survey model-based techniques as a vehicle to implement …
Mobile manipulation for planetary exploration
Robotic systems map unknown terrain and collect scientific relevant data of foreign planets.
Currently, pilots from Earth steer these rovers on Moon and Mars surfaces via teleoperation …
Currently, pilots from Earth steer these rovers on Moon and Mars surfaces via teleoperation …
Integrated synthesis and execution of optimal plans for multi-robot systems in logistics
Abstract Model-based synthesis allows to generate plans to achieve high-level tasks while
satisfying certain properties of interest. However, when such plans are executed on concrete …
satisfying certain properties of interest. However, when such plans are executed on concrete …
Autonomous agents for the world wide lab: artificial intelligence in the manufacturing industry
MR Liebenberg, G Hirt, M Jarke, G Lakemeyer - 2021 - publications.rwth-aachen.de
Kurzfassung Das Internet of Production (IoP) ist ein Forschungsprogramm, in dem 30
interdisziplinäre Institute an der nächsten Revolution der Fertigungsindustrie arbeiten …
interdisziplinäre Institute an der nächsten Revolution der Fertigungsindustrie arbeiten …
ASPiC: an Acting system based on Skill Petri net Composition
Acting systems aim at refining high-level actions into executable commands, while
managing access to resources, possible failures, or any other unpredictable situation …
managing access to resources, possible failures, or any other unpredictable situation …
Managing execution variants in task coordination by exploiting design-time models at run-time
A Steck, C Schlegel - 2011 IEEE/RSJ International Conference …, 2011 - ieeexplore.ieee.org
The development of service robots has gained more and more attention over the last years.
Advanced robots have to cope with many different situations and contingencies while …
Advanced robots have to cope with many different situations and contingencies while …
[PDF][PDF] A formal analysis framework for PLEXIL
Abstract The Plan Execution Interchange Language (PLEXIL) is a rich concurrent and
reactive language developed by NASA to support autonomous commanding and monitoring …
reactive language developed by NASA to support autonomous commanding and monitoring …
[PDF][PDF] SmartTCL: An execution language for conditional reactive task execution in a three layer architecture for service robots
A Steck, C Schlegel - Int. Workshop on DYnamic languages for …, 2010 - researchgate.net
The development of service robots has gained more and more attention over the last years.
Advanced robots have to cope with many different situations and contingencies while …
Advanced robots have to cope with many different situations and contingencies while …
Agent programming languages requirements for programming autonomous robots
This paper presents four requirements for BDI-based agent programming languages to
facilitate the implementation of autonomous robot control systems. The first requirement is to …
facilitate the implementation of autonomous robot control systems. The first requirement is to …
Hardware autonomy and space systems
N Steiner, P Athanas - 2009 IEEE Aerospace conference, 2009 - ieeexplore.ieee.org
Autonomous capability in space systems is rapidly becoming a necessity for continued
research and exploration. While these systems have traditionally behaved as passive …
research and exploration. While these systems have traditionally behaved as passive …