Sciweavers

1297 search results - page 35 / 260
» Control of systems integrating logic, dynamics, and constrai...
Sort
View
AUTOMATICA
2006
99views more  AUTOMATICA 2006»
15 years 1 months ago
Path-following for linear systems with unstable zero dynamics
: A path-following problem for linear systems with unstable zero dynamics is solved. While the original control variable steers the system output along the path, the path parameter...
Dragan B. Dacic, Petar V. Kokotovic
CORR
2004
Springer
111views Education» more  CORR 2004»
15 years 1 months ago
FLUX: A Logic Programming Method for Reasoning Agents
FLUX is a programming method for the design of agents that reason logically about their actions and sensor information in the presence of incomplete knowledge. The core of FLUX is...
Michael Thielscher
ICRA
2005
IEEE
104views Robotics» more  ICRA 2005»
15 years 6 months ago
System Design and Dynamic Walking of Humanoid Robot KHR-2
- In this paper, we describe the mechanical design, system integration and dynamic walking of the humanoid, KHR-2 (KAIST Humanoid Robot–2). KHR-2 has 41 DOFs in total, that allow...
Jung-Yup Kim, Ill-Woo Park, Jungho Lee, Min-Su Kim...
BPM
2006
Springer
149views Business» more  BPM 2006»
15 years 3 months ago
Verifying BPEL Workflows Under Authorisation Constraints
Abstract. Business Process Execution Language (BPEL), or Web Services BPEL (WS-BPEL), is the standard for specifying workflow process definition using web services. Research on for...
Zhao Xiangpeng, Antonio Cerone, Padmanabhan Krishn...
CDC
2008
IEEE
111views Control Systems» more  CDC 2008»
15 years 3 months ago
A Hamiltonian approximation method for the reduction of controlled systems
Abstract-- This paper considers the problem of model reduction for controlled systems. The paper considers a dual/adjoint formulation of the general optimization problem to minimiz...
Siep Weiland