Sciweavers

433 search results - page 36 / 87
» On stabilizers of infinite words
Sort
View
SIAMCO
2011
13 years 2 months ago
Internal Stabilization by Noise of the Navier--Stokes Equation
One shows that the Navier-Stokes equation in O⊂Rd, d = 2, 3, around an unstable equilibrium solution is exponentially stabilizable in probability by an internal noise controller...
Viorel Barbu, Giuseppe Da Prato
CSL
2008
Springer
13 years 9 months ago
Quantitative Languages
Quantitative generalizations of classical languages, which assign to each word a real number instead of a boolean value, have applications in modeling resource-constrained computat...
Krishnendu Chatterjee, Laurent Doyen, Thomas A. He...
CCE
2008
13 years 8 months ago
Safe-parking of nonlinear process systems
This work considers the problem of control of nonlinear process systems subject to input constraints and actuator faults. Faults are considered that preclude the possibility of con...
Rahul Gandhi, Prashant Mhaskar
DATE
2009
IEEE
148views Hardware» more  DATE 2009»
14 years 2 months ago
A new design-for-test technique for SRAM core-cell stability faults
—Core-cell stability represents the ability of the core-cell to keep the stored data. With the rapid development of semiconductor memories, their test is becoming a major concern...
Alexandre Ney, Luigi Dilillo, Patrick Girard, Serg...
MMAS
2010
Springer
13 years 2 months ago
Sharp Stability Estimates for the Force-Based Quasicontinuum Approximation of Homogeneous Tensile Deformation
The accuracy of atomistic-to-continuum hybrid methods can be guaranteed only for deformations where the lattice configuration is stable for both the atomistic energy and the hybrid...
Matthew Dobson, Mitchell Luskin, Christoph Ortner