Skip to main content Accessibility help
×
Hostname: page-component-8448b6f56d-tj2md Total loading time: 0 Render date: 2024-04-19T10:18:11.638Z Has data issue: false hasContentIssue false

17 - Fixed-Point Iteration

from Part V - Multi-Level Models

Published online by Cambridge University Press:  30 August 2017

Kishor S. Trivedi
Affiliation:
Duke University, North Carolina
Andrea Bobbio
Affiliation:
Università degli Studi del Piemonte Orientale, Italy
Get access

Summary

Image of the first page of this content. For PDF version, please use the ‘Save PDF’ preceeding this image.'
Type
Chapter
Information
Reliability and Availability Engineering
Modeling, Analysis, and Applications
, pp. 631 - 642
Publisher: Cambridge University Press
Print publication year: 2017

Access options

Get access to the full version of this content by using one of the access options below. (Log in options will check for institutional or personal access. Content may require purchase if you do not have access.)

References

[1] G., Ciardo and K., Trivedi, “A decomposition approach for stochastic reward net models,Performance Evaluation, vol. 18, pp. 37–59, 1993.Google Scholar
[2] M., Malhotra and K., Trivedi, “A methodology for formal expression of hierarchy in model solution,” in Proc. 5th Int. Workshop on Petri Nets and Performance Models, Oct. 1993, pp. 258–267.
[3] J. S., Baras, V., Tabatabaee, G., Papageorgiou, and N., Rentz, “Modelling and optimization for multi-hop wireless networks using fixed point and automatic differentiation,” in Proc. 6th Int. Symp. on Modeling and Optimization in Mobile, Ad Hoc, and Wireless Networks, Apr. 2008, pp. 295–300.
[4] X., Ma, X., Yin, and K., Trivedi, “On the reliability of safety applications in VANETs,International Journal of Performability Engineering, vol. 8, no. 2, pp. 115–130, Mar. 2012.Google Scholar
[5] X., Yin, X., Ma, and K., Trivedi, “An interacting stochastic models approach for the performance evaluation of DSRC vehicular safety communication,IEEE Transactions on Computers, vol. 62, no. 5, pp. 873–885, May 2013.Google Scholar
[6] R., Ghosh, F., Longo, V. K., Naik, and K. S., Trivedi, “Modeling and performance analysis of large scale IaaS clouds,Future Generation Computer Systems, vol. 29, no. 5, pp. 1216–1234, 2013.Google Scholar
[7] L., Lei, Y., Zhang, X. S., Shen, C., Lin, and Z., Zhong, “Performance analysis of device-to-device communications with dynamic interference using stochastic Petri nets,IEEE Transactions onWireless Communications, vol. 12, no. 12, pp. 6121–6141, Dec. 2013.Google Scholar
[8] R., Ghosh, F., Longo, R., Xia, V. K., Naik, and K. S., Trivedi, “Stochastic model driven capacity planning for an infrastructure-as-a-service cloud,IEEE Transactions on Services Computing, vol. 7, no. 4, pp. 667–680, 2014.Google Scholar
[9] R., Ghosh, F., Longo, F., Frattini, S., Russo, and K. S., Trivedi, “Scalable analytics for IaaS cloud availability,IEEE Transactions on Cloud Computing, vol. 2, no. 1, pp. 57–70, 2014.Google Scholar
[10] G., Casale, M., Tribastone, and P. G., Harrison, “Blending randomness in closed queueing network models,Performance Evaluation, vol. 82, pp. 15–38, 2014.Google Scholar
[11] V., Mainkar and K. S., Trivedi, “Sufficient conditions for existence of a fixed point in stochastic reward net-based iterative models,IEEE Transactions on Software Engineering, vol. 22, no. 9, pp. 640–653, Sep. 1996.Google Scholar
[12] G., Haring, R., Marie, R., Puigjaner, and K., Trivedi, “Loss formulas and their application to optimization for cellular networks,” IEEE Transactions on Vehicular Technology, pp. 654–673, 2001.Google Scholar
[13] L., Tomek and K., Trivedi, “Fixed point iteration in availability modeling,” in Proc. 5th Int. GI/ITG/GMA Conf. on Fault-Tolerant Computing Systems, Tests, Diagnosis, Fault Treatment. Springer-Verlag, 1991, pp. 229–240.
[14] J. M., Ortega and W. C., Rheinboldt, Iterative Solution of Nonlinear Equations in Several Variables. Academic Press, NY, 1970.
[15] B. B., Madan, S., Dharmaraja, and K. S., Trivedi, “Combined guard channel and mobile-assisted handoff for cellular networks,IEEE Transactions on Vehicular Technology, vol. 57, no. 1, pp. 502–510, Jan. 2008.Google Scholar
[16] C., Lindemann, Performance Modelling with Deterministic and Stochastic Petri Nets. Wiley-Interscience, 1998.
[17] I., Mura, A., Bondavalli, X., Zang, and K. S., Trivedi, “Dependability modeling and evaluation of phased mission systems: A DSPN approach,” in Proc. IEEE IFIP Int. Conf. on Dependable Computing for Critical Applications, San Jose, CA, USA, Jan. 6–8 1999, pp. 319–337.
[18] D., Wang, W., Xie, and K. S., Trivedi, “Performability analysis of clustered systems with rejuvenation under varying workload,Performance Evaluation, vol. 64, no. 3, pp. 247–265, 2007.Google Scholar
[19] C., Hirel, B., Tuffin, and K. S., Trivedi, “SPNP: Stochastic Petri Nets. Version 6,” in Proc. Int. Conf. on Computer Performance Evaluation: Modelling Techniques and Tools, eds. B., Haverkort and H., Bohnenkamp, LNCS 1786, Springer Verlag, 2000, pp. 354–357.
[20] P., Heidelberger and K. S., Trivedi, “Queueing network models for parallel processing with asynchronous tasks,IEEE Transactions on Computers, vol. 31, no. 11, pp. 1099–1109, 1982.Google Scholar
[21] P., Heidelberger and K. S., Trivedi, “Analytic queueing models for programs with internal concurrency,IEEE Transactions on Computers, vol. 32, no. 1, pp. 73–82, 1983.Google Scholar
[22] M., Liu and J. S., Baras, “Fixed point approximation for multirate multihop loss networks with state-dependent routing,IEEE/ACM Transactions on Networking, vol. 12, no. 2, pp. 361–374, Apr. 2004.Google Scholar
[23] X. Ma and K. S., Trivedi, “Reliability and performance of general two-dimensional broadcast wireless network,Performance Evaluation, vol. 95, pp. 41–59, 2016.Google Scholar
[24] X., Yin, X., Ma, and K. S., Trivedi, “MAC and application level performance evaluation of beacon message dissemination in DSRC safety communication,Performance Evaluation, vol. 71, pp. 1–24, 2014.Google Scholar

Save book to Kindle

To save this book to your Kindle, first ensure coreplatform@cambridge.org is added to your Approved Personal Document E-mail List under your Personal Document Settings on the Manage Your Content and Devices page of your Amazon account. Then enter the ‘name’ part of your Kindle email address below. Find out more about saving to your Kindle.

Note you can select to save to either the @free.kindle.com or @kindle.com variations. ‘@free.kindle.com’ emails are free but can only be saved to your device when it is connected to wi-fi. ‘@kindle.com’ emails can be delivered even when you are not connected to wi-fi, but note that service fees apply.

Find out more about the Kindle Personal Document Service.

Available formats
×

Save book to Dropbox

To save content items to your account, please confirm that you agree to abide by our usage policies. If this is the first time you use this feature, you will be asked to authorise Cambridge Core to connect with your account. Find out more about saving content to Dropbox.

Available formats
×

Save book to Google Drive

To save content items to your account, please confirm that you agree to abide by our usage policies. If this is the first time you use this feature, you will be asked to authorise Cambridge Core to connect with your account. Find out more about saving content to Google Drive.

Available formats
×