Sciweavers

243 search results - page 3 / 49
» Solution continuity in variational conditions
Sort
View
SIAMCO
2008
121views more  SIAMCO 2008»
13 years 5 months ago
Numerical Verification of Optimality Conditions
A class of optimal control problem for a semilinear elliptic partial differential equation with control constraints is considered. It is well known that sufficient second-order con...
Arnd Rösch, Daniel Wachsmuth
IJRR
2008
67views more  IJRR 2008»
13 years 5 months ago
Sampling-based Falsification and Verification of Controllers for Continuous Dynamic Systems
: In this paper, we present a sampling-based verification algorithm for continuous dynamic systems with uncertainty due to adversaries, unmodeled disturbance inputs, unknown parame...
Peng Cheng, Vijay Kumar
APJOR
2010
112views more  APJOR 2010»
13 years 5 months ago
Sample Average Approximation Methods for a Class of Stochastic Variational inequality Problems
In this paper we apply the well known sample average approximation (SAA) method to solve a class of stochastic variational inequality problems (SVIPs). We investigate the existenc...
Huifu Xu
SIAMSC
2008
133views more  SIAMSC 2008»
13 years 5 months ago
Numerical Variational Methods Applied to Cylinder Buckling
We review and compare different computational variational methods applied to a system of fourth order equations that arises as a model of cylinder buckling. We describe both the di...
Jirí Horák, Gabriel J. Lord, Mark A....
ISVLSI
2007
IEEE
116views VLSI» more  ISVLSI 2007»
14 years 1 days ago
Impact of Process Variations on Carbon Nanotube Bundle Interconnect for Future FPGA Architectures
As CMOS technology continues to scale, copper interconnect (CuI) will hinder the performance and reliability of Field Programmable Gate Arrays (FPGA) motivating the need for alter...
Soumya Eachempati, Narayanan Vijaykrishnan, Arthur...