To Örebro University

oru.seÖrebro University Publications
Change search
Link to record
Permanent link

Direct link
Bidot, Julien
Publications (10 of 18) Show all publications
Bidot, J., Karlsson, L., Lagriffoul, F. & Saffiotti, A. (2017). Geometric backtracking for combined task and motion planning in robotic systems. Artificial Intelligence, 247, 229-265
Open this publication in new window or tab >>Geometric backtracking for combined task and motion planning in robotic systems
2017 (English)In: Artificial Intelligence, ISSN 0004-3702, E-ISSN 1872-7921, Vol. 247, p. 229-265Article in journal (Refereed) Published
Abstract [en]

Planners for real robotic systems should not only reason about abstract actions, but also about aspects related to physical execution such as kinematics and geometry. We present an approach to hybrid task and motion planning, in which state-based forward-chaining task planning is tightly coupled with motion planning and other forms of geometric reasoning. Our approach is centered around the problem of geometric backtracking that arises in hybrid task and motion planning: in order to satisfy the geometric preconditions of the current action, a planner may need to reconsider geometric choices, such as grasps and poses, that were made for previous actions. Geometric backtracking is a necessary condition for completeness, but it may lead to a dramatic computational explosion due to the large size of the space of geometric states. We explore two avenues to deal with this issue: the use of heuristics based on different geometric conditions to guide the search, and the use of geometric constraints to prune the search space. We empirically evaluate these different approaches, and demonstrate that they improve the performance of hybrid task and motion planning. We demonstrate our hybrid planning approach in two domains: a real, humanoid robotic platform, the DLR Justin robot, performing object manipulation tasks; and a simulated autonomous forklift operating in a warehouse.

Place, publisher, year, edition, pages
Elsevier, 2017
Keywords
Combined task and motion planning; Task planning; Action planning; Path planning; Robotics; Geometric reasoning; Hybrid reasoning; Robot manipulation
National Category
Computer Sciences
Research subject
Computer Science
Identifiers
urn:nbn:se:oru:diva-48015 (URN)10.1016/j.artint.2015.03.005 (DOI)000401401600011 ()2-s2.0-84929590433 (Scopus ID)
Projects
GeRTSAUNA
Funder
EU, FP7, Seventh Framework Programme, 248273Knowledge Foundation
Available from: 2016-02-05 Created: 2016-02-05 Last updated: 2018-01-10Bibliographically approved
Lagriffoul, F., Dimitrov, D., Bidot, J., Saffiotti, A. & Karlsson, L. (2014). Efficiently combining task and motion planning using geometric constraints. The international journal of robotics research, 33(14), 1726-1747
Open this publication in new window or tab >>Efficiently combining task and motion planning using geometric constraints
Show others...
2014 (English)In: The international journal of robotics research, ISSN 0278-3649, E-ISSN 1741-3176, Vol. 33, no 14, p. 1726-1747Article in journal (Refereed) Published
Abstract [en]

We propose a constraint-based approach to address a class of problems encountered in combined task and motion planning (CTAMP), which we call kinematically constrained problems. CTAMP is a hybrid planning process in which task planning and geometric reasoning are interleaved. During this process, symbolic action sequences generated by a task planner are geometrically evaluated. This geometric evaluation is a search problem per se, which we refer to as geometric backtrack search. In kinematically constrained problems, a significant computational effort is spent on geometric backtrack search, which impairs search at the task level. At the basis of our approach to address this problem, is the introduction of an intermediate layer between task planning and geometric reasoning. A set of constraints is automatically generated from the symbolic action sequences to evaluate, and combined with a set of constraints derived from the kinematic model of the robot. The resulting constraint network is then used to prune the search space during geometric backtrack search. We present experimental evidence that our approach significantly reduces the complexity of geometric backtrack search on various types of problem.

Keywords
Manipulation planning, combining task and motion planning, geometric reasoning
National Category
Computer Sciences
Research subject
Computer Science
Identifiers
urn:nbn:se:oru:diva-40158 (URN)10.1177/0278364914545811 (DOI)000345707000002 ()2-s2.0-84914173646 (Scopus ID)
Note

Funding Agency:

EU FP7 project "Generalizing Robot Manipulation Tasks" (GeRT) 248273

Available from: 2015-01-08 Created: 2015-01-07 Last updated: 2024-01-03Bibliographically approved
Lagriffoul, F., Karlsson, L., Bidot, J. & Saffiotti, A. (2013). Combining Task and Motion Planning is Not Always a Good Idea. In: : . Paper presented at 2013 Robotics: Science and Systems Conference (Workshop "Combined Robot Motion Planning and AI Planning for Practical Applications").
Open this publication in new window or tab >>Combining Task and Motion Planning is Not Always a Good Idea
2013 (English)Conference paper, Published paper (Refereed)
Abstract [en]

Combining task and motion planning requires tointerleave causal and geometric reasoning, in order to guaranteethe plan to be executable in the real world. The resulting searchspace, which is the cross product of the symbolic search spaceand the geometric search space, is huge. Systematically calling ageometric reasoner while evaluating symbolic actions is costly. Onthe other hand, geometric reasoning can prune out large parts ofthis search space if geometrically infeasible actions are detectedearly. Hence, we hypothesized the existence of a search depthlevel, until which geometric reasoning can be interleaved withsymbolic reasoning with tractable combinatorial explosion, whilekeeping the benefits of this pruning. In this paper, we propose asimple model that proves the existence of such search depth level,and validate it empirically through experiments in simulation

National Category
Computer Sciences
Research subject
Computer Science
Identifiers
urn:nbn:se:oru:diva-30821 (URN)
Conference
2013 Robotics: Science and Systems Conference (Workshop "Combined Robot Motion Planning and AI Planning for Practical Applications")
Funder
EU, FP7, Seventh Framework Programme
Available from: 2013-09-16 Created: 2013-09-16 Last updated: 2024-01-03Bibliographically approved
Karlsson, L., Bidot, J., Lagriffoul, F., Saffiotti, A., Hillenbrand, U. & Schmidt, F. (2012). Combining task and path planning for a humanoid two-arm robotic system. In: Marcello Cirillo, Brian Gerkey, Federico Pecora, Mike Stilman (Ed.), TAMPRA 2012: Proceedings of the Workshop on Combining Task and Motion Planning for Real-World Applications. Paper presented at 2012 TAMPRA Workshop, June 26, 2012, Atibaia, São Paulo, Brazil (pp. 13-20).
Open this publication in new window or tab >>Combining task and path planning for a humanoid two-arm robotic system
Show others...
2012 (English)In: TAMPRA 2012: Proceedings of the Workshop on Combining Task and Motion Planning for Real-World Applications / [ed] Marcello Cirillo, Brian Gerkey, Federico Pecora, Mike Stilman, 2012, p. 13-20Conference paper, Published paper (Refereed)
National Category
Computer Sciences
Research subject
Computer and Systems Science
Identifiers
urn:nbn:se:oru:diva-24401 (URN)
Conference
2012 TAMPRA Workshop, June 26, 2012, Atibaia, São Paulo, Brazil
Projects
GeRT
Funder
EU, FP7, Seventh Framework Programme, 248273
Available from: 2012-08-14 Created: 2012-08-14 Last updated: 2024-01-03Bibliographically approved
Karlsson, L., Bidot, J., Lagriffoul, F., Saffiotti, A., Hillenbrand, U. & Schmidt, F. (2012). Progress and challenges in planning for a two-arm robot. In: : . Paper presented at IEEE/RSJ International Conference on Intelligent Robots and Systems, Vilamoura, Algarve, Portugal, October 7-12, 2012.
Open this publication in new window or tab >>Progress and challenges in planning for a two-arm robot
Show others...
2012 (English)Conference paper, Poster (with or without abstract) (Refereed)
National Category
Computer Sciences
Research subject
Computer Science
Identifiers
urn:nbn:se:oru:diva-29163 (URN)
Conference
IEEE/RSJ International Conference on Intelligent Robots and Systems, Vilamoura, Algarve, Portugal, October 7-12, 2012
Funder
EU, FP7, Seventh Framework Programme, 248273
Note

Beyond Robot Grasping: Modern Approaches for Dynamic Manipulation (IROS workshop)

Available from: 2013-05-24 Created: 2013-05-24 Last updated: 2024-01-03Bibliographically approved
Bidot, J. & Biundo, S. (2011). Artificial intelligence planning for ambient environments (1ed.). In: Wolfgang Minker, Tobias Heinroth (Ed.), Next generation intelligent environments: ambient adaptive systems (pp. 195-225). Springer Science+Business Media B.V.
Open this publication in new window or tab >>Artificial intelligence planning for ambient environments
2011 (English)In: Next generation intelligent environments: ambient adaptive systems / [ed] Wolfgang Minker, Tobias Heinroth, Springer Science+Business Media B.V., 2011, 1, p. 195-225Chapter in book (Refereed)
Abstract [en]

In this chapter, we describe how Artificial Intelligence planning techniques are used in The Adapted and TRusted Ambient eCOlogies (ATRACO) in order to provide Sphere Adaptation. We introduce the Planning Agent (PA) which plays a central role in the realization and the structural adaptation of activity spheres. Based on particular information included in the ontology of the execution environment, the PA delivers workflows that consist of the basic activities to be executed in order to achieve a user's goals. The PA encapsulates a search engine for hybrid planning--the combination of hierarchical task network planning and partial-order causal-link planning. In this chapter, we describe a formal framework and a development platform for hybrid planning, PANDA. This platform allows for the implementation of many search strategies, and we explain how we realize the search engine of the PA by adapting and configuring PANDA specifically for addressing planning problems that are part of the ATRACO service composition. We describe how the PA interacts with the Sphere Manager and the Ontology Manager in order to create planning problems dynamically and generate workflows in the ATRACO-BPEL language. In addition, an excerpt of a planning domain for ATRACO is provided.

Place, publisher, year, edition, pages
Springer Science+Business Media B.V., 2011 Edition: 1
National Category
Computer Sciences
Research subject
Computer and Systems Science
Identifiers
urn:nbn:se:oru:diva-29125 (URN)10.1007/978-1-4614-1299-1_6 (DOI)978-1-4614-1298-4 (ISBN)978-1-4614-1299-1 (ISBN)
Funder
EU, FP7, Seventh Framework Programme, 216837
Available from: 2013-05-22 Created: 2013-05-22 Last updated: 2018-01-11Bibliographically approved
Biundo, S., Bidot, J. & Schattenberg, B. (2011). Planning in the real world. Informatik-Spektrum, 34(5), 443-454
Open this publication in new window or tab >>Planning in the real world
2011 (English)In: Informatik-Spektrum, ISSN 0170-6012, E-ISSN 1432-122X, Vol. 34, no 5, p. 443-454Article in journal (Refereed) Published
Abstract [en]

In this article, we describe how real world planning problems can be solved by employing Artificial Intelligence planning techniques. We introduce the paradigm of hybrid planning, which is particularly suited for applications where plans are not intended to be automatically executed by systems, but are made for humans. Hybrid planning combines hierarchical planning – the stepwise refinement of complex tasks – with explicit reasoning about causal dependencies between actions, thereby reflecting exactly the kinds of reasoning humans perform when developing plans. We show how plans are generated and how failed plans are repaired in a way that guarantees stability. Our illustrating examples are taken from a domain model for disaster relief missions enforced upon extensive floods. Finally, we present a tool to support the challenging task of constructing planning domain models.

The article ends with an overview of a wide varity of actual planning applications and outlines further such in the area of cognitive technical systems.

National Category
Computer Sciences
Research subject
Computer Science
Identifiers
urn:nbn:se:oru:diva-29164 (URN)10.1007/s00287-011-0562-7 (DOI)2-s2.0-81855176006 (Scopus ID)
Available from: 2013-05-24 Created: 2013-05-24 Last updated: 2023-12-08Bibliographically approved
Bidot, J., Goumopoulos, C. & Calemis, I. (2011). Using AI planning and late binding for managing service workflows in intelligent environments. In: 2011 IEEE International conference on pervasive computing and communications (PerCom): . Paper presented at Ninth Annual IEEE International Conference on Pervasive Computing and Communications (PerCom 2011), Seattle, WA, USA, 21-25 March 2011 (pp. 156-163). IEEE conference proceedings
Open this publication in new window or tab >>Using AI planning and late binding for managing service workflows in intelligent environments
2011 (English)In: 2011 IEEE International conference on pervasive computing and communications (PerCom), IEEE conference proceedings, 2011, p. 156-163Conference paper, Published paper (Refereed)
Abstract [en]

In this paper, we present an approach to aggregating and using devices that support the everyday life of human users in ambient intelligence environments. These execution environments are complex and changing over time, since the devices of the environments are numerous and heterogeneous, and they may appear or disappear at any time. In order to appropriately adapt the ambient system to a user's needs, we adopt a service-oriented approach; i.e., devices provide services that reflect their capabilities. The orchestration of the devices is actually realized with the help of Artificial Intelligence planning techniques and dynamic service binding. At design time, (i) a planning problem is created that consists of the user's goal to be achieved and the services currently offered by the intelligent environment, (ii) the planning problem is then solved using Hierarchical Task Network and Partial-Order Causal-Link planning techniques, (iii) and from the planning decisions taken to find solution plans, abstract service workflows are automatically generated. At run time, the abstract services are dynamically bound to devices that are actually present in the environment. Adaptation of the workflow instantiation is possible due to the late binding mechanism employed. The paper depicts the architecture of our system. It also describes the modeling and the life cycle of the workflows. We discuss the advantages and the limit of our approach with respect to related work and give specific details about implementation. We present some experimental results that validate our system in a real-world application scenario.

Place, publisher, year, edition, pages
IEEE conference proceedings, 2011
National Category
Computer Sciences
Identifiers
urn:nbn:se:oru:diva-29131 (URN)10.1109/PERCOM.2011.5767580 (DOI)978-1-4244-9530-6 (ISBN)978-1-4244-9528-3 (ISBN)
Conference
Ninth Annual IEEE International Conference on Pervasive Computing and Communications (PerCom 2011), Seattle, WA, USA, 21-25 March 2011
Funder
EU, FP7, Seventh Framework Programme, 216837
Available from: 2013-05-22 Created: 2013-05-22 Last updated: 2018-01-11Bibliographically approved
Bidot, J., Biundo, S., Heinroth, T., Minker, W., Nothdurft, F. & Schattenberg, B. (2010). Verbal plan explanations for hybrid planning. In: Matthias Schumann, Lutz M. Kolbe, Michael H. Breitner, and Arne Frerichs (Ed.), MKWI: . Paper presented at Multikonferenz Wirtschaftsinformatik 2010 (pp. 2309-2320). Universitätsverlag Göttingen
Open this publication in new window or tab >>Verbal plan explanations for hybrid planning
Show others...
2010 (English)In: MKWI / [ed] Matthias Schumann, Lutz M. Kolbe, Michael H. Breitner, and Arne Frerichs, Universitätsverlag Göttingen, 2010, p. 2309-2320Conference paper, Published paper (Refereed)
Place, publisher, year, edition, pages
Universitätsverlag Göttingen, 2010
National Category
Computer Sciences
Research subject
Computer Science
Identifiers
urn:nbn:se:oru:diva-29169 (URN)
Conference
Multikonferenz Wirtschaftsinformatik 2010
Funder
EU, FP7, Seventh Framework Programme, 216837
Available from: 2013-05-24 Created: 2013-05-24 Last updated: 2018-01-11Bibliographically approved
Schattenberg, B., Bidot, J., Geßler, S. & Biundo, S. (2009). A framework for interactive hybrid planning. In: Bärbel Mertsching, Marcus Hund, Zaheer Aziz (Ed.), KI 2009: advances in artificial intelligence. Paper presented at 32nd Annual German conference on AI, Paderborn, Germany, September 15-18, 2009 (pp. 17-24). Springer
Open this publication in new window or tab >>A framework for interactive hybrid planning
2009 (English)In: KI 2009: advances in artificial intelligence / [ed] Bärbel Mertsching, Marcus Hund, Zaheer Aziz, Springer, 2009, p. 17-24Conference paper, Published paper (Refereed)
Abstract [en]

Hybrid planning provides a powerful mechanism to solve real-world planning problems. We present a domain-independent, mixed-initiative approach to plan generation that is based on a formal concept of hybrid planning. It allows any interaction modalities and models of initiative while preserving the soundness of the planning process. Adequately involving the decision competences of end-users in this way will improve the application potential as well as the acceptance of the technology.

Place, publisher, year, edition, pages
Springer, 2009
Series
Lecture Notes in Computer Science, ISSN 0302-9743 ; 5803
National Category
Computer Sciences
Research subject
Computer and Systems Science
Identifiers
urn:nbn:se:oru:diva-29168 (URN)10.1007/978-3-642-04617-9_3 (DOI)978-3-642-04616-2 (ISBN)
Conference
32nd Annual German conference on AI, Paderborn, Germany, September 15-18, 2009
Available from: 2013-05-24 Created: 2013-05-24 Last updated: 2018-01-11Bibliographically approved
Organisations

Search in DiVA

Show all publications