Sciweavers

491 search results - page 63 / 99
» A new kernel-based approach for linear system identification
Sort
View
PPSC
1993
13 years 10 months ago
Parallel Preconditioning and Approximate Inverses on the Connection Machine
We present a new approach to preconditioning for very large, sparse, non-symmetric, linear systems. We explicitly compute an approximate inverse to our original matrix that can be...
Marcus J. Grote, Horst D. Simon
ENGL
2008
98views more  ENGL 2008»
13 years 9 months ago
Congestion Control of Active Queue Management Routers Based on LQ-Servo Control
This paper proposes the LQ-Servo controller for AQM (Active Queue Management) routers. The proposed controller structure is made by taking a traditional servo mechanism based on Li...
Kang Min Lee, Ji Hoon Yang, Byung Suhl Suh
FM
2009
Springer
169views Formal Methods» more  FM 2009»
14 years 21 days ago
Model Checking Linearizability via Refinement
Abstract. Linearizability is an important correctness criterion for implementations of concurrent objects. Automatic checking of linearizability is challenging because it requires ...
Yang Liu 0003, Wei Chen, Yanhong A. Liu, Jun Sun 0...
CDC
2010
IEEE
151views Control Systems» more  CDC 2010»
13 years 3 months ago
Convergence of discrete-time approximations of constrained linear-quadratic optimal control problems
Abstract-- Continuous-time linear constrained optimal control problems are in practice often solved using discretization techniques, e.g. in model predictive control (MPC). This re...
Lanshan Han, M. Kanat Camlibel, Jong-Shi Pang, W. ...
DAC
1998
ACM
14 years 9 months ago
Watermarking Techniques for Intellectual Property Protection
Digital system designs are the product of valuable effort and knowhow. Their embodiments, from software and HDL program down to device-level netlist and mask data, represent caref...
Andrew B. Kahng, John Lach, William H. Mangione-Sm...