We introduce a modeling framework aimed at incorporating symbolic discrete controller synthesis (DCS) into a virtual robot experimental platform. This framework involves symbolically representing the behaviors of robotic systems along with their control objectives using synchronous programming techniques. We employed DCS algorithms through the reactive synchronous environment ReaX to generate controllers that fulfill specified objectives. These resulting controllers were subsequently deployed on the virtual robot experimental platform Simscape. To demonstrate and validate our approach, we provide an implementation example involving collaborative UAV robots.


    Zugriff

    Download


    Exportieren, teilen und zitieren



    Titel :

    Incorporating Symbolic Discrete Controller Synthesis into a Virtual Robot Experimental Platform: An Implementation with Collaborative Unmanned Aerial Vehicle Robots


    Beteiligte:
    Mete Özbaltan (Autor:in) / Serkan Çaşka (Autor:in)


    Erscheinungsdatum :

    2024




    Medientyp :

    Aufsatz (Zeitschrift)


    Format :

    Elektronische Ressource


    Sprache :

    Unbekannt




    Unmanned aerial vehicle flight platform and unmanned aerial vehicle

    WANG GUANLIN / ZENG FUCEN / SHUAI JING et al. | Europäisches Patentamt | 2022

    Freier Zugriff

    Unmanned aerial vehicle underwater robot launching platform

    YANG LIN / WEI DINGJIANG / YANG BOXIONG | Europäisches Patentamt | 2024

    Freier Zugriff

    Unmanned aerial vehicle platform

    SRIVASTAVA ASHOK N / PASKO DOUGLAS M / BATLA HANI et al. | Europäisches Patentamt | 2020

    Freier Zugriff

    UNMANNED AERIAL VEHICLE PLATFORM

    SRIVASTAVA ASHOK N / PASKO DOUGLAS M / BATLA HANI et al. | Europäisches Patentamt | 2020

    Freier Zugriff

    UNMANNED AERIAL VEHICLE PLATFORM

    SRIVASTAVA ASHOK N / PASKO DOUGLAS M / BATLA HANI et al. | Europäisches Patentamt | 2015

    Freier Zugriff