Sciweavers

2916 search results - page 304 / 584
» The simulation power of automod
Sort
View
ICRA
2000
IEEE
123views Robotics» more  ICRA 2000»
15 years 11 months ago
Design, Modeling and Preliminary Control of a Compliant Hexapod Robot
In this paper, we present the design, modeling and preliminary control of RHex, an autonomous dynamically stable hexapod possessing merely six actuated degrees of freedom (at the ...
Uluc Saranli, Martin Buehler, Daniel E. Koditschek
ISORC
1999
IEEE
15 years 11 months ago
Applying Use Cases for the Requirements Validation of Component-Based Real-Time Software
Component-based software development is a promising way to improve quality, time to market and handle the increasing complexity of software for real-time systems. In this paper th...
Wolfgang Fleisch
RTCSA
1997
IEEE
15 years 11 months ago
Behavior verification of hybrid real-time requirements by qualitative formalism
Although modern control theories have been successfully applied to solve a variety of problems, they are often mathematically and physically too specific to describe and analyze t...
Jang-Soo Lee, Sung Deok Cha
PRICAI
2000
Springer
15 years 10 months ago
Making Adjustable Autonomy Easier with Teamwork
Adjustable Autonomy (AA) is the name given to a variety of approaches to the task of giving outside entities the ability to change the level of autonomy of agents in an autonomous ...
Paul Scerri, Nancy E. Reed
WSC
2007
15 years 9 months ago
Monte Carlo methods in the physical sciences
I will review the role that Monte Carlo methods play in the physical sciences. They are very widely used for a number of reasons: they permit the rapid and faithful transformation...
Malvin H. Kalos