Model transformation

RoboChart: modelling and verification of the functional behaviour of robotic applications

Alvaro Miyazawa, Pedro Ribeiro, Wei Li, Ana Cavalcanti, Jon Timmis, Jim Woodcock

Citations: 113 • 2019

Logic-based switching control of a nonholonomic system with parametric modeling uncertainty

João P. Hespanha, Daniel Liberzon, A. Stephen Morse

Citations: 110 • 1999

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

Christian Schlegel, Andreas Steck, Davide Brugali, Alois Knoll

Citations: 65 • 2010

Towards the supervisory control of uncertain nonholonomic systems

João P. Hespanha, Daniel Liberzon, A. Stephen Morse

Citations: 62 • 1999

A sojourn probability approach to fuzzy-model-based reliable control for switched systems with mode-dependent time-varying delays

Bo Wang, Jun Cheng, Jianming Zhan

Citations: 48 • 2017

From AutomationML to ROS: A model-driven approach for software engineering of industrial robotics using ontological reasoning

Yingbing Hua, Stefan Zander, Mirko Bordignon, Björn Hein

Citations: 34 • 2016

Transformation from Petri Nets Model to Programmable Logic Controller using One-to-One Mapping Technique

Damber Thapa, Suraj Dangol, Gi-Nam Wang

Citations: 29 • 2006

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

<title>Sequencing formally defined reactions for robotic activity: integrating RAPS and GAPPS</title>

Marc G. Slack

Citations: 26 • 1992

Transformation of the kinematic models of restricted mobility wheeled mobile robots with a single platform into chain forms

W. Leroquais, Brigitte d’Andréa-Novel

Citations: 26 • 2002

A formal approach to AADL model-based software engineering

Hana Mkaouar, Bechir Zalila, Jérôme Hugues, Mohamed Jmaïel

Citations: 24 • 2019

Transformational Planning for Everyday Activity

Armin Müller, Alexandra Kirsch, Michael Beetz

Citations: 23 • 2007

Cycle Time Optimization of Deterministic Timed Weighted Marked Graphs by Transformation

Zhou He, Alessandro Giua

Citations: 22 • 2016

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

Roberto Parrotto, Johan Åkesson, Francesco Casella

Citations: 21 • 2010

Representing the model of impedance controlled robot interaction with feedback delay in polytopic LPV form: TP model transformation based approach

Citations: 18 • 2013

Fixed‐time cooperative control for robotic manipulators with motion constraints using unified transformation function

Yang Liu, Huaguang Zhang, Yingchun Wang, Shuhang Yu

Citations: 16 • 2021

Revived Transformation for nonlinear systems subject to state constraints

Hisakazu Nakamura, Tatsuya Ibuki, Mitsuji Sampei

Citations: 15 • 2015

Context-Aware System Applied in Industrial Assembly Environment

Tomislav Stipanĉić, Bojan Jerbić, Petar Ćurković

Citations: 14 • 2012

Noise-tolerance consensus formation control for multi-robotic networks

Chuangchuang Wang, Ping He, Heng Li, Jinyu Tian, Kuiyang Wang, Yangmin Li

Citations: 12 • 2020

ART2ool: a model-driven framework to generate target code for robot handling tasks

Elísabet Estévez, Alejandro Sánchez García, Javier Gámez García, Juan Gómez Ortega

Citations: 12 • 2018