Opening up untapped potential in smaller enterprises requires methods for robot programming usable by non-experts. In a previous work on an automata-based programming approach without a graphical interface, linking to previous states to close loop structures was identified as challenging for users. In this paper, we propose an approach to generate such structures automatically from small overlap within the programmed instructions. To this end, a marking function for state pairs is calculated, which evaluates whether the structures starting from two states are conflicting or in agreement (and in the latter case, how much). Algorithms for calculating and utilizing this marking function are presented. Our experiments on an example task confirm the effectiveness of the approach.


    Zugriff

    Zugriff prüfen

    Verfügbarkeit in meiner Bibliothek prüfen

    Bestellung bei Subito €


    Exportieren, teilen und zitieren



    Titel :

    Structure Synthesis for Extended Robot State Automata


    Weitere Titelangaben:

    Mechan. Machine Science


    Beteiligte:
    Müller, Andreas (Herausgeber:in) / Brandstötter, Mathias (Herausgeber:in) / Sauer, Lukas (Autor:in) / Henrich, Dominik (Autor:in)

    Kongress:

    International Conference on Robotics in Alpe-Adria Danube Region ; 2022 ; Klagenfurt, Austria June 08, 2022 - June 10, 2022



    Erscheinungsdatum :

    23.04.2022


    Format / Umfang :

    9 pages





    Medientyp :

    Aufsatz/Kapitel (Buch)


    Format :

    Elektronische Ressource


    Sprache :

    Englisch




    Structure Synthesis for Extended Robot State Automata

    Sauer, Lukas / Henrich, Dominik | TIBKAT | 2022


    Extended State Automata for Intuitive Robot Programming

    Sauer, Lukas / Henrich, Dominik | TIBKAT | 2021


    Multi-Robot Motion Planning: A Timed Automata Approach

    Quottrup, Michael Melholt / Bak, Thomas / Izadi-Zamanabadi, Roozbeh | BASE | 2004

    Freier Zugriff

    Interport Modelling with State Automata

    Mazzucchelli, M. / Recagno, V. / Sciutto, G. et al. | British Library Conference Proceedings | 1996