Sciweavers

1051 search results - page 75 / 211
» Nonuniform in time state estimation of dynamic systems
Sort
View
AUTOMATICA
2008
124views more  AUTOMATICA 2008»
15 years 6 months ago
Lyapunov conditions for input-to-state stability of impulsive systems
This paper introduces appropriate concepts of input-to-state stability (ISS) and integral-ISS for impulsive systems, i.e., dynamical systems that evolve according to ordinary diff...
João Pedro Hespanha, Daniel Liberzon, Andre...
TCSV
2008
115views more  TCSV 2008»
15 years 6 months ago
Dynamic Proposal Variance and Optimal Particle Allocation in Particle Filtering for Video Tracking
Abstract--This paper presents a novel particle allocation approach to particle filtering which minimizes the total tracking distortion for a fixed number of particles over a video ...
Pan Pan, Dan Schonfeld
ICASSP
2009
IEEE
16 years 1 months ago
Audio-assisted trajectory estimation in non-overlapping multi-camera networks
We present an algorithm to improve trajectory estimation in networks of non-overlapping cameras using audio measurements. The algorithm fuses audiovisual cues in each camera’s ï...
Murtaza Taj, Andrea Cavallaro
PEPM
2009
ACM
16 years 3 months ago
Guided model checking for programs with polymorphism
Exhaustive model checking search techniques are ineffective for error discovery in large and complex multi-threaded software systems. Distance estimate heuristics guide the concre...
Neha Rungta, Eric G. Mercer
RTCSA
1999
IEEE
15 years 10 months ago
A Symbolic Model Checker for Testing ASTRAL Real-Time Specifications
ASTRAL is a high-level formal specification language for real-time (infinite state) systems. It is provided with structuring mechanisms that allow one to build modularized specifi...
Zhe Dang, Richard A. Kemmerer