Sciweavers

1365 search results - page 147 / 273
» Maximal Causality Analysis
Sort
View
CDC
2009
IEEE
120views Control Systems» more  CDC 2009»
15 years 10 months ago
Networked and quantized control systems with communication delays
— There are many communication imperfections in networked control systems (NCSs) such as varying sampling/transmission intervals, varying delays, possible packet loss, communicat...
W. P. M. H. Heemels, Dragan Nesic, Andrew R. Teel,...
ICNP
1997
IEEE
15 years 9 months ago
Optimal Feedback Control for ABR Service in ATM
The e cient support of data tra c over ATM networks requires congestion control, whose objectives include maximizing throughput, minimizing switch bu er requirement, and attaining...
Paolo Narváez, Kai-Yeung Siu
ICLP
1997
Springer
15 years 9 months ago
The Complexity of Model Checking in Modal Event Calculi
Kowalski and Sergot’s Event Calculus (EC) is a simple temporal formalism that, given a set of event occurrences, derives the maximal validity intervals (MVIs) over which propert...
Iliano Cervesato, Massimo Franceschet, Angelo Mont...
BROADNETS
2004
IEEE
15 years 9 months ago
Decoupling Packet Loss from Blocking in Proactive Reservation-Based Switching
We consider the maximization of network throughput in buffer-constrained optical networks using aggregate bandwidth allocation and reservation-based transmission control. Assuming...
Mahmoud Elhaddad, Rami G. Melhem, Taieb Znati
WSC
2008
15 years 7 months ago
Who's your Tiger? Using simulation to optimize the lineup of the Detroit Tigers offense
As part of an undergraduate engineering class project, a simulation of the Detroit Tigers offense was created to explore potential changes that would increase number of wins. More...
Jared Davis, Barbara Fordyce, James Cicala, Matthe...