A model for stochastic hybrid systems with application to communication networks
@article{Hespanha2005AMF, title={A model for stochastic hybrid systems with application to communication networks}, author={Jo{\~a}o Pedro Hespanha}, journal={Nonlinear Analysis-theory Methods \& Applications}, year={2005}, volume={62}, pages={1353-1383} }
154 Citations
Modelling and analysis of stochastic hybrid systems
- Mathematics
- 2006
The author describes a model for stochastic hybrid systems (SHSs) where transitions between discrete modes are triggered by stochastic events. The rate at which these transitions occur is allowed to…
Modeling and Analysis of Stochastic Hybrid Systems
- Computer Science
- 2007
The author describes a model for Stochastic Hybrid Systems (SHSs) where transitions between discrete modes are triggered by stochastic events. The rate at which these transitions occur is allowed to…
Stochastic Hybrid Systems with Renewal Transitions: Moment Analysis with Application to Networked Control Systems with Delays
- Mathematics, Computer ScienceSIAM J. Control. Optim.
- 2013
An approach based on a set of Volterra equations to compute any statistical moment of the state of the SHS and a method to compute the Lyapunov exponents of a given degree, i.e., the exponential rate of decrease or increase at which statistical moments converge to zero or to infinity, respectively are proposed.
Modeling Communication Networks with Hybrid Systems : Extended Version
- Computer Science
A general hybrid systems framework to model the flow of traffic in communication networks, faithfully capturing the dynamics of transient phenomena and yet providing significant flexibility in modeling various congestion control mechanisms, different queuing policies, multicast transmission, etc.
A Stochastic Hybrid Systems framework for analysis of Markov reward models
- Computer ScienceReliab. Eng. Syst. Saf.
- 2014
A Stochastic Hybrid Systems Framework for Analyzing Markov Reward Models
- Computer Science
- 2012
The proposed SHS-based framework unifies the analysis of a variety of previously studied reward models and illustrates the application of the framework to performability analysis via analytical and numerical examples.
Stochastic Hybrid Systems with renewal transitions
- MathematicsProceedings of the 2010 American Control Conference
- 2010
We consider Stochastic Hybrid Systems (SHSs) for which the lengths of times that the system stays in each mode are independent random variables with given distributions. We propose an analysis…
Modeling Data Communication Networks Using Hybrid Systems
- Computer Science
- 2006
A general hybrid systems framework to model the flow of traffic in communication networks, faithfully capturing the dynamics of transient phenomena and yet providing significant flexibility in modeling various congestion control mechanisms, different queuing policies, multicast transmission, etc.
Moment dynamics for a class of time-triggered stochastic hybrid systems
- Mathematics, Computer Science
- 2016
This work identifies a subclass of linear time-triggered SHS, where the first and second-order moments depend only on the mean time interval between events and invariant of their higher-order statistics.
References
SHOWING 1-10 OF 50 REFERENCES
A hybrid systems modeling framework for fast and accurate simulation of data communication networks
- Computer ScienceSIGMETRICS '03
- 2003
The proposed hybrid systems modeling framework fills the gap between packet-level and fluid-based models: by averaging discrete variables over a very short time scale, this provides significant flexibility in modeling various congestion control mechanisms, different queuing policies, multicast transmission, etc.
Towards a Theory of Stochastic Hybrid Systems
- Computer Science, Mathematics
- 2000
The invariant distribution and exit probability from interval of the MC are studied and it is shown that they converge to their counterparts for the solution process of the original SDE as the discretization step goes to zero, providing a useful tool for studying various sample path properties of the SDE.
Towars a Theory of Stochastic Hybrid Systems
- Computer Science, MathematicsHSCC
- 2000
The invariant distribution and exit probability from interval of the MC are studied and it is shown that they converge to their counterparts for the solution process of the original SDE as the discretization step goes to zero, providing a useful tool for studying various sample path properties of the SDE.
A stochastic model of TCP and fair video transmission
- Computer ScienceIEEE INFOCOM 2003. Twenty-second Annual Joint Conference of the IEEE Computer and Communications Societies (IEEE Cat. No.03CH37428)
- 2003
A stochastic model of TCP is developed and the question as to when a video can be fairly transmitted is addressed, and it is shown that the mean congestion window can be far larger than the median.
Control with random communication delays via a discrete-time jump system approach
- Mathematics, Computer ScienceProceedings of the 2000 American Control Conference. ACC (IEEE Cat. No.00CH36334)
- 2000
This work presents a V-K iteration algorithm to design switching and non-switching controllers for digital control systems with random but bounded delays in the feedback loop, with the transition jumps being modeled as finite-state Markov chains.
How good are deterministic fluid models of Internet congestion control?
- Computer ScienceProceedings.Twenty-First Annual Joint Conference of the IEEE Computer and Communications Societies
- 2002
This paper justifies the use of deterministic models for proportionally fair congestion controllers under a limiting regime where the number of sources in a network is large and verifies the results through simulations of window-based implementations of proportionallyFair controllers and TCP.
Fluid-based analysis of a network of AQM routers supporting TCP flows with an application to RED
- Computer ScienceSIGCOMM
- 2000
This paper uses jump process driven Stochastic Differential Equations to model the interactions of a set of TCP flows and Active Queue Management routers in a network setting and presents a critical analysis of the RED algorithm.
Modeling TCP Reno performance: a simple model and its empirical validation
- Computer ScienceTNET
- 2000
A simple analytic characterization of the steady-state send rate as a function of loss rate and round trip time for a bulk transfer TCP flow is developed and is able to more accurately predict TCP send rate and is accurate over a wider range of loss rates.
Analysis of a TCP hybrid model
- Computer Science
- 2002
This paper uses hybrid systems to model and analyze the transient and steady-state behavior of multiple TCP flows that share a single common bottleneck link, resulting in a characterization of the steady- state regimen that is significantly more accurate than existing ones, especially under heavy traffic.
Stochastic Differential Equation Modeling and Analysis of TCP-Windowsize Behavior
- Computer Science
- 2005
Invert the loss process in the model, by treating loss events arriving at the source as a Poisson stream rather than packets going out on the network with some loss probability p, this enables the model to model the window size behavior as aPoisson Counter driven Stochastic Differential Equation and perform analysis.