Sciweavers

131 search results - page 12 / 27
» Designing an Architecture for Adjustably Autonomous Robot Te...
Sort
View
IROS
2006
IEEE
116views Robotics» more  IROS 2006»
14 years 1 months ago
XABSL - A Pragmatic Approach to Behavior Engineering
— This paper introduces the Extensible Agent Behavior Specification Language (XABSL) as a pragmatic tool for engineering the behavior of autonomous agents in complex and dynamic...
Martin Lötzsch, Max Risler, Matthias Jün...
AAAI
2006
13 years 8 months ago
The Robot Intelligence Kernel
The Robot Intelligence Kernel (RIK) is a portable, reconfigurable suite of perceptual, behavioral, and cognitive capabilities that can be used across many different platforms, env...
David J. Bruemmer, Douglas A. Few, Miles C. Walton...
FM
1999
Springer
161views Formal Methods» more  FM 1999»
13 years 11 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...
ICAC
2009
IEEE
14 years 2 months ago
Model-driven architectural monitoring and adaptation for autonomic systems
Architectural monitoring and adaptation allows self-management capabilities of autonomic systems to realize more powerful adaptation steps, which observe and adjust not only param...
Thomas Vogel, Stefan Neumann, Stephan Hildebrandt,...
AMS
2007
Springer
274views Robotics» more  AMS 2007»
14 years 1 months ago
Exploring Toe Walking in a Bipedal Robot
The design and development of locomotory subsystems such as legs is a key issue in the broader topic of autonomous mobile systems. Simplification of substructures, sensing, actuat...
James Andrew Smith, André Seyfarth