Verification and control of partially observable probabilistic systems
We present automated techniques for the verification and control of partially observable,
probabilistic systems for both discrete and dense models of time. For the discrete-time case …
probabilistic systems for both discrete and dense models of time. For the discrete-time case …
Learning algorithms for scheduling in wireless networks with unknown channel statistics
We study the problem of learning channel statistics in order to efficiently schedule
transmissions in wireless networks subject to interference constraints. In particular, we focus …
transmissions in wireless networks subject to interference constraints. In particular, we focus …
Network utility maximization over partially observable Markovian channels
We study throughput utility maximization in a multi-user network with partially observable
Markovian channels. Here, instantaneous channel states are unavailable and all controls …
Markovian channels. Here, instantaneous channel states are unavailable and all controls …
Scheduling in networks with time-varying channels and reconfiguration delay
We consider the optimal control problem for networks subjected to time-varying channels,
reconfiguration delays, and interference constraints. We show that the simultaneous …
reconfiguration delays, and interference constraints. We show that the simultaneous …
Exploiting channel memory for joint estimation and scheduling in downlink networks—A Whittle's indexability analysis
We study opportunistic multiuser scheduling in downlink networks with Markov-modeled
outage channels. We consider the scenario that the scheduler does not have full knowledge …
outage channels. We consider the scenario that the scheduler does not have full knowledge …
Scheduling with pairwise XORing of packets under statistical overhearing information and feedback
We study the problem of scheduling packets from several flows traversing a given node
which can mix packets belonging to different flows. Practical wireless network coding …
which can mix packets belonging to different flows. Practical wireless network coding …
Low-complexity optimal scheduling over time-correlated fading channels with ARQ feedback
We investigate the downlink scheduling problem under Markovian ON/OFF fading channels,
where the instantaneous channel state information is not directly accessible, but is revealed …
where the instantaneous channel state information is not directly accessible, but is revealed …
Channel probing in opportunistic communication systems
We consider a multi-channel communication system in which a transmitter has access to M
channels, but does not know the state of any of the channels. We model the channel state …
channels, but does not know the state of any of the channels. We model the channel state …
Throughput-efficient scheduling and interference alignment for MIMO wireless systems
Multiple-input multiple-output (MIMO) wireless communication systems can achieve higher
throughput through interference alignment. For a small number of users, determining the …
throughput through interference alignment. For a small number of users, determining the …
Channel probing in communication systems: Myopic policies are not always optimal
We consider a multi-channel communication system in which a transmitter has access to a
large number of channels, but does not know the state of these channels. We model channel …
large number of channels, but does not know the state of these channels. We model channel …