In robot programming, there is a big gap between academic experimental frameworks and the state-of-thepractice in industry. Widespread programming paradigms of industrial robot systems are built around a robot domain-specific language (like ABB RAPID, KUKA KRL, FANUC KAREL) that contain a motion stack with a set of primitives (e.g., MoveJ/PTP, MoveL/LIN) to interact with a real-time motion controller. The roots of these systems lie in the era of caged robots performing repetitive tasks with no or limited sensor interactions. Sensor-guided motions are typically added with special plugins/language extensions.
Nowadays, we want to deploy robot applications not only in highly conditioned production lines, but also in more human-like production lines with a large variability and uncertainty in the task, or production lines manipulating or processing natural products. Sometimes, we even want robots to physically interact with humans, jointly performing tasks. Defining and implementing how to react to disturbances (behaviour, skill) is key in these aspects, going beyond specifying a nominal prescribed trajectory execution. At the same time, we see that these applications typically consist of smaller production serie. Development costs need to be written off against a smaller batch, leading to the need for decreased development costs. The central objective of this workshop is to identify how we can resolve these seemingly conflicting goals: on the one hand, we want to have complex sensor-based applications; on the other hand, we need to decrease development costs.
Constraint-based approaches, where the robot task is specified in terms of constraints, as opposed to traditional, trajectory-based task specification, look very promising to tackle this problem. In these approaches, the task is described (either explicitly or implicitly) as an optimisation problem subject to a number of constraints. These constraints can be in the continuous domain  or also the discrete domain ; they can involve geometry of robot and task or can be sensor-based . Some of these approaches are kinematic , others include a dynamic model . Typically, these task specifications also involve an hierarchical optimization problem, where some constraints are considered more prioritized than others .
In this workshop we aim to bring together leading researchers and industrial/real-world early adopters in constraint-based programming theory, software development and applications . Which paradigm shift do we need to obtain the reactivity and modularity needed to resolve this conflict? How do we reuse robot “skills” in new robot applications? What are the key missing steps/hurdles/pitfalls to bring them from a lab to the real world? How should we organize the different stakeholder roles in the development of tomorrow’s robot applications? What can we learn from early adopters?
Prospective authors are invited to submit a two-page abstract reporting on their current research and ideas that motivate discussion during the workshop. Authors of accepted work will be able to present their research as a lightning presentation and/or poster.
In this workshop, we aim to bring to the attention of the audience the following topics, all related to constraint-based programming:
“Constraint-based programming” must be considered in the wide sense of the term. For example, but not limited to:
Submission Please submit your two-page abstract using the IROS template by email to
. Each submission will be reviewed by two reviewers.
|Call for abstracts opens:||July 10, 2020|
|Abstract submission deadline:||August 10, 2020|
|Notification of acceptance:||August 31, 2020|
The workshop will consist of 1) invited talks (cf. Invited Speakers section), 2) lightning talks and a poster sessios for contributed abstracts, and 3) an interactive discussion connecting developers and users of software for constraint-based programming. We encourage participants to check the Software section in order to actively participate in the discussion.
Note that we are monitoring COVID-19 measures, and the workshop structure will be adapted if required.
CARTESI/O is a novel Cartesian control framework with a focus on online control of multi-chained, hyper-redundant floating-base robots.
eTasl is a task specification language for reactive control of robot systems. It is a language that allows you to describe how your robotic system has to move and interact with sensors. This description is based on a constraint-based methodology. Everything is specified as an optimization problem subject to constraints.