#3727. Situation calculus for controller synthesis in manufacturing systems with first-order state representation

October 2026publication date
Proposal available till 08-06-2025
4 total number of authors per manuscript0 $

The title of the journal is available only for the authors who have already paid for
Journal’s subject area:
Artificial Intelligence;
Places in the authors’ list:
place 1place 2place 3place 4
FreeFreeFreeFree
2350 $1200 $1050 $900 $
Contract №3727.1 Contract №3727.2 Contract №3727.3 Contract №3727.4
1 place - free (for sale)
2 place - free (for sale)
3 place - free (for sale)
4 place - free (for sale)

Abstract:
Manufacturing is transitioning from a mass production model to a service model in which facilities ‘bid’ to produce products. Often manufacturing processes depend on the data and objects (parts) they produce and consume. To formalize this aspect we need to adopt a first-order representation of the state of the processes. With such a formalization available, we investigate how to synthesize process plan controllers in this first-order state setting. We also identify two important decidable cases for which we provide techniques to actually synthesize the controller.
Keywords:
Automated synthesis; Reasoning about actions; Situation calculus; Smart manufacturing

Contacts :
0