Collage is a declarative programming model and runtime expressly targeted at building and deploying cross-organizational software as compositions of web components. Collage is based on an RDF data model, data-driven e...
详细信息
ISBN:
(纸本)9783642025730
Collage is a declarative programming model and runtime expressly targeted at building and deploying cross-organizational software as compositions of web components. Collage is based on an RDF data model, data-driven execution model, and flexible support for cross-organizational composition of both application and UI components. In this paper we outline a uniform set of Collage language features addressing end-to-end application design, including business objects, but with particular focus on user interaction, and adaptation to current interaction platforms such as web browsers.
In [1], we presented our constraint-based programming approach, iTaSC(1), that formulates instantaneous sensor-based robot tasks as constraint sets, and subsequently solves a corresponding least-squares problem to obt...
详细信息
ISBN:
(纸本)9781424427888
In [1], we presented our constraint-based programming approach, iTaSC(1), that formulates instantaneous sensor-based robot tasks as constraint sets, and subsequently solves a corresponding least-squares problem to obtain control set points, such as desired joint velocities or joint torques. This paper further extends this approach, (i) by explicitly supporting the inclusion of inequality constraints In the task and (ii) by supporting a broader class of objective functions for translating the task constraints into robot motion. These extensions are made while retaining a tractable mathematical problem structure (a convex program). Furthermore, first results on extending the approach to non-instantaneous tasks are presented. As illustrated In the paper, the power of the approach lies (i) at its versatility to specify a wide range of robot behaviors and the ease of making task adjustments, and (ii) at its generic nature, that permits using systematic procedures to derive the underlying control equations.
iTASC (acronym for 'instantaneous task specification and control') ill is a systematic constraint-based approach to specify complex tasks of general sensor-based robot systems. iTASC integrates both instantane...
详细信息
ISBN:
(纸本)9781424421435
iTASC (acronym for 'instantaneous task specification and control') ill is a systematic constraint-based approach to specify complex tasks of general sensor-based robot systems. iTASC integrates both instantaneous task specification and estimation of geometric uncertainty in a unified framework. Automatic derivation of controller and estimator equations follows from a geometric task model that is obtained using a systematic task modeling procedure. The approach applies to a large variety of robot systems (mobile robots, multiple robot systems, dynamic human-robot interaction, etc.), various sensor systems, and different robot tasks. Using an example task, this paper shows that iTASC is a powerful tool for multi-sensor integration in robot manipulation. The example task includes multiple sensors: encoders, a force sensor, cameras, a laser distance sensor and a laser scanner. The paper details the systematic modeling procedure for the example task and elaborates on the task specific choice of two types of task coordinates: feature coordinates, defined with respect to object and feature frames, which facilitate the task specification, and uncertainty coordinates to model geometric uncertainty. Experimental results for the example task are presented.
This paper introduces a systematic constraint-based approach to specify complex tasks of general sensor-based robot systems consisting of rigid links and joints. The approach integrates both instantaneous task specifi...
详细信息
This paper introduces a systematic constraint-based approach to specify complex tasks of general sensor-based robot systems consisting of rigid links and joints. The approach integrates both instantaneous task specification and estimation of geometric uncertainty in a unified framework. Major components are the use of feature coordinates, defined with respect to object and feature frames, which facilitate the task specification, and the introduction of uncertainty coordinates to model geometric uncertainty. While the focus of the paper is on task specification, an existing velocity-based control scheme is reformulated in terms of these feature and uncertainty coordinates. This control scheme compensates,for the effect of time varying uncertainty coordinates. constraint weighting results in an invariant robot behavior in case of conflicting constraints with heterogeneous units. The approach applies to a large variety of robot systems (mobile robots, multiple robot systems, dynamic human-robot interaction, etc.), various sensor systems, and different robot tasks. Ample simulation and experimental results are presented.
The interactive, automatic timetabling system was developed in Fraunhofer FIRST'S department for Planning Technology and and Declarative programming in the frame of research on the constraint-based programming par...
详细信息
The interactive, automatic timetabling system was developed in Fraunhofer FIRST'S department for Planning Technology and and Declarative programming in the frame of research on the constraint-based programming paradigm. Since 1998, the system has been used to generate timetables for the Charité Medical Faculty at Berlin's Humboldt University and has undergone continuous extensions. Successful deployment of the system shows that the chosen methods and techniques are well suited for dealing with problems of this sort. The quality of the plans and their permanent use demonstrate the advantages of combined interactive and automatic generation of timetables.
This paper presents techniques for exploiting redundancy in teams of mobile robots. In particular, we address tasks involving the kinematic coordination of several communicating robots. Teams are modeled as highly red...
详细信息
ISBN:
(纸本)0780372727
This paper presents techniques for exploiting redundancy in teams of mobile robots. In particular, we address tasks involving the kinematic coordination of several communicating robots. Teams are modeled as highly redundant spatial mechanisms for which multi-objective, concurrent controllers are constructed using a generalization of nullspace control. The goal is to develop a methodology in which the robustness and error suppression in a control theoretic substrate can be used to preserve critical properties in teams of reactive robots. The resulting "safe"' control options can then be explored while guaranteeing global compliance with system specifications. The proposed architecture depends on a set of concurrent, low-dimensional control processes that interact in a well defined manner. Cascaded null space projections and coordination templates are used to manage control interactions across platforms that actively maintain constraints for pairs of robots. Pairwise policies can then be combined to represent coordinated, multi-robot tasks. To illustrate the approach, we demonstrate a distributed control that maintains critical connectivity in line-of-sight communication networks.
Traditionally, process planning and scheduling have been rather separate activities within a company. Nowadays, the need for more flexible production and shorter production lead times urges for a close collaboration b...
详细信息
Traditionally, process planning and scheduling have been rather separate activities within a company. Nowadays, the need for more flexible production and shorter production lead times urges for a close collaboration between these activities as a first step towards simultaneous engineering. This article describes the results of the ESPRIT project COMPLAN, which aims at the implementation of an integrated automatic process planning and scheduling system based on the concept of non-linear process plans. In addition to the use of NLPP for flexible load balancing and reactive rescheduling, a new collaborative approach is presented that is based on production constraints as a means to realize a feedback from scheduling to process planning. A process-planning kernel is described that integrates this concept of production constraints.
暂无评论