Sciweavers

1162 search results - page 60 / 233
» An Information-Based Theory of Conditionals
Sort
View
CDC
2008
IEEE
105views Control Systems» more  CDC 2008»
15 years 6 months 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 5 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 5 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 4 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 3 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