Sciweavers

298 search results - page 14 / 60
» Differential variational inequalities
Sort
View
HYBRID
2009
Springer
14 years 1 months ago
Applications of MetiTarski in the Verification of Control and Hybrid Systems
MetiTarski, an automatic proof procedure for inequalities on elementary functions, can be used to verify control and hybrid systems. We perform a stability analysis of control syst...
Behzad Akbarpour, Lawrence C. Paulson
ISVLSI
2008
IEEE
156views VLSI» more  ISVLSI 2008»
14 years 4 months ago
Characterisation of FPGA Clock Variability
As integrated circuits are scaled down it becomes difficult to maintain uniformity in process parameters across each individual die. The resulting performance variation requires ...
N. Pete Sedcole, Justin S. Wong, Peter Y. K. Cheun...
ISQED
2009
IEEE
126views Hardware» more  ISQED 2009»
14 years 4 months ago
Robust differential asynchronous nanoelectronic circuits
Abstract — Nanoelectronic design faces unprecedented reliability challenges and must achieve noise immunity and delay insensitiveness in the presence of prevalent defects and sig...
Bao Liu
CVPR
2006
IEEE
14 years 12 months ago
Differential Tracking based on Spatial-Appearance Model (SAM)
A fundamental issue in differential motion analysis is the compromise between the flexibility of the matching criterion for image regions and the ability of recovering the motion....
Ting Yu, Ying Wu
SIAMCO
2002
89views more  SIAMCO 2002»
13 years 9 months ago
Convexity in Zero-Sum Differential Games
A new approach to two-player zero-sum differential games with convex-concave cost function is presented. It employs the tools of convex and variational analysis. A necessary and s...
Rafal Goebel