Code generation

Robotic software systems: From code-driven to model-driven designs

Schlegel, Hassler, Lotz, Steck

Citations: 82 • 2009

Design Abstraction and Processes in Robotics: From Code-Driven to Model-Driven Engineering

Christian Schlegel, Andreas Steck, Davide Brugali, Alois Knoll

Citations: 65 • 2010

Generating embedded software from hierarchical hybrid models

Rajeev Alur, Franjo Ivančić, Jesung Kim, Insup Lee, Oleg Sokolsky

Citations: 57 • 2003

A Formal Model-Based Design Method for Robotic Systems

Rui Wang, Yong Guan, Houbing Song, Xinxin Li, Xiaojuan Li, Zhiping Shi, Xiaoyu Song

Citations: 47 • 2018

Using the Time Petri Net Formalism for Specification, Validation, and Code Generation in Robot-Control Applications

Luis Montano, Francisco José García Izquierdo, José Luis Villarroel

Citations: 46 • 2000

Language and Code Generator Composition for Model-Driven Engineering of Robotics Component & Connector Systems

Jan Oliver Ringert, Alexander Roth, Bernhard Rumpe⋆, Andreas Wortmann

Citations: 38 • 2015

RobCoGen: a code generator for efficient kinematics and dynamics of articulated robots, based on Domain Specific Languages

Marco Frigerio, Jonas Buchli, Darwin G. Caldwell, Claudio Semini

Citations: 34 • 2016

Automatic model generation and PLC-code implementation for interlocking policies in industrial robot cells

Hugo Flordal, Marián Fabian, Knut Åkesson, Domenico Spensieri

Citations: 33 • 2007

Using language workbenches and domain-specific languages for safety-critical software development

Markus Voelter, Bernd Kolb, Klaus Birken, Federico Tomassetti, Patrick Alff, L. Wiart, Andreas Wortmann, Arne Nordmann

Citations: 29 • 2018

RoboStar Technology: A Roboticist’s Toolbox for Combined Proof, Simulation, and Testing

Ana Cavalcanti, Will Barnett, James Baxter, Gustavo Carvalho, Madiel Conserva Filho, Alvaro Miyazawa, Pedro Ribeiro, Augusto Sampaio

Citations: 28 • 2020

A structured methodology for the design and implementation of control and supervision systems for robotic applications

Luca Ferrarini, Emanuele Carpanzano

Citations: 27 • 2002

Efficient robot inverse and direct dynamics algorithms using microcomputer based symbolic generation

Roger Toogood

Citations: 24 • 2003

Systematic and Realistic Testing in Simulation of Control Code for Robots in Collaborative Human-Robot Interactions

Citations: 23 • 2016

Large language model-based code generation for the control of construction assembly robots: A hierarchical generation approach

Hanbin Luo, Jianxin Wu, Jiajing Liu, Maxwell Fordjour Antwi‐Afari

Citations: 22 • 2024

An XML representation of DAE systems obtained from continuous-time Modelica models

Roberto Parrotto, Johan Åkesson, Francesco Casella

Citations: 21 • 2010

Code generation of algebraic quantities for robot controllers

Marco Frigerio, Jonas Buchli, Darwin G. Caldwell

Citations: 19 • 2012

A Design and Analysis Methodology for Component-Based Real-Time Architectures of Autonomous Systems

Nicolas Gobillot, Charles Lesire, David Doose

Citations: 18 • 2018

Synthesizing Executable PLC Code for Robots from Scenario-Based GR(1) Specifications

Daniel Gritzner, Joel Greenyer

Citations: 17 • 2018

SymForce: Symbolic Computation and Code Generation for Robotics

Hayk Martiros, Aaron Miller, Nathan Bucki, Bradley Solliday, Ryan Kennedy, Jack Zhu, Tung T. Dang, Dominic Pattison, Harrison Zheng, Teo Tomic, Peter Henry, Gareth Cross, Josiah VanderMey, Alvin Sun, Samuel J. Wang, Kristen D. Holtz

Citations: 17 • 2022

Automatic code generation for actuator interfacing from a declarative specification

Eunsil Jung, C. Kapoor, Don Batory

Citations: 16 • 2005