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»
15 years 1 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»
15 years 2 months 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»
15 years 1 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»
15 years 3 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»
15 years 3 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