Modeling, handling and control of high innovative, multi-site, modular and flexible manufacturing systems is emerging as a high challenge for research. For the industry to control such complex manufacturing systems it becomes a dominating factor to distinguish oneself in international business rivalry. Thus, there is an operative demand for a powerful and stable kernel to successfully take part in this hard contest. In this paper we present a scalable Automata Based Composition (ABC) for modeling and control complex safety-critical manufacturing systems. The basic operation is to automatically synthesize a consistent, coherent and overall behavioral model of a given manufacturing system by composing basic and subdivided components including conditional entities for functional safety of particular components and the manufacturing environment, respectively. One essential property of the ABC is the formal ABC-language. It provides a very intuitive mechanism for specifying, modeling and control of synchronously and asynchronously simultaneous and individually asynchronous behavior of components to each other. An other vital property of ABC is, that it is totally defined and closed under decomposition and re-composition of such complex systems. Thus, the ABC kernel owns unitary operation and becomes totally conflict-free for any variation of modeling progress in contrast to state of the art modeling and simulation tools.


    Zugriff

    Zugriff prüfen

    Verfügbarkeit in meiner Bibliothek prüfen

    Bestellung bei Subito €


    Exportieren, teilen und zitieren



    Titel :

    Compositional modeling and control for safety-critical manufacturing systems


    Beteiligte:


    Erscheinungsdatum :

    2012-10-01


    Format / Umfang :

    557220 byte




    Medientyp :

    Aufsatz (Konferenz)


    Format :

    Elektronische Ressource


    Sprache :

    Englisch



    Provably-Correct Compositional Synthesis of Vehicle Safety Systems

    Nilsson, Petter / Ozay, Necmiye | Springer Verlag | 2018


    Safety-Critical Control

    Cohen, Max / Belta, Calin | Springer Verlag | 2023


    Safety critical systems control in autonomous vehicles

    DAVID J BERELS | Europäisches Patentamt | 2018

    Freier Zugriff

    Safety critical systems control in autonomous vehicles

    Europäisches Patentamt | 2017

    Freier Zugriff

    Safety critical systems control in autonomous vehicles

    BERELS DAVID JEFFEORY | Europäisches Patentamt | 2019

    Freier Zugriff