Sciweavers

3458 search results - page 202 / 692
» Abstracting Control
Sort
View
BIOADIT
2004
Springer
15 years 8 months ago
Distributed Central Pattern Generator Model for Robotics Application Based on Phase Sensitivity Analysis
Abstract. A method is presented to predict phase relationships between coupled phase oscillators. As an illustration of how the method can be applied, a distributed Central Pattern...
Jonas Buchli, Auke Jan Ijspeert
CDC
2009
IEEE
114views Control Systems» more  CDC 2009»
15 years 8 months ago
Design of optimal switching surfaces for switched autonomous systems
Abstract— This paper presents a novel, computationally feasible procedure for computing optimal switching surfaces, i.e. optimal feedback controllers for switched autonomous nonl...
Axel Schild, Xu Chu Ding, Magnus Egerstedt, Jan Lu...
HYBRID
2001
Springer
15 years 8 months ago
Hybrid I/O Automata Revisited
Abstract. In earlier work, we developed a mathematical hybrid I/O automaton (HIOA) modeling framework, capable of describing both discrete and continuous behavior. This framework h...
Nancy A. Lynch, Roberto Segala, Frits W. Vaandrage...
ISER
1999
Springer
112views Robotics» more  ISER 1999»
15 years 7 months ago
Models for Automated Earthmoving
Abstract: We present a composite forward model of the mechanics of an excavator backhoe digging in soil. This model is used to predict the trajectories developed by a closed-loop f...
Howard Cannon, Sanjiv Singh
CC
1998
Springer
134views System Software» more  CC 1998»
15 years 7 months ago
Flow Logics for Constraint Based Analysis
Abstract. Flow logic offers a compact and versatile notation for expressing the acceptability of solutions to program analysis problems. In contrast to previous logical formulation...
Hanne Riis Nielson, Flemming Nielson