Sciweavers

2811 search results - page 353 / 563
» Real-Time Component-Based Systems
Sort
View
CDC
2008
IEEE
141views Control Systems» more  CDC 2008»
14 years 5 months ago
Stabilizing uncertain systems with dynamic quantization
—We consider state feedback stabilization of uncertain linear systems with quantization. The plant uncertainty is dealt with by the supervisory control framework, which employs s...
Linh Vu, Daniel Liberzon
RTCSA
2008
IEEE
14 years 5 months ago
Verification of COMDES-II Systems Using UPPAAL with Model Transformation
COMDES-II is a component-based software framework intended for Model Integrated Computing (MIC) of embedded control systems with hard real-time constraints. We present a transforma...
Xu Ke, Paul Pettersson, Krzysztof Sierszecki, Chri...
RTCSA
2006
IEEE
14 years 4 months ago
Hardware-Software Codesign of Multimedia Embedded Systems: the PeaCE
Hardware/software codesign involves various design problems including system specification, design space exploration, hardware/software co-verification, and system synthesis. A co...
Soonhoi Ha, Choonseung Lee, Youngmin Yi, Seongnam ...
RTCSA
2005
IEEE
14 years 4 months ago
Optimization of Hierarchically Scheduled Heterogeneous Embedded Systems
We present an approach to the analysis and optimization of heterogeneous distributed embedded systems for hard real-time applications. The systems are heterogeneous not only in te...
Traian Pop, Paul Pop, Petru Eles, Zebo Peng
CDC
2009
IEEE
119views Control Systems» more  CDC 2009»
14 years 3 months ago
On-line adaptive optimal timing control of switched systems
Abstract— In this paper we consider the problem of optimizing over the switching times for a multi-modal dynamic system when the complete cost-to-go is not available. The instant...
Xu Chu Ding, Yorai Wardi, Magnus Egerstedt