Code generation
相关论文数: 20
顶级研究者
最高引用论文
Robotic software systems: From code-driven to model-driven designs
Schlegel, Hassler, Lotz, Steck
引用数: 82 • 2009
Design Abstraction and Processes in Robotics: From Code-Driven to Model-Driven Engineering
Christian Schlegel, Andreas Steck, Davide Brugali, Alois Knoll
引用数: 65 • 2010
Generating embedded software from hierarchical hybrid models
Rajeev Alur, Franjo Ivančić, Jesung Kim, Insup Lee, Oleg Sokolsky
引用数: 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
引用数: 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
引用数: 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
引用数: 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
引用数: 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
引用数: 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
引用数: 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
引用数: 28 • 2020
A structured methodology for the design and implementation of control and supervision systems for robotic applications
Luca Ferrarini, Emanuele Carpanzano
引用数: 27 • 2002
Efficient robot inverse and direct dynamics algorithms using microcomputer based symbolic generation
Roger Toogood
引用数: 24 • 2003
Systematic and Realistic Testing in Simulation of Control Code for Robots in Collaborative Human-Robot Interactions
引用数: 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
引用数: 22 • 2024
An XML representation of DAE systems obtained from continuous-time Modelica models
Roberto Parrotto, Johan Åkesson, Francesco Casella
引用数: 21 • 2010
Code generation of algebraic quantities for robot controllers
Marco Frigerio, Jonas Buchli, Darwin G. Caldwell
引用数: 19 • 2012
A Design and Analysis Methodology for Component-Based Real-Time Architectures of Autonomous Systems
Nicolas Gobillot, Charles Lesire, David Doose
引用数: 18 • 2018
Synthesizing Executable PLC Code for Robots from Scenario-Based GR(1) Specifications
Daniel Gritzner, Joel Greenyer
引用数: 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
引用数: 17 • 2022
Automatic code generation for actuator interfacing from a declarative specification
Eunsil Jung, C. Kapoor, Don Batory
引用数: 16 • 2005