Sciweavers

289 search results - page 3 / 58
» Compositional analysis for linear control systems
Sort
View
CDC
2008
IEEE
123views Control Systems» more  CDC 2008»
13 years 11 months ago
Reachability analysis of nonlinear systems with uncertain parameters using conservative linearization
— Given an initial set of a nonlinear system with uncertain parameters and inputs, the set of states that can possibly be reached is computed. The approach is based on local line...
Matthias Althoff, Olaf Stursberg, Martin Buss
AR
2006
94views more  AR 2006»
13 years 5 months ago
Stability analysis and robust composite controller synthesis for flexible joint robots
In this paper the control of exible joint manipulators is studied in detail. The model of N{axis exible joint manipulators are derived and reformulated in the form of singular per...
H. D. Taghirad, M. A. Khosravi
SOCO
2008
Springer
13 years 5 months ago
Component-Based Access Control: Secure Software Composition through Static Analysis
Abstract. Extensible Component Platforms support the discovery, installation, starting, uninstallation of components at runtime. Since they are often targeted at mobile resource-co...
Pierre Parrend, Stéphane Frénot
HYBRID
2000
Springer
13 years 8 months ago
Approximate Reachability Analysis of Piecewise-Linear Dynamical Systems
In this paper we describe an experimental system called d=dt for approximating reachable states for hybrid systems whose continuous dynamics is de ned by linear di erential equatio...
Eugene Asarin, Thao Dang, Oded Maler, Olivier Bour...
PVG
2003
IEEE
212views Visualization» more  PVG 2003»
13 years 10 months ago
SLIC: Scheduled Linear Image Compositing for Parallel Volume Rendering
Parallel volume rendering offers a feasible solution to the large data visualization problem by distributing both the data and rendering calculations among multiple computers con...
Aleksander Stompel, Kwan-Liu Ma, Eric B. Lum, Jame...