Sciweavers

1164 search results - page 111 / 233
» Case Studies in Event-Driven Control
Sort
View
CDC
2010
IEEE
14 years 11 months ago
On the marginal instability of linear switched systems
Stability properties for continuous-time linear switched systems are at first determined by the (largest) Lyapunov exponent associated with the system, which is the analogous of t...
Yacine Chitour, Paolo Mason, Mario Sigalotti
DSD
2008
IEEE
136views Hardware» more  DSD 2008»
15 years 10 months ago
Flexible Baseband Architectures for Future Wireless Systems
— The mobile communication systems today, have different radio spectrum, radio access technologies, and protocol stacks depending on the network being utilized. This gives rise t...
Najam-ul-Islam Muhammad, Rizwan Rasheed, Renaud Pa...
RTSS
2008
IEEE
15 years 10 months ago
Symbolic Computation of Schedulability Regions Using Parametric Timed Automata
In this paper, we address the problem of symbolically computing the region in the parameter’s space that guarantees a feasible schedule, given a set of real-time tasks character...
Alessandro Cimatti, Luigi Palopoli, Yusi Ramadian
ICNS
2007
IEEE
15 years 10 months ago
On assuring QoS in Ethernet access network
This paper deals with the problem of assuring strict QoS guarantees for the end to end connections that originate from Ethernet access network. It shows that despite high link cap...
Robert Janowski, Piotr Krawiec, Wojciech Burakowsk...
WOSP
2005
ACM
15 years 9 months ago
From StoCharts to MoDeST: a comparative reliability analysis of train radio communications
StoCharts have been proposed as a UML statechart extension for performance and dependability evaluation, and have been applied in the context of train radio reliability assessment...
Holger Hermanns, David N. Jansen, Yaroslav S. Usen...