7778 search results - page 38 / 1556 » Designing Controllers for Reachability |
COMCOM
2008
14 years 12 months ago
2008
In this paper, we address the rate control, the Medium Access Control (MAC) and the routing problem for cooperative Vehicular Ad-Hoc Network (VANET) in the framework of cross-laye...
240
click to vote
INFOCOM
2005
IEEE
15 years 5 months ago
2005
IEEE
Abstract— We present a model for the joint design of congestion control and media access control (MAC) for ad hoc wireless networks. Using contention graph and contention matrix,...
CDC
2008
IEEE
15 years 6 months ago
2008
IEEE
— In this paper, we describe a simulation-based approach to the verification of high dimensional nonlinear systems subject to disturbances and uncertainty in the initial conditi...
HYBRID
2009
Springer
15 years 3 months ago
2009
Springer
Abstract. In this paper we propose a trajectory based reachability analysis by using local finite-time invariance property. Trajectory based analysis are based on the execution tra...
EWRL
2008
15 years 1 months ago
2008
If one possesses a model of a controlled deterministic system, then from any state, one may consider the set of all possible reachable states starting from that state and using any...