Automatic robot program synthesis for assembly

Robotica ◽  
1992 ◽  
Vol 10 (2) ◽  
pp. 113-123 ◽  
Author(s):  
H. A. ElMaraghy ◽  
J. M. Rondeau
Keyword(s):  
Error Detection ◽  
Automatic Generation ◽  
Planning System ◽  
Problem Solver ◽  
Task Definition ◽  
Robot Trajectory ◽  
Planning Framework ◽  
Robot Task ◽  
Definition Of ◽  
High Level

SUMMARYThis paper describes a revised version of ROBOPLAN, a goal-oriented robot task planning system for automatic generation, decomposition and execution of high-level robot plans for assembly. It emphasizes its new features, i.e., modularity, formal definition of the task, robust plan synthesis, and execution of each assembly step. A task definition language allows a formal description of the robot universe and the assembly task to be input to ROBOPLAN. The expert task planner is a non-linear backward chaining problem solver, using a goal driven depth-first strategy. The implemented search strategy has been tested in the assembly domain, but it could be used in other domains where planning is needed. The motion planner provides a non-optimal, safe robot trajectory; collision free path planning has not been included yet. A robot executable code is generated for each assembly step and monitored in real time. The error detection and recovery capability of the system is rather limited at present, since no sensors are used. The initial implementation of the system has been tested and evaluated on the assembly of a DC motor. The potential of extending this planning framework to other applications is also discussed.

scholarly journals Integrating Answer Set Programming with Semantic Dictionaries for Robot Task Planning

2017 ◽  
Author(s):  
Dongcai Lu ◽  
Yi Zhou ◽  
Feng Wu ◽  
Zhao Zhang ◽  
Xiaoping Chen
Keyword(s):  
Answer Set Programming ◽  
Planning System ◽  
Service Robot ◽  
Task Planning ◽  
Planning Framework ◽  
Representation Language ◽  
Robot Task ◽  
User Instructions ◽  
High Level ◽  
Answer Set

In this paper, we propose a novel integrated task planning system for service robot in domestic domains. Given open-ended high-level user instructions in natural language, robots need to generate a plan, i.e., a sequence of low-level executable actions, to complete the required tasks. To address this, we exploit the knowledge on semantic roles of common verbs defined in semantic dictionaries such as FrameNet and integrate it with Answer Set Programming --- a task planning framework with both representation language and solvers. In the experiments, we evaluated our approach using common benchmarks on service tasks and showed that it can successfully handle much more tasks than the state-of-the-art solution. Notably, we deployed the proposed planning system on our service robot for the annual RoboCup@Home competitions and achieved very encouraging results.

scholarly journals Generating Collaborative Systems for Digital Libraries: a Model-Driven Approach

2010 ◽  
Vol 29 (4) ◽  
pp. 171 ◽  
Author(s):  
Alessio Malizia ◽  
Paolo Bottoni ◽  
S. Levialdi
Keyword(s):  
Digital Library ◽  
User Interfaces ◽  
Digital Libraries ◽  
Automatic Generation ◽  
Visual Language ◽  
Domain Experts ◽  
Model Driven ◽  
Neutral Models ◽  
Definition Of ◽  
High Level

The design and development of a digital library involves different stakeholders, such as: information architects, librarians, and domain experts, who need to agree on a common language to describe, discuss, and negotiate the services the library has to offer. To this end, high-level, language-neutral models have to be devised. Metamodeling techniques favor the definition of domainspecific visual languages through which stakeholders can share their views and directly manipulate representations of the domain entities. This paper describes CRADLE (Cooperative-Relational Approach to Digital Library Environments), a metamodel-based framework and visual language for the definition of notions and services related to the development of digital libraries. A collection of tools allows the automatic generation of several services, defined with the CRADLE visual language, and of the graphical user interfaces providing access to them for the final user. The effectiveness of the approach is illustrated by presenting digital libraries generated with CRADLE, while the CRADLE environment has been evaluated by using the cognitive dimensions framework.

MODELING AND DEVELOPING REAL-TIME CONCURRENT APPLICATIONS

1996 ◽  
Vol 06 (03) ◽  
pp. 427-446
Author(s):  
GIORGIO BRUNO ◽  
RAKESH AGARWAL
Keyword(s):  
Automatic Generation ◽  
Implementation Processes ◽  
Engineering Environment ◽  
Concurrent Processes ◽  
The Common ◽  
Toll Collection ◽  
Definition Of ◽  
High Level ◽  
Concurrent Applications

The development of concurrent applications, which consist of several parallel, often distributed, activities that communicate and synchronize with each other, presents challenging logical and technological issues. In the common practice, technological aspects, which are related to the definition of concurrent processes as well as of their interactions, often place constraints on the logical ones. Consequently, the flexibility that could be attained during design is reduced and, further, an actual implementation where both aspects are deeply intermixed is usually obtained. This paper first presents an expressive and flexible language based on object-oriented high-level nets, which allows designers to naturally represent concurrency and synchronization. Then, it illustrates a powerful software engineering environment, CAB (Concurrent Applications Builder), which supports the building and the simulation/animation of models as well as the automatic generation of applications from models (by transforming the model’s objects into implementation processes). A case study from an actual project for automatic toll collection in motor-ways is illustrated.

LinkEHR

2013 ◽  
pp. 45-58
Author(s):  
José Alberto Maldonado ◽  
Diego Boscá ◽  
David Moner ◽  
Montserrat Robles
Keyword(s):  
Electronic Health Record ◽  
Clinical Data ◽  
Data Exchange ◽  
Formal Semantics ◽  
Automatic Generation ◽  
Healthcare Sector ◽  
Health Record ◽  
Electronic Health ◽  
Definition Of ◽  
High Level

Normalization of data is a prerequisite to achieve semantic interoperability in any domain. This is even more important in the healthcare sector due to the special sensitivity of medical data: data exchange must be done in a meaningful way, avoiding any possibility of misunderstanding or misinterpretation. In this chapter, we present the LinkEHR system for clinical data standardization and exchange. The LinkEHR platform provides tools that simplify meaningful sharing of electronic health records between different systems and organizations. Key contributions of LinkEHR are the development of a powerful medical concept, expressed in the form of archetypes, editing framework based on formal semantics capable of handling multiple electronic health record architectures, the definition of high-level non-procedural mappings to describe the relationship between archetype and legacy clinical data and the semi-automatic generation of XQuery scripts that transform legacy data into XML documents compliant with the underlying electronic health record data architecture and at the same time satisfy the constraints imposed by the archetype.

Europe

2020 ◽  
pp. 649-666
Author(s):  
Andrea Renda
Keyword(s):  
Artificial Intelligence ◽  
Digital Technology ◽  
Policy Framework ◽  
Expert Group ◽  
Ethical Guidelines ◽  
Ethical Implications ◽  
Strong Focus ◽  
Ethics Guidelines ◽  
Definition Of ◽  
High Level

This chapter assesses Europe’s efforts in developing a full-fledged strategy on the human and ethical implications of artificial intelligence (AI). The strong focus on ethics in the European Union’s AI strategy should be seen in the context of an overall strategy that aims at protecting citizens and civil society from abuses of digital technology but also as part of a competitiveness-oriented strategy aimed at raising the standards for access to Europe’s wealthy Single Market. In this context, one of the most peculiar steps in the European Union’s strategy was the creation of an independent High-Level Expert Group on AI (AI HLEG), accompanied by the launch of an AI Alliance, which quickly attracted several hundred participants. The AI HLEG, a multistakeholder group including fifty-two experts, was tasked with the definition of Ethics Guidelines as well as with the formulation of “Policy and Investment Recommendations.” With the advice of the AI HLEG, the European Commission put forward ethical guidelines for Trustworthy AI—which are now paving the way for a comprehensive, risk-based policy framework.

scholarly journals Shape Sensing of a Complex Aeronautical Structure with Inverse Finite Element Method

Sensors ◽  
2021 ◽  
Vol 21 (4) ◽  
pp. 1388
Author(s):  
Daniele Oboe ◽  
Luca Colombo ◽  
Claudio Sbarufatti ◽  
Marco Giglio
Keyword(s):  
Finite Element Method ◽  
Finite Element ◽  
Boundary Conditions ◽  
Strain Field ◽  
Element Analysis ◽  
Inverse Finite Element Method ◽  
Shape Sensing ◽  
Definition Of ◽  
High Level ◽  
Element Method

The inverse Finite Element Method (iFEM) is receiving more attention for shape sensing due to its independence from the material properties and the external load. However, a proper definition of the model geometry with its boundary conditions is required, together with the acquisition of the structure’s strain field with optimized sensor networks. The iFEM model definition is not trivial in the case of complex structures, in particular, if sensors are not applied on the whole structure allowing just a partial definition of the input strain field. To overcome this issue, this research proposes a simplified iFEM model in which the geometrical complexity is reduced and boundary conditions are tuned with the superimposition of the effects to behave as the real structure. The procedure is assessed for a complex aeronautical structure, where the reference displacement field is first computed in a numerical framework with input strains coming from a direct finite element analysis, confirming the effectiveness of the iFEM based on a simplified geometry. Finally, the model is fed with experimentally acquired strain measurements and the performance of the method is assessed in presence of a high level of uncertainty.

scholarly journals A fatal toxic shock-like syndrome post COVID-19 infection in a child

2021 ◽  
Vol 47 (1) ◽  
Author(s):  
Houda Ajmi ◽  
Wissem Besghaier ◽  
Wafa Kallala ◽  
Abdelhalim Trabelsi ◽  
Saoussan Abroug
Keyword(s):  
Ejection Fraction ◽  
Pediatric Intensive Care ◽  
Fresh Frozen Plasma ◽  
Multiple Organ ◽  
Clinical Feature ◽  
Fresh Frozen ◽  
Life Threatening ◽  
High Doses ◽  
Definition Of ◽  
High Level

Abstract Background Children affected by Coronavirus disease 2019 (COVID-19) showed various manifestations. Some of them were severe cases presenting with multi-system inflammatory syndrome (MIS-C) causing multiple organ dysfunction. Case presentation We report the case of a 12-year-old girl with recent COVID-19 infection who presented with persistent fever, abdominal pain and other symptoms that meet the definition of MIS-C. She had lymphopenia and a high level of inflammatory markers. She was admitted to pediatric intensive care unit since she rapidly developed refractory catecholamine-resistant shock with multiple organ failure. Echocardiography showed a small pericardial effusion with a normal ejection fraction (Ejection Fraction = 60%) and no valvular or coronary lesions. The child showed no signs of improvement even after receiving intravenous immunoglobulin, fresh frozen plasma, high doses of Vasopressors and corticosteroid. His outcome was fatal. Conclusion Pediatric patients affected by the new COVID-19 related syndrome may show severe life-threatening conditions similar to Kawasaki disease shock syndrome. Hypotension in these patients results from heart failure and the decreased cardiac output. We report a new severe clinical feature of SARS-CoV-2 infection in children in whom hypotension was the result of refractory vasoplegia.

scholarly journals Automatic generation of digital twin industrial system from a high level specification

2019 ◽  
Vol 38 ◽  
pp. 1095-1102 ◽  
Author(s):  
Julio Garrido Campos ◽  
Juan Sáez López ◽  
José Ignacio Armesto Quiroga ◽  
Angel Manuel Espada Seoane
Keyword(s):  
Automatic Generation ◽  
Industrial System ◽  
Digital Twin ◽  
High Level

The Impact of the Privacy Rule on Cancer Research: Variations in Attitudes and Application of Regulatory Standards

2009 ◽  
Vol 27 (24) ◽  
pp. 4014-4020 ◽  
Author(s):  
Elizabeth Goss ◽  
Michael P. Link ◽  
Suanna S. Bruinooge ◽  
Theodore S. Lawrence ◽  
Joel E. Tepper ◽  
...  
Keyword(s):  
Cancer Research ◽  
Future Research ◽  
Research Committee ◽  
Data Repositories ◽  
Privacy Rule ◽  
Regulatory Standards ◽  
American Society ◽  
Definition Of ◽  
High Level ◽  
The Impact

Purpose The American Society of Clinical Oncology (ASCO) Cancer Research Committee designed a qualitative research project to assess the attitudes of cancer researchers and compliance officials regarding compliance with the US Privacy Rule and to identify potential strategies for eliminating perceived or real barriers to achieving compliance. Methods A team of three interviewers asked 27 individuals (13 investigators and 14 compliance officials) from 13 institutions to describe the anticipated approach of their institutions to Privacy Rule compliance in three hypothetical research studies. Results The interviews revealed that although researchers and compliance officials share the view that patients' cancer diagnoses should enjoy a high level of privacy protection, there are significant tensions between the two groups related to the proper standards for compliance necessary to protect patients. The disagreements are seen most clearly with regard to the appropriate definition of a “future research use” of protected health information in biospecimen and data repositories and the standards for a waiver of authorization for disclosure and use of such data. Conclusion ASCO believes that disagreements related to compliance and the resulting delays in certain projects and abandonment of others might be eased by additional institutional training programs and consultation on Privacy Rule issues during study design. ASCO also proposes the development of best practices documents to guide 1) creation of data repositories, 2) disclosure and use of data from such repositories, and 3) the design of survivorship and genetics studies.

Sign in / Sign up

Export Citation Format

Share Document