Sciweavers

83 search results - page 12 / 17
» A hybrid actuation approach for human-friendly robot design
Sort
View
FM
1999
Springer
161views Formal Methods» more  FM 1999»
13 years 12 months ago
Formal Modeling and Analysis of Hybrid Systems: A Case Study in Multi-robot Coordination
Abstract. The design of controllers for hybridsystemsi.e. mixeddiscretecontinuous systems in a systematic manner remains a challenging task. In this case study, we apply formal m...
Rajeev Alur, Joel M. Esposito, M. Kim, Vijay Kumar...
ICRA
2002
IEEE
98views Robotics» more  ICRA 2002»
14 years 17 days ago
Global Exponential Stabilizability for Distributed Manipulation Systems
Abstract: This paper considers the global exponential stability of planar distributed manipulation control schemes. The “programmable vector field” approach is a commonly prop...
Todd D. Murphey, Joel W. Burdick
ROBOCUP
1998
Springer
128views Robotics» more  ROBOCUP 1998»
13 years 11 months ago
A Multi-Level Constraint-Based Controller for the Dynamo98 Robot Soccer Team
Abstract. Constraint Nets provide a semantic model for modeling hybrid dynamic systems. Controllers are embedded constraint solvers that solve constraints in real-time. A controlle...
Yu Zhang, Alan K. Mackworth
IROS
2007
IEEE
138views Robotics» more  IROS 2007»
14 years 1 months ago
Gramian-based optimal design of a dynamic stroke amplifier compliant micro-mechanism
—This paper presents a new method developed for the optimal design of microrobotic compliant mechanisms. It is based on a flexible building block method, called FlexIn, which use...
Mathieu Grossard, Christine Rotinat-Libersa, Nicol...
ICRA
2005
IEEE
115views Robotics» more  ICRA 2005»
14 years 1 months ago
Language-based Feedback Control Using Monte Carlo Sensing
Abstract— Landmark-based graphs are a useful and parsimonious tool for representing large scale environments. Relating landmarks by means of feedback-control algorithms encoded i...
Sean B. Andersson, Dimitrios Hristu-Varsakelis