Sciweavers

3458 search results - page 43 / 692
» Abstracting Control
Sort
View
B
2007
Springer
14 years 2 months ago
Augmenting B with Control Annotations
Abstract. CSP B is an integration of the process algebra Communicating Sequential Processes (CSP), and the B-Method, which enables consistent controllers to be written for B machin...
Wilson Ifill, Steve A. Schneider, Helen Treharne
ICRA
2006
IEEE
99views Robotics» more  ICRA 2006»
14 years 2 months ago
A Whole-body Control Framework for Humanoids Operating in Human Environments
Abstract— Tomorrow’s humanoids will operate in human environments, where efficient manipulation and locomotion skills, and safe contact interactions will be critical design fa...
Luis Sentis, Oussama Khatib
SASO
2009
IEEE
14 years 3 months ago
Controlling Particle Swarm Optimization with Learned Parameters
—Controlling particle swarm optimization is typically an unintuitive task, involving a process of adjusting low-level parameters of the system that often do not have obvious corr...
Kevin Winner, Don Miner, Marie desJardins
ICRA
1998
IEEE
141views Robotics» more  ICRA 1998»
14 years 29 days ago
On Discontinuous Human Control Strategies
Models of human control strategy (HCS), which accurately emulate dynamic human behavior, have far reaching potential in areas ranging from robotics to virtual reality to the intel...
Michael C. Nechyba, Yangsheng Xu
CDC
2009
IEEE
14 years 1 months ago
Dynamic practical stabilization of sampled-data linear distributed parameter systems
Abstract— In this paper, dynamic practical stability properties of infinite-dimensional sampled-data systems are discussed. A family of finite-dimensional discrete-time control...
Ying Tan, Emmanuel Trélat, Yacine Chitour, ...