English
Related papers

Related papers: Ontology-Driven Robotic Specification Synthesis

200 papers

This paper is based on and advocates the trend in software engineering of extending the use of software patterns as means of structuring solutions to software development problems (be they motivated by best practice or by company interests…

Software Engineering · Computer Science 2007-05-23 Jean-Marc Rosengard , Marian Ursu

This paper proposes a method for designing human-robot collaboration tasks and generating corresponding trajectories. The method uses high-level specifications, expressed as a Signal Temporal Logic (STL) formula, to automatically synthesize…

Robotics · Computer Science 2023-07-03 Giuseppe Silano , Amr Afifi , Martin Saska , Antonio Franchi

This work presents an ontology-integrated large language model (LLM) framework for chemical engineering that unites structured domain knowledge with generative reasoning. The proposed pipeline aligns model training and inference with the…

Machine Learning · Computer Science 2025-12-15 Crystal Su , Kuai Yu , Jingrui Zhang , Mingyuan Shao , Daniel Bauer

As Multi-Robot Systems (MRS) become more affordable and computing capabilities grow, they provide significant advantages for complex applications such as environmental monitoring, underwater inspections, or space exploration. However,…

The engineering community currently encounters significant challenges in the systematic development and validation of autonomy algorithms for off-road ground vehicles. These challenges are posed by unusually high test parameters and…

Humans are considered as integral components of Human-Robot Collaboration (HRC) systems, not only as object (e.g. in health care), but also as operators and service providers in manufacturing. Sophisticated and complex tasks are to be…

Robotics · Computer Science 2020-03-24 Kamil Skarzynski , Marcin Stepniak , Waldemar Bartyna , Stanislaw Ambroszkiewicz

To provide a foundation for conceptual modeling, ontologies have been introduced to specify the entities, the existences of which are acknowledged in the model. Ontologies are essential components as mechanisms to model a portion of reality…

Artificial Intelligence · Computer Science 2020-07-21 Sabah Al-Fedaghi

Agents, whether software or hardware, perceive their environment through sensors and act using actuators, often operating in dynamic, partially observable settings. They face challenges like incomplete and noisy data, unforeseen situations,…

Artificial Intelligence · Computer Science 2024-05-29 Saeedeh Ghanadbashi , Fatemeh Golpayegani

Producing accurate software models is crucial in model-driven software engineering (MDE). However, modeling complex systems is an error-prone task that requires deep application domain knowledge. In the past decade, several automated…

Software Engineering · Computer Science 2024-08-27 Vittoriano Muttillo , Claudio Di Sipio , Riccardo Rubei , Luca Berardinelli , MohammadHadi Dehghani

We present an interactive, computational design system for creating custom robotic arms given high-level task descriptions and environmental constraints. Various task requirements can be encoded as desired motion trajectories for the robot…

Robotics · Computer Science 2018-06-21 Ruta Desai , Margarita Safonova , Katharina Muelling , Stelian Coros

To achieve a flexible and adaptable system, capability ontologies are increasingly leveraged to describe functions in a machine-interpretable way. However, modeling such complex ontological descriptions is still a manual and error-prone…

Artificial Intelligence · Computer Science 2024-10-21 Luis Miguel Vieira da Silva , Aljosha Köcher , Felix Gehlhoff , Alexander Fay

Task-oriented semantic parsing models typically have high resource requirements: to support new ontologies (i.e., intents and slots), practitioners crowdsource thousands of samples for supervised fine-tuning. Partly, this is due to the…

Computation and Language · Computer Science 2021-04-16 Shrey Desai , Akshat Shrivastava , Alexander Zotov , Ahmed Aly

Traditional robot task planning methods face challenges when dealing with highly unstructured environments and complex tasks. We propose a task planning method that combines human expertise with an LLM and have designed an LLM prompt…

Robotics · Computer Science 2023-06-09 Yue Zhen , Sheng Bi , Lu Xing-tong , Pan Wei-qin , Shi Hai-peng , Chen Zi-rui , Fang Yi-shu

Task-oriented dialogue (TOD) systems are required to identify key information from conversations for the completion of given tasks. Such information is conventionally specified in terms of intents and slots contained in task-specific…

Computation and Language · Computer Science 2022-01-25 Jeffrey Zhao , Raghav Gupta , Yuan Cao , Dian Yu , Mingqiu Wang , Harrison Lee , Abhinav Rastogi , Izhak Shafran , Yonghui Wu

The need for domain ontologies in mission critical applications such as risk management and hazard identification is becoming more and more pressing. Most research on ontology learning conducted in the academia remains unrealistic for…

Artificial Intelligence · Computer Science 2008-12-19 Wilson Wong , Wei Liu , Saujoe Liaw , Nicoletta Balliu , Hongwei Wu , Moses Tade

Even though modern service-oriented and data-oriented architectures promise to deliver loosely coupled control systems, they are inherently brittle as they commonly depend on a priori agreed interfaces and data models. At the same time, the…

Instrumentation and Methods for Astrophysics · Physics 2013-10-22 Wim Pessemier , Gert Raskin , Hans Van Winckel , Geert Deconinck , Philippe Saey

Designing robotic hand morphologies for diverse manipulation tasks requires balancing dexterity, manufacturability, and task-specific functionality. While open-source frameworks and parametric tools support reproducible design, they still…

Robotics · Computer Science 2025-09-24 Yanyuan Qiao , Kieran Gilday , Yutong Xie , Josie Hughes

Any industrial system goes along with objectives to be met (e.g. economic performance), disturbances to handle (e.g. market fluctuations, catalyst decay, unexpected variations in uncontrolled flow rates and compositions,...), and…

Optimization and Control · Mathematics 2021-08-20 Aris Papasavvas

Reproducibility of computational results remains a challenge in materials science, as simulation workflows and parameters are often reported only in unstructured text and tables. While literature data are valuable for validation and reuse,…

One major recurring challenge in deploying manipulation robots is determining the optimal placement of manipulators to maximize performance. This challenge is exacerbated in complex, cluttered agricultural environments of high-value crops,…

Robotics · Computer Science 2025-07-30 Dominic Guri , George Kantor