Sciweavers

1297 search results - page 12 / 260
» Control of systems integrating logic, dynamics, and constrai...
Sort
View
ICRA
2007
IEEE
227views Robotics» more  ICRA 2007»
15 years 7 months ago
Inverse Dynamics Control with Floating Base and Constraints
— In this paper, we address the issues of compliant control of a robot under contact constraints with a goal of using joint space based pattern generators as movement primitives,...
Jun Nakanishi, Michael Mistry, Stefan Schaal
IJCAI
2003
15 years 2 months ago
Logic Programs for Consistently Querying Data Integration Systems
We solve the problem of obtaining answers to queries posed to a mediated integration system un­ der the local-as-view paradigm that are consistent wrt to certain global integrity...
Loreto Bravo, Leopoldo E. Bertossi
CDC
2009
IEEE
160views Control Systems» more  CDC 2009»
15 years 6 months ago
Receding horizon temporal logic planning for dynamical systems
— This paper bridges the advances in computer science and control to allow automatic synthesis of control strategies for complex dynamical systems which are guaranteed, by constr...
Tichakorn Wongpiromsarn, Ufuk Topcu, R. Richard Mu...
ICEIS
2002
IEEE
15 years 6 months ago
Integrating Mobile Agent Infrastructures in Operational ERP Systems
: In this paper we present our most recent work carried out in the wider context of the IST-ADRENALIN project, to facilitate formation and lifecycle management of networked enterpr...
Apostolos Vontas, Philippos Koutsakas, Christina A...
SAS
2000
Springer
15 years 4 months ago
Enforcing Design Constraints with Object Logic
Design constraints express essential behavioural properties of a software system. Two key elements of a scheme for enforcing design constraints are presented: a logic for describin...
Daniel Jackson