Sciweavers

113 search results - page 17 / 23
» Asymptotic Nonlinearity of Boolean Functions
Sort
View
AUTOMATICA
2007
145views more  AUTOMATICA 2007»
13 years 7 months ago
Decentralized adaptive output-feedback stabilization for large-scale stochastic nonlinear systems
In this paper, the problem of decentralized adaptive output-feedback stabilization is investigated for large-scale stochastic nonlinear systems with three types of uncertainties, ...
Shu-Jun Liu, Ji-Feng Zhang, Zhong-Ping Jiang
DATE
2009
IEEE
113views Hardware» more  DATE 2009»
14 years 2 months ago
Exploiting structure in an AIG based QBF solver
—In this paper we present a procedure for solving quantified boolean formulas (QBF), which uses And-Inverter Graphs (AIGs) as the core data-structure. We make extensive use of s...
Florian Pigorsch, Christoph Scholl
TNN
2010
173views Management» more  TNN 2010»
13 years 2 months ago
Global synchronization for discrete-time stochastic complex networks with randomly occurred nonlinearities and mixed time delays
Abstract--In this paper, the problem of stochastic synchronization analysis is investigated for a new array of coupled discretetime stochastic complex networks with randomly occurr...
Zidong Wang, Yao Wang, Yurong Liu
AUTOMATICA
2005
91views more  AUTOMATICA 2005»
13 years 7 months ago
Lyapunov-based continuous-time nonlinear controller redesign for sampled-data implementation
: Given a continuous-time controller and a Lyapunov function that shows global asymptotic stability for the closed loop system, we provide several results for modification of the c...
Dragan Nesic, Lars Grüne
MCSS
2007
Springer
13 years 7 months ago
Lyapunov functions for time-varying systems satisfying generalized conditions of Matrosov theorem
The classical Matrosov theorem concludes uniform asymptotic stability of time varying systems via a weak Lyapunov function (positive definite, decrescent, with negative semidefi...
Frédéric Mazenc, Dragan Nesic