Sciweavers

CDC
2010
IEEE
150views Control Systems» more  CDC 2010»
12 years 11 months ago
Consensus on asynchronous communication networks in presence of external input
This paper presents a class of multi-agent systems where the state of each agent is driven by its own local protocol, and by exogenous time-varying input signal. These inputs may r...
C. Pilotto, K. M. Chandy, J. White
TIT
2002
69views more  TIT 2002»
13 years 4 months ago
Broad-band fading channels: Signal burstiness and capacity
M
Vijay G. Subramanian, Bruce Hajek
WCE
2007
13 years 5 months ago
Avoiding Hazards for Speed-Independent Logic Design
- In the speed-independent logic, the hazards caused by input inverters are identified. The known methods of the elimination of such hazards are based on avoiding input inverters. ...
Igor Lemberski
ISCAS
2002
IEEE
110views Hardware» more  ISCAS 2002»
13 years 9 months ago
Incorporation of input glitches into power macromodeling
Previous research on power macromodeling has always assumed glitch-free input signals. However, in an actual operating environment, the input signals of a circuit can contain glit...
Xun Liu, Marios C. Papaefthymiou
HYBRID
2003
Springer
13 years 9 months ago
On Systematic Simulation of Open Continuous Systems
Abstract. In this paper we investigate a new technique to determine whether an open continuous system behaves correctly for all admissible input signals. This technique is based on...
James Kapinski, Bruce H. Krogh, Oded Maler, Olaf S...
DATE
2008
IEEE
170views Hardware» more  DATE 2008»
13 years 11 months ago
ETBR: Extended Truncated Balanced Realization Method for On-Chip Power Grid Network Analysis
In this paper, we present a novel simulation approach for power grid network analysis. The new approach, called ETBR for extended truncated balanced realization, is based on model...
Duo Li, Sheldon X.-D. Tan, Bruce McGaughy
CDC
2008
IEEE
117views Control Systems» more  CDC 2008»
13 years 11 months ago
Sensitive state-space exploration
— 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...
Thao Dang, Alexandre Donzé, Oded Maler, Noa...