Sciweavers

734 search results - page 53 / 147
» Undecidability over Continuous Time
Sort
View
EDBT
2006
ACM
98views Database» more  EDBT 2006»
14 years 8 months ago
Evolving Triggers for Dynamic Environments
In this work we address the problem of managing the reactive behavior in distributed environments in which data continuously changes over time, where the users may need to explicit...
Agnès Voisard, Annika Hinze, Goce Trajcevsk...
ICRA
2006
IEEE
217views Robotics» more  ICRA 2006»
14 years 2 months ago
Complete Coverage Control for Nonholonomic Mobile Robots in Dynamic Environments
— We study the problem of generating continuous steering control for robots to completely cover a bounded region over a finite time. First, we pack the area by disks of minimum ...
Yi Guo, Mohanakrishnan Balakrishnan
AUTOMATICA
2008
124views more  AUTOMATICA 2008»
13 years 8 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...
PODS
2012
ACM
276views Database» more  PODS 2012»
11 years 11 months ago
Randomized algorithms for tracking distributed count, frequencies, and ranks
We show that randomization can lead to significant improvements for a few fundamental problems in distributed tracking. Our basis is the count-tracking problem, where there are k...
Zengfeng Huang, Ke Yi, Qin Zhang
IDMS
2000
Springer
123views Multimedia» more  IDMS 2000»
14 years 8 days ago
Realisation of an Adaptive Audio Tool
Real-time audio over the best effort Internet often suffers from packet loss. At this time, Forward Error Correction (FEC) seems to be an efficient way to attenuate the impact of ...
Arnaud Meylan, Catherine Boutremans