Sciweavers

3458 search results - page 221 / 692
» Abstracting Control
Sort
View
74
Voted
CDC
2008
IEEE
107views Control Systems» more  CDC 2008»
15 years 5 months ago
Identifiability of piecewise constant conductivity and its stability
Abstract-- We study the identifiability (i.e. the unique identification) problems for 1-D heat conduction in a nonhomogeneous rod. The piecewise constant conductivity of the rod ca...
Semion Gutman, Junhong Ha
126
Voted
RSS
2007
147views Robotics» more  RSS 2007»
15 years 5 months ago
Composition of Vector Fields for Multi-Robot Manipulation via Caging
Abstract— This paper describes a novel approach for multirobot caging and manipulation, which relies on the team of robots forming patterns that trap the object to be manipulated...
Jonathan Fink, Nathan Michael, Vijay Kumar
132
Voted
DAGSTUHL
2001
15 years 4 months ago
A Language-Based Approach to Security
Abstract. Language-based security leverages program analysis and program rewriting to enforce security policies. The approach promises efficient enforcement of fine-grained access ...
Fred B. Schneider, J. Gregory Morrisett, Robert Ha...
WISES
2003
15 years 4 months ago
Design and Implementation of a System for Autonomous Repair Welding
Abstract — This paper presents the design and implementation of a system applicable for autonomous repair welding on huge forming tools, often realized as blacksmith’s swages. ...
Matthias Hackel, Stefan Kremer-Wasmuht, Günth...
GI
2008
Springer
15 years 4 months ago
A Model-Based Development Method for Device Drivers
Abstract: The present contribution deals with the experiences of introducing a modelbased software development method for device driver families used in electronic control units in...
Ulrich Margull, Michael Kersten, Nikolaus Regnat