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.


    Zugriff

    Download


    Exportieren, teilen und zitieren



    Titel :

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



    Erscheinungsdatum :

    2022-01-01



    Medientyp :

    Aufsatz (Zeitschrift)


    Format :

    Elektronische Ressource


    Sprache :

    Englisch



    Klassifikation :

    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 Archiv | 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

    Freier Zugriff

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

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

    Freier Zugriff