496 search results - page 8 / 100 » Model reduction of periodic systems: a lifting approach |
LCN
1999
IEEE
14 years 20 days ago
1999
IEEE
In Wireless ATM networks, user connections need to be rerouted during handoff as mobile users move among base stations. The rerouting of connections must be done quickly with mini...
ECBS
2010
IEEE
13 years 11 months ago
2010
IEEE
Model-based selective regression testing promises reduction in cost and labour by selecting a subset of the test suite corresponding to the modifications after system evolution. H...
CN
2008
13 years 8 months ago
2008
We propose a router-based technique to mitigate the stealthy reduction of quality (RoQ) attacks at the routers in the Internet. The RoQ attacks have been shown to impair the QoS s...
CDC
2010
IEEE
13 years 3 months ago
2010
IEEE
Abstract--In this note, we consider the robust stability of sampleddata systems with respect to continuous-time delay. We argue that many results in the literature implicitly assum...
CHARME
2001
Springer
14 years 27 days ago
2001
Springer
We present a set of reduction rules for LTL model-checking of 1-safe Petri nets. Our reduction techniques are of two kinds: (1) Linear programming techniques which are based on wel...