Haitham A. Hindi

Learn More
We consider a linear system, such as a controller or estimator, in which several signals are transmitted over communication channels with bit rate limitations. We model the effect of bit rate limited wireless channels by conventional uniform quantization, and use a standard white-noise model for quantization errors. We focus on finding the allocation of(More)
— We propose a settlement mechanism for optimally scheduling real time electricity consumption which is suitable for an automated demand response control system. Our proposed settlement mechanism, supply function bidding, is interpreted as a Newton algorithm for optimization problems with decomposable structure, and it is shown to satisfy the second(More)
We consider a linear system, such as an estimator or a controller , in which several signals are transmitted over wireless communication channels. With the coding and medium access schemes of the communication system fixed, the achievable bit rates are determined by the allocation of communications resources such as transmit powers and bandwidths, to(More)
Operational semantics of hybrid systems p. 25 SOS methods for semi-algebraic games and optimization p. 54 The discrete time behavior of lazy linear hybrid automata p. 55 Perturbed timed automata p. 70 A homology theory for hybrid systems : hybrid homology p. 86 Observability of switched linear systems in continuous time p. 103 Controller synthesis on(More)
We describe here a system consisting of multiple, relatively inexpensive marking engines. The marking engines are interconnected using highly reconfigurable paper paths. The paths are composed of hypermodules (bidirectional nip assemblies and sheet director assemblies) each of which has its own computation, sensing, actuation, and communications(More)
This paper describes a stochastic jitter model for analyzing the performance and bit error rate (BER) of digital timing recovery circuits. The model uses parallel interconnected Markov chains to simulate the behavior of the system in response to both random and deterministic jitter. Unlike conventional Markov-chain models that require the system to be(More)