A model for stochastic hybrid systems with application to communication networks

Nonlinear Analysis, Theory, Methods and Applications

Volumn 62, Issue 8, 2005, Pages 1353-1383

  Hespanha, João P ^a  

^a University of California   (United States)

Author keywords

Congestion control; Hybrid systems; Stochastic processes; TCP

Indexed keywords

APPROXIMATION THEORY; CONGESTION CONTROL (COMMUNICATION); MARKOV PROCESSES; MATHEMATICAL MODELS; TELECOMMUNICATION NETWORKS;

HYBRID SYSTEMS; PIECEWISE-DETERMINISTIC MARKOV PROCESS (PDP); STOCHASTIC PROCESSES; TRANSFER-SIZE DISTRIBUTIONS;

STOCHASTIC CONTROL SYSTEMS;

EID: 24344446485     PISSN: 0362546X     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.na.2005.01.112     Document Type: Article

References (44)

1. P.J. Antsaklis, J.A. Stiver, M.D. Lemmon, Hybrid system modeling and autonomous control systems, in: R.L. Grossman, A. Nerode, A.P. Ravn, H. Rishel (Eds.), Hybrid Systems, Lecture Notes in Computer Science, vol. 736, Springer, New York, 1993, pp. 366-392.
2. M. Arlitt, R. Friedrich, T. Jin, Workload characterization of a web proxy in a cable modem environment, Technical Report HPL-1999-48, Hwelett-Packard Laboratories, Palo Alto, CA, April 1999.
3. A. Back, J. Guckenheimer, M. Myers, A dynamical simulation facility for hybrid systems, in: R.L. Grossman, A. Nerode, A.P. Ravn, H. Rishel (Eds.), Hybrid Systems, Lecture Notes in Computer Science, vol. 736, Springer, New York, 1993.
4. P. Barford, A. Bestavros, A. Bradley, and M. Crovella Changes in web client access patterns World Wide Web (Special issue on characterization and performance evaluation) 2 1-2 1999 15 28
5. K. Benjelloun, and E.K. Boukas Mean square stochastic stability of linear time-delay system with Markovian jumping parameters IEEE Trans. Automat. Contr. 43 10 1998 1456 1460
6. A. Bensoussan, and J.-L. Lion Impulse Control and Quasi-Variational Inequalities 1984 Gauthier-Villars Paris (Contrôle impulsionnel et inéquations quasi-variationnelles, 1982.)
7. S. Bohacek A stochastic model of TCP and fair video transmission Proceedings of the IEEE INFOCOM 2003
8. S. Bohacek, J.P. Hespanha, J. Lee, and K. Obraczka Analysis of a TCP hybrid model Proceedings of the 39th Annual Allerton Conference on Communication, Control, and Computing October 2001
9. S. Bohacek, J.P. Hespanha, J. Lee, and K. Obraczka A hybrid systems modeling framework for fast and accurate simulation of data communication networks Proceedings of the ACM International Conference on Measurements and Modeling of Computer Systems (SIGMETRICS) June 2003
10. M.S. Branicky, V.S. Borkar, S.K. Mitter, A unified framework for hybrid control: background, model and theory, in: Proceedings of the 33rd Conference on Decision and Control, vol. 4, December 1994, pp. 4228-4234.
11. R. Brockett, Lecture Notes on Stochastic Control (provided by the author) 2002.
12. R.W. Brockett Hybrid models for motion control systems H.L. Trentelman J.C. Willems Essays in Control: Perspectives in the Theory and its Applications 1993 Birkhäuser Boston 29 53
13. O.L.V. Costa, and M.D. Fragoso Stability results for discrete-time linear systems with Markovian jumping parameters J. Math. Anal. Appl. 179 1993 154 178
14. M.H.A. Davis Markov Models and Optimization, Monographs on Statistics and Applied Probability 1993 Chapman & Hall London, UK
15. Y. Fang, and K.A. Loparo Stabilization of continuous-time jump linear systems IEEE Trans. Automat. Contr. 47 10 2002 1590 1603
16. J.A. Filar, V. Gaitsgory, and A.B. Haurie Control of singularly perturbed hybrid stochastic systems IEEE Trans. Automat. Contr. 46 2 2001 179 190
17. M.K. Ghosh, A. Arapostathis, and S. Marcus Ergodic control of switching diffusions SIAM J. Contr. Optim. 35 6 1997 1952 1988
18. J.P. Hespanha, S. Bohacek, K. Obraczka, J. Lee, Hybrid modeling of TCP congestion control, in: M. D. D. Benedetto, A. Sangiovanni-Vincentelli (Eds.), Hybrid Systems: Computation and Control, Lecture Notes in Computer Science, vol. 2034, Springer, Berlin, 2001, pp. 291-304.
19. J. Hu, J. Lygeros, S. Sastry, Towards a theory of stochastic hybrid systems, in: Lynch, Krogh (Eds.), Hybrid Systems: Computation and Control, Lecture Notes in Computer Science, vol. 1790, Springer, Berlin, 2000, pp. 160-173.
20. G. Irlam, Unix file size survey - 1993. Available at http://www.base.com/ gordoni/ufs93.html, November 1994.
21. K. Itô, Stochastic integral, Proceedings of the Imperial Academy of Tokyo, vol. 20, 1944, pp. 519-524.
22. J. Jacod, and A.N. Shiriaev Limit Theorems for Stochastic Processes second ed. 2002 Springer Berlin
23. K.H. Johansson, M. Egerstedt, J. Lygeros, and S. Sastry On the regularization of Zeno hybrid automata Systems Control Lett. 38 1999 141 150
24. S. Kunniyur, and R. Srikant Analysis and design of an adaptive virtual queue (AVQ) algorithm for active queue management Proceedings of the ACM SIGCOMM San Diego, California, USA 2001
25. A. Lakshmikantha, C. Beck, and R. Srikant Robustness of real and virtual queue based active queue management schemes Proceedings of the American Control Conference June 2003 266 271
26. S.H. Low A duality model of TCP and queue management algorithms IEEE ACM Trans. Networking 11 4 2003
27. S.H. Low, F. Paganini, and J.C. Doyle Internet congestion control IEEE Contr. System Mag. 22 1 2002 28 43
28. J. Lygeros, K.H. Johansson, S.N. Simić, J. Zhang, and S.S. Sastry Dynamical properties of hybrid automata IEEE Trans. Automat. Contr. 48 1 2003 2 17
29. J. Lygeros, C. Tomlin, and S. Sastry Controllers for reachability specifications for hybrid systems Automatica 35 3 1999 349 370
30. J. Mahdavi, S. Floyd, TCP-friendly unicast rate-based flow control. Technical Note sent to the end2end-interest mailing list, January 1997.
31. M. Mathis, J. Semke, J. Mahdavi, and T. Ott The macroscopic behavior of the TCP congestion avoidance algorithm ACM Comput. Comm. Rev. 27 3 1997
32. V. Misra, W. Gong, and D. Towsley Stochastic differential equation modeling and analysis of TCP-windowsize behavior Proceedings of PERFORMANCE'99 Istanbul, Turkey 1999
33. V. Misra, W. Gong, and D. Towsley Fluid-based analysis of a network of AQM routers supporting TCP flows with an application to RED Proceedings of the ACM SIGCOMM September 2000
34. A. Nerode, W. Kohn, Models for hybrid systems: automata, topologies, stability, in: R.L. Grossman, A. Nerode, A.P. Ravn, H. Rishel (Eds.), Hybrid Systems, Lecture Notes in Computer Science, vol. 736, Springer, New York, 1993, pp. 317-356.
35. T. Ott, J.H.B. Kemperman, M. Mathis, Window size behavior in TCP/IP with constant loss probability, in: Proceedings of the DIMACS Workshop on Performance of Realtime Applications on the Internet, November 1996.
36. J. Padhye, V. Firoiu, D. Towsley, and J. Kurose Modeling TCP Reno performance: a simple model and its empirical validation IEEE/ACM Trans. Networking 8 2 2000 133 145
37. G. Pola, M.L. Bujorianu, J. Lygeros, and M.D.D. Benedetto Stochastic hybrid models: an overview Proceedings of the IFAC Conference on Analysis and Design of Hybrid System June 2003
38. A.V.D. Schaft, H. Schumacher, An Introduction to Hybrid Dynamical Systems, Lecture Notes in Control and Information Science, vol. 251, Springer, London, 2000.
39. S. Shakkottai, and R. Srikant How good are deterministic fluid models of Internet congestion control? Proceedings of the IEEE INFOCOM June 2002
40. B. Sikdar, S. Kalyanaraman, and K. Vastola Analytic models for the latency and steady-state throughput of TCP Tahoe Reno and SACK Proceedings of the IEEE GLOBECOM 2001 25 29
41. B. Sikdar, S. Kalyanaraman, and K. Vastola TCP Reno with random losses: latency; throughput and sensitivity analysis Proceedings of the IEEE IPCCC April 2001 188 195
42. L. Tavernini Differential automata and their discrete simulators Nonlinear Anal. Theory, Methods Appl. 11 6 1987 665 683
43. L. Xiao, A.H.J.P. How, Control with random communication delays via a discrete-time jump system approach, in: Proceedings of the 2000 American Control Conference, vol. 3, 2000, pp. 2199-2204.
44. J. Zhang, K. Johansson, J. Lygeros, S. Sastry, Dynamical systems revisited: hybrid systems with Zeno executions, in: Lynch and Krogh (Eds.), Hybrid Systems: Computation and Control, Lecture Notes in Comput. Science, vol. 1790, Springer, Berlin, 2000, pp. 451-464.