Sciweavers

1365 search results - page 147 / 273
» Maximal Causality Analysis
Sort
View
CDC
2009
IEEE
120views Control Systems» more  CDC 2009»
15 years 11 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 10 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 10 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 10 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 8 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...