Sciweavers

5600 search results - page 348 / 1120
» Synthesizing robust systems
Sort
View
CDC
2008
IEEE
131views Control Systems» more  CDC 2008»
16 years 1 months ago
Explicit model predictive control for linear parameter-varying systems
Abstract— In this paper we demonstrate how one can reformulate the MPC problem for LPV systems to a series of mpLPs by a closed-loop minimax MPC algorithm based on dynamic progra...
Thomas Besselmann, Johan Löfberg, Manfred Mor...
IWSAS
2001
Springer
15 years 11 months ago
Adaptive Agent Based System for State Estimation Using Dynamic Multidimensional Information Sources
: This paper describes a new approach for the creation of an adaptive system able to selectively combine dynamic multidimensional information sources to perform state estimation. T...
Alvaro Soto, Pradeep K. Khosla
160
Voted
CCS
2010
ACM
15 years 7 months ago
On verifying stateful dataflow processing services in large-scale cloud systems
Cloud computing needs to provide integrity assurance in order to support security sensitive application services such as critical dataflow processing. In this paper, we present a ...
Juan Du, Xiaohui Gu, Ting Yu
AUTOMATICA
2010
167views more  AUTOMATICA 2010»
15 years 6 months ago
A new kernel-based approach for linear system identification
This paper describes a new kernel-based approach for linear system identification of stable systems. We model the impulse response as the realization of a Gaussian process whose s...
Gianluigi Pillonetto, Giuseppe De Nicolao
CDC
2010
IEEE
141views Control Systems» more  CDC 2010»
15 years 1 months ago
Using computer games for hybrid systems controller synthesis
Abstract-- We propose a formal method for feedback controller synthesis using interactive computer programs with graphical interface (in short, computer games). The main theoretica...
A. Agung Julius, Sina Afshari