Manufacturing is transitioning from a mass production model to a service model in which facilities ‘bid’ to produce products. To decide whether to bid for a complex, previously unseen product, a facility must be able to synthesize, on the fly, a process plan controller that delegates abstract manufacturing tasks in a supplied process recipe to the available manufacturing resources. 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. First-order representations of the state are commonly considered in reasoning about action in AI, and here we show that we can leverage the wide literature on the Situation Calculus and ConGolog programs to formalize this kind of manufacturing. 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—finite domains and bounded action theories—for which we provide techniques to actually synthesize the controller.


    Access

    Download


    Export, share and cite



    Title :

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



    Publication date :

    2022-01-01



    Type of media :

    Article (Journal)


    Type of material :

    Electronic Resource


    Language :

    English



    Classification :

    DDC:    629



    The Chisholm Paradox and the Situation Calculus

    Demolombe, R. / Pozos-Parra, P. | British Library Conference Proceedings | 2005


    Situation representation for controllers

    Beyer, R. / Schenk, H.D. | Tema Archive | 1996


    Multiagent architecture that uses situation calculus (MAGSIC) [3805-17]

    Jian, K.-D. / Nygard, K. E. / SPIE | British Library Conference Proceedings | 1999


    PID controller tuning using fractional calculus concepts

    Barbosa, Ramiro / Tenreiro Machado, J. A. / Ferreira, Isabel M. | BASE | 2004

    Free access

    2-DOF Observer Based Controller for First Order with Dead Time Systems

    Ashu Ahuja / Shiv Narayan / Jagdish Kumar | BASE | 2014

    Free access