519 search results - page 82 / 104 » Symmetries and Dynamics of Discrete Systems |
SPAA
2003
ACM
15 years 5 months ago
2003
ACM
In this paper we consider the problem of routing packets to a single destination in a dynamically changing network, where both the network and the packet injections are under adve...
104
click to vote
EMSOFT
2008
Springer
15 years 1 months ago
2008
Springer
Aimed at verifying safety properties and improving simulation coverage for hybrid systems models of embedded control software, we propose a technique that combines numerical simul...
107
click to vote
CDC
2010
IEEE
14 years 6 months ago
2010
IEEE
We address the consensus-based distributed linear filtering problem, where a discrete time, linear stochastic process is observed by a network of sensors. We assume that the consen...
CDC
2008
IEEE
15 years 1 days ago
2008
IEEE
This paper is a response to requests from several respected colleagues in academia for a careful writeup of the classical time-optimal control based hybrid controllers that we have...
EDBT
2006
ACM
16 years 6 hour ago
2006
ACM
The aim of this paper is to demonstrate Hermes, a robust framework capable of aiding a spatio-temporal database developer in modeling, constructing and querying a database with dyn...