Sciweavers

1804 search results - page 117 / 361
» On set systems with a threshold property
Sort
View
AUTOMATICA
1999
119views more  AUTOMATICA 1999»
15 years 6 months ago
Robust L2-gain control for nonlinear systems with projection dynamics and input constraints: an example from traffic control
We formulate the L2-gain control problem for a general nonlinear, state-space system with projection dynamics in the state evolution and hard constraints on the set of admissible ...
Joseph A. Ball, Martin V. Day, Tungsheng Yu, Pushk...
TVCG
2010
142views more  TVCG 2010»
15 years 5 months ago
Illustrative Volume Visualization Using GPU-Based Particle Systems
—Illustrative techniques are generally applied to produce stylized renderings. Various illustrative styles have been applied to volumetric data sets, producing clearer images and...
Roy van Pelt, Anna Vilanova, Huub van de Wetering
ADAEUROPE
2005
Springer
16 years 6 days ago
Non-intrusive System Level Fault-Tolerance
This paper describes the methodology used to add nonintrusive system-level fault tolerance to an electronic throttle controller. The original model of the throttle controller is a...
Kristina Lundqvist, Jayakanth Srinivasan, Sé...
183
Voted
ICECCS
1998
IEEE
161views Hardware» more  ICECCS 1998»
15 years 11 months ago
A Method and a Technique to Model and Ensure Timeliness in Safety Critical Real-Time Systems
The main focus of this paper is the problem of ensuring timeliness in safety critical systems. First, we introduce a method and its associated technique to model both real-time ta...
Christophe Aussaguès, Vincent David
DATE
2010
IEEE
126views Hardware» more  DATE 2010»
15 years 10 months ago
Scenario-based analysis and synthesis of real-time systems using uppaal
Abstract. We propose an approach to scenario-based analysis and synthesis of real-time embedded systems. The inter-process behaviors of a system are modeled as a set of driving uni...
Kim Guldstrand Larsen, Shuhao Li, Brian Nielsen, S...