LTL Guided Planning: Revisiting Automatic Tool Composition in ETI

Abstract

We revisit the automatic tool composition feature of the electronic tool integration platform under the perspective of planning. It turns out that in todays terminology, ETIs temporal logic-based synthesis of tool sequences is a form of planning-based automated orchestration. In contrast to Al-based planning approaches, our synthesis approach is not… (More)
DOI: 10.1109/SEW.2007.101

Topics

5 Figures and Tables

Slides referencing similar topics