Situation Calculus for Synthesis of Manufacturing Controllers

07/12/2018
by   Giuseppe De Giacomo, et al.
0

Manufacturing is transitioning from a mass production model to a manufacturing as a service model in which manufacturing facilities 'bid' to produce products. To decide whether to bid for a complex, previously unseen product, a manufacturing facility must be able to synthesize, 'on the fly', a process plan controller that delegates abstract manufacturing tasks in the supplied process recipe to the appropriate manufacturing resources, e.g., CNC machines, robots etc. Previous work in applying AI behaviour composition to synthesize process plan controllers has considered only finite state ad-hoc representations. Here, we study the problem in the relational setting of the Situation Calculus. By taking advantage of recent work on abstraction in the Situation Calculus, process recipes and available resources are represented by ConGolog programs over, respectively, an abstract and a concrete action theory. This allows us to capture the problem in a formal, general framework, and show decidability for the case of bounded action theories. We also provide techniques for actually synthesizing the controller.

READ FULL TEXT

page 1

page 2

page 3

page 4

research
05/20/2023

Abstraction of Nondeterministic Situation Calculus Action Theories – Extended Version

We develop a general framework for abstracting the behavior of an agent ...
research
09/07/2015

Bounded Situation Calculus Action Theories

In this paper, we investigate bounded action theories in the situation c...
research
04/07/2022

Abstracting Noisy Robot Programs

Abstraction is a commonly used process to represent some low-level syste...
research
02/19/2021

Controller Synthesis for Golog Programs over Finite Domains with Metric Temporal Constraints

Executing a Golog program on an actual robot typically requires addition...
research
07/12/2018

Hybrid Temporal Situation Calculus

The ability to model continuous change in Reiter's temporal situation ca...
research
07/07/2023

Neural Abstraction-Based Controller Synthesis and Deployment

Abstraction-based techniques are an attractive approach for synthesizing...
research
05/04/2021

The Role of Time and Data: Online Conformance Checking in the Manufacturing Domain

Process mining has matured as analysis instrument for process-oriented d...

Please sign up or login with your details

Forgot password? Click here to reset