RoboSC: a domain-specific language for supervisory controller synthesis of ROS applications

被引：0
|
作者：
Wesselink, Bart [1 ]
de Vos, Koen [2 ]
Kuertev, Ivan [1 ]
Reniers, Michel [2 ]
Torta, Elena [2 ]
机构：
[1] Eindhoven Univ Technol, Fac Comp Sci, Eindhoven, Netherlands
[2] Eindhoven Univ Technol, Fac Mech Engn, Eindhoven, Netherlands
来源：
2023 IEEE INTERNATIONAL CONFERENCE ON ROBOTICS AND AUTOMATION (ICRA 2023) | 2023年
关键词：
D O I：
10.1109/ICRA48891.2023.10161436
中图分类号：
TP [自动化技术、计算机技术];
学科分类号：
0812 ;
摘要：
The paper presents a novel domain-specific language, RoboSC, for developing supervisory controllers for robotic applications. RoboSC supports concepts of ROS/ROS2 and supervisory control theory. It enables users to focus on the modeling and the synthesis process of supervisory controllers for ROS applications only because it generates all artifacts needed to connect such controllers to ROS applications and deploy them. Validation tests with actual and simulated robots show the approach's feasibility and indicate reduced coding effort.
引用
收藏
页码：9090 / 9096
页数：7
相关论文
共 50 条
  • [1] A Domain-Specific Language for Multitask Systems, Applying Discrete Controller Synthesis
    Delaval, Gwenael
    Rutten, Eric
    [J]. EURASIP JOURNAL ON EMBEDDED SYSTEMS, 2007, (01)
  • [2] Photon: A Domain-specific Language for Testing Converged Applications
    Miller, Anne
    Kumar, Balaji
    Singhal, Anukul
    [J]. 2009 IEEE 33RD INTERNATIONAL COMPUTER SOFTWARE AND APPLICATIONS CONFERENCE, VOLS 1 AND 2, 2009, : 942 - 947
  • [3] Practical Formal Verification of Domain-Specific Language Applications
    Eakman, Greg
    Reubenstein, Howard
    Hawkins, Tom
    Jain, Mitesh
    Manolios, Panagiotis
    [J]. NASA FORMAL METHODS (NFM 2015), 2015, 9058 : 443 - 449
  • [4] Towards a Domain-Specific Language to Deploy Applications in the Clouds
    Brandtzaeg, Eirik
    Mohagheghi, Parastoo
    Mosser, Sebastien
    [J]. THIRD INTERNATIONAL CONFERENCE ON CLOUD COMPUTING, GRIDS, AND VIRTUALIZATION (CLOUD COMPUTING 2012), 2012, : 213 - 218
  • [5] A Domain-Specific Language for the Specification of Gesture-based Applications
    Viana, Daniel Leite
    de Medeiros Santos, Andre Luis
    [J]. PROCEEDINGS OF THE 21ST BRAZILIAN SYMPOSIUM ON PROGRAMMING LANGUAGES (SBLP 2017), 2017,
  • [6] Domain-Specific Language for Context-Aware Web Applications
    Nebeling, Michael
    Grossniklaus, Michael
    Leone, Stefania
    Norrie, Moira C.
    [J]. WEB INFORMATION SYSTEM ENGINEERING-WISE 2010, 2010, 6488 : 471 - 479
  • [7] A Domain-Specific Language for Microservices
    Donham, Jacob
    [J]. PROCEEDINGS OF THE 9TH ACM SIGPLAN INTERNATIONAL SYMPOSIUM ON SCALA (SCALA '18), 2018, : 2 - 12
  • [8] A Domain-Specific Language for Defining Static Structure of Database Applications
    Dejanovic, Igor
    Milosavljevic, Gordana
    Perisic, Branko
    Tumbas, Maja
    [J]. COMPUTER SCIENCE AND INFORMATION SYSTEMS, 2010, 7 (03) : 409 - 440
  • [9] A Domain-Specific Language for Aviation Domain Interoperability
    Comitz, Paul
    [J]. 2013 INTEGRATED COMMUNICATIONS, NAVIGATION AND SURVEILLANCE CONFERENCE (ICNS), 2013,
  • [10] JAMOOS: A domain-specific language for language processing
    Gil, Joseph Yossi
    Tsoglin, Yuri
    [J]. 2001, University of Zagreb, Faculty of Political Sciences (09)
12345