Sciweavers

1495 search results - page 30 / 299
» Modeling and controllability for a class of hybrid mechanica...
Sort
View
AUTOMATICA
2005
117views more  AUTOMATICA 2005»
13 years 8 months ago
Dwell-time controllers for stochastic systems with switching Markov chain
We study the problem of feedback stabilization of a family of nonlinear stochastic systems with switching mechanism modeled by a Markov chain. We introduce a novel notion of stabi...
Stefano Battilotti, A. De Santis
VTC
2010
IEEE
163views Communications» more  VTC 2010»
13 years 7 months ago
An ARQ Mechanism with Rate Control for Two-Hop Relaying Systems
— Wireless multi-hop relaying has been attracting considerable attention as a promising technique for future communication systems. The multi-hop relaying technique has many bene...
Soo-Yong Jeon, Dong-Ho Cho
IWSSD
2000
IEEE
14 years 1 months ago
Hybrid Model Visualization in Requirements and Design: A Preliminary Investigation
This paper reports on a preliminary investigation into applying work on graphic animation of behavioral models to an air traffic control case study – the National Air Traffic Se...
Jeff Magee, Jeff Kramer, Bashar Nuseibeh, David Bu...
MODELLIERUNG
1998
13 years 10 months ago
A Comparison of Role Mechanisms in Object-Oriented Modeling
In most object-oriented languages and systems, objects must belong to a single most specific class. Relaxing this requirement, also known as role modeling, has been proposed by sev...
Gerti Kappel, Werner Retschitzegger, Wieland Schwi...
ISCAS
2006
IEEE
93views Hardware» more  ISCAS 2006»
14 years 2 months ago
Discontinuity-induced bifurcations in TCP/RED communication algorithms
— In this paper, we describe a simple second-order discrete-time model for the Transmission Control Protocol (TCP) with Random Early Detection (RED) algorithm. The TCP/RED mechan...
Mingjian Liu, A. Marciello, Mario di Bernardo, Lji...