1716 search results - page 297 / 344 » Proving Conditional Termination |
121
Voted
CDC
2010
IEEE
14 years 7 months ago
2010
IEEE
We consider impulsive systems with several reset maps triggered by independent renewal processes, i.e., the intervals between jumps associated with a given reset map are identicall...
107
click to vote
CDC
2010
IEEE
14 years 7 months ago
2010
IEEE
In this paper we attempt to further demonstrate connections between information theory and control, in a networked setting. Specifically, we consider the communication problem of b...
116
click to vote
CDC
2010
IEEE
14 years 7 months ago
2010
IEEE
In this paper, we present a model of distributed parameter estimation in networks, where agents have access to partially informative measurements over time. Each agent faces a loca...
142
Voted
CORR
2011
Springer
14 years 7 months ago
2011
Springer
The framework of psi-calculi extends the pi-calculus with nominal datatypes for data structures and for logical assertions and conditions. These can be transmitted between processe...
107
click to vote
CORR
2011
Springer
14 years 7 months ago
2011
Springer
—The problem of stabilizing an unstable plant over a noisy communication link is an increasingly important one that arises in problems of distributed control and networked contro...