Formal specification and verification of autonomous robotic systems: A survey
Autonomous robotic systems are complex, hybrid, and often safety critical; this makes their
formal specification and verification uniquely challenging. Though commonly used, testing …
formal specification and verification uniquely challenging. Though commonly used, testing …
A survey of Model Driven Engineering in robotics
E de Araújo Silva, E Valentin, JRH Carvalho… - Journal of Computer …, 2021 - Elsevier
Robots are complex to develop due to the diversity of hardware, software components and
the absence of common standards. To deal with these problems, Model-Driven Engineering …
the absence of common standards. To deal with these problems, Model-Driven Engineering …
Integrating different levels of automation: Lessons from winning the amazon robotics challenge 2016
CH Corbato, M Bharatheesha… - IEEE Transactions …, 2018 - ieeexplore.ieee.org
This paper describes Team Delft's robot winning the Amazon Robotics Challenge 2016. The
competition involves automating pick and place operations in semistructured environments …
competition involves automating pick and place operations in semistructured environments …
Opc ua nodeset ontologies as a pillar of representing semantic digital twins of manufacturing resources
The effectiveness of cognitive manufacturing systems in agile production environments
heavily depend on the automatic assessment of various levels of interoperability between …
heavily depend on the automatic assessment of various levels of interoperability between …
[PDF][PDF] A knowledge graph based integration approach for industry 4.0
I Grangel-González - 2019 - researchgate.net
The fourth industrial revolution, Industry 4.0 (I40) aims at creating smart factories employing
among others Cyber-Physical Systems (CPS), Internet of Things (IoT) and Artificial …
among others Cyber-Physical Systems (CPS), Internet of Things (IoT) and Artificial …
[PDF][PDF] Disciplined use of BPMN for mission modeling of Multi-Robot Systems
Abstract Nowadays, Multi-Robot Systems are an emerging research field under the umbrella
of Cyber-Physical Systems. They consist of a group of robots that cooperate to accomplish a …
of Cyber-Physical Systems. They consist of a group of robots that cooperate to accomplish a …
Bootstrapping mde development from ros manual code-part 1: Metamodeling
Ten years after its first release, the Robot Operating System (ROS) is arguably the most
popular software framework used to program robots. It achieved such status despite its …
popular software framework used to program robots. It achieved such status despite its …
[HTML][HTML] EUD-MARS: end-user development of model-driven adaptive robotics software systems
Empowering end-users to program robots is becoming more significant. Introducing software
engineering principles into end-user programming could improve the quality of the …
engineering principles into end-user programming could improve the quality of the …
[PDF][PDF] Automationml ontology: modeling cyber-physical systems for industry 4.0
O Kovalenko, I Grangel-González… - IOS Press …, 2018 - semantic-web-journal.net
We present an AutomationML ontology (AMLO) that covers the CAEX part of the
AutomationML standard. The AutomationML data format facilitates the engineering data …
AutomationML standard. The AutomationML data format facilitates the engineering data …
AutomationML in industry 4.0 environment: A systematic literature review
AutomationML is an open neutral XML based data exchange format used in automation
systems. It has come into the public for more than 10 years and is being used in many …
systems. It has come into the public for more than 10 years and is being used in many …