Sciweavers

2527 search results - page 371 / 506
» A UML-Based Approach to System Testing
Sort
View
119
Voted
ICRA
2010
IEEE
134views Robotics» more  ICRA 2010»
15 years 2 months ago
Design of guaranteed safe maneuvers using reachable sets: Autonomous quadrotor aerobatics in theory and practice
— For many applications, the control of a complex nonlinear system can be made easier by modeling the system as a collection of simplified hybrid modes, each representing a part...
Jeremy H. Gillula, Haomiao Huang, Michael P. Vitus...
139
Voted
ICRA
2010
IEEE
140views Robotics» more  ICRA 2010»
15 years 2 months ago
Hierarchical planning architectures for mobile manipulation tasks in indoor environments
Abstract— This paper describes a hierarchical planner deployed on a mobile manipulation system. The main idea is a two-level hierarchy combining a global planner which provides r...
Ross A. Knepper, Siddhartha S. Srinivasa, Matthew ...
138
Voted
SAFECOMP
1998
Springer
15 years 8 months ago
An Agenda for Specifying Software Components with Complex Data Models
Abstract. We present a method to specify software for a special kind of safetycritical embedded systems, where sensors deliver low-level values that must be abstracted and pre-proc...
Kirsten Winter, Thomas Santen, Maritta Heisel
119
Voted
DAC
2002
ACM
16 years 4 months ago
The next chip challenge: effective methods for viable mixed technology SoCs
The next generation of computer chips will continue the trend for more complexity than their predecessors. Many of them will contain different chip technologies and are termed SoC...
H. Bernhard Pogge
130
Voted
AROBOTS
2008
177views more  AROBOTS 2008»
15 years 3 months ago
Controlling swimming and crawling in a fish robot using a central pattern generator
Online trajectory generation for robots with multiple degrees of freedom is still a difficult and unsolved problem, in particular for non-steady state locomotion, that is, when th...
Alessandro Crespi, Daisy Lachat, Ariane Pasquier, ...