Sciweavers

1162 search results - page 60 / 233
» An Information-Based Theory of Conditionals
Sort
View
CDC
2008
IEEE
105views Control Systems» more  CDC 2008»
16 years 18 days ago
Stabilization of closed sets for passive systems, part II: Passivity-based control
— In this paper we explore the stabilization of closed invariant sets for passive systems, and present conditions under which a passivity-based feedback makes the set stable, sem...
Mohamed I. El-Hawwary, Manfredi Maggiore
ICNC
2005
Springer
15 years 11 months ago
Representation of a Physio-psychological Index Through Constellation Graphs
Fingertip pulsations (plethysmograms) were found to obey chaotic dynamics [1]. We applied chaos theory to analysis of the time series of plethysmograms under various human physio-p...
Mayumi Oyama-Higa, Tiejun Miao
CAV
2004
Springer
120views Hardware» more  CAV 2004»
15 years 11 months ago
Termination of Linear Programs
We show that termination of a class of linear loop programs is decidable. Linear loop programs are discrete-time linear systems with a loop condition governing termination, that is...
Ashish Tiwari
ISIPTA
1999
IEEE
15 years 10 months ago
Nonlinear Filtering of Convex Sets of Probability Distributions
A solution is provided to the problem of computing a convex set of conditional probability distributions that characterize the state of a nonlinear dynamic system as it evolves in...
John Kenney, Wynn C. Stirling
STOC
1994
ACM
123views Algorithms» more  STOC 1994»
15 years 10 months ago
Natural proofs
Razborov and Rudich have shown that so-called natural proofs are not useful for separating P from NP unless hard pseudorandomnumber generators do not exist. This famous result is ...
Alexander A. Razborov, Steven Rudich