{"id":{"repo_id":"uiuc","oai_identifier":"oai:www.ideals.illinois.edu:2142/80902"},"canonical_url":"https://search.dev.ndltd.org/etd/uiuc/oai:www.ideals.illinois.edu:2142/80902","repository":{"repo_id":"uiuc","name":"University of Illinois - Urbana-Champaign","base_url":"https://www.ideals.illinois.edu/oai-pmh"},"display":{"title":"Bounded Aggregation Techniques to Solve Large Markov Models","abstract":"\"Markovian modeling of systems is a promising technique used to gauge the performance, dependability, and performability of systems. It can be used to aid design decisions by evaluating a range of design options for a range of environments, and it can be used to increase understanding of operational systems. Unfortunately, Markovian modeling is limited by the \"\"state-space explosion,\"\" or the exponential growth of the state space of a Markovian model as detail is added to the model. It is our thesis that aggregation techniques can be used to solve, at an acceptable level of accuracy, Markovian models that are more than an order of magnitude more complex than models solvable by current techniques, and that the aggregation techniques can be automated in many cases. We prove that claim by extending existing aggregation techniques to develop a new partial order that we apply to the solution of large models. In the partial order, if one state is larger than another state then all of the reward variables will be greater for all instants and intervals of time if the model starts in the first state instead of the second state. We show how the partial order can be computed, how it can be used to generate aggregates and compare aggregates to an original model, and how it can be applied to compositionally defined models. We then use the developed aggregation techniques to solve models that would be infeasible to solve otherwise.\"","abstract_html":""Markovian modeling of systems is a promising technique used to gauge the performance, dependability, and performability of systems. It can be used to aid design decisions by evaluating a range of design options for a range of environments, and it can be used to increase understanding of operational systems. Unfortunately, Markovian modeling is limited by the ""state-space explosion,"" or the exponential growth of the state space of a Markovian model as detail is added to the model. It is our thesis that aggregation techniques can be used to solve, at an acceptable level of accuracy, Markovian models that are more than an order of magnitude more complex than models solvable by current techniques, and that the aggregation techniques can be automated in many cases. We prove that claim by extending existing aggregation techniques to develop a new partial order that we apply to the solution of large models. In the partial order, if one state is larger than another state then all of the reward variables will be greater for all instants and intervals of time if the model starts in the first state instead of the second state. We show how the partial order can be computed, how it can be used to generate aggregates and compare aggregates to an original model, and how it can be applied to compositionally defined models. We then use the developed aggregation techniques to solve models that would be infeasible to solve otherwise."","abstract_has_math":false,"creators":["Daly, David M."],"institution":"University of Illinois at Urbana-Champaign","degree_name":"Ph.D.","degree_level":"Dissertation","degree_discipline":"Electrical Engineering","degree_department":null,"school":null,"contributors":["Sanders, William H."],"advisors":[],"committee_chairs":[],"committee_members":[],"year":2015,"date_issued":"2015-09-25T20:08:44Z","date_published":"2015-09-25T20:08:44Z","updated_at":"2026-07-22T22:26:15Z","subjects":["Computer Science"],"languages":["eng"],"rights":[],"rights_urls":[],"identifier_entries":[{"key":"dc:identifier","label":"Identifier","values":["(MiAaPQ)AAI3182247"],"render_values":[{"text":"(MiAaPQ)AAI3182247","href":null,"code":true}]}]},"links":{"outbound_url":"http://hdl.handle.net/2142/80902","outbound_label":"Handle","outbound_source":"dc:identifier"},"metadata_groups":[{"id":"people","label":"People","entries":[{"key":"dc:contributor","label":"Contributor","values":["Sanders, William H."]},{"key":"dc:creator","label":"Author","values":["Daly, David M."]}]},{"id":"academic_context","label":"Academic Context","entries":[{"key":"dc:date","label":"Dc Date","values":["2015-09-25T20:08:44Z","10000-01-01","2005"]},{"key":"dc:type","label":"Dc Type","values":["text"]},{"key":"thesis:degree_discipline","label":"Discipline","values":["Electrical Engineering"]},{"key":"thesis:degree_level","label":"Degree Level","values":["Dissertation"]},{"key":"thesis:degree_name","label":"Degree Name","values":["Ph.D."]},{"key":"thesis:institution_name","label":"Thesis Institution Name","values":["University of Illinois at Urbana-Champaign"]}]},{"id":"subjects_keywords","label":"Subjects and Keywords","entries":[{"key":"dc:subject","label":"Dc Subject","values":["Computer Science"]}]},{"id":"language_rights","label":"Language and Rights","entries":[{"key":"dc:language","label":"Dc Language","values":["eng"]}]},{"id":"identifiers","label":"Identifiers","entries":[{"key":"dc:identifier","label":"Identifier","values":["http://hdl.handle.net/2142/80902","(MiAaPQ)AAI3182247"]}]},{"id":"additional","label":"Additional Metadata","entries":[{"key":"dc:description","label":"Description","values":["\"Markovian modeling of systems is a promising technique used to gauge the performance, dependability, and performability of systems. It can be used to aid design decisions by evaluating a range of design options for a range of environments, and it can be used to increase understanding of operational systems. Unfortunately, Markovian modeling is limited by the \"\"state-space explosion,\"\" or the exponential growth of the state space of a Markovian model as detail is added to the model. It is our thesis that aggregation techniques can be used to solve, at an acceptable level of accuracy, Markovian models that are more than an order of magnitude more complex than models solvable by current techniques, and that the aggregation techniques can be automated in many cases. We prove that claim by extending existing aggregation techniques to develop a new partial order that we apply to the solution of large models. In the partial order, if one state is larger than another state then all of the reward variables will be greater for all instants and intervals of time if the model starts in the first state instead of the second state. We show how the partial order can be computed, how it can be used to generate aggregates and compare aggregates to an original model, and how it can be applied to compositionally defined models. We then use the developed aggregation techniques to solve models that would be infeasible to solve otherwise.\"","Made available in DSpace on 2015-09-25T20:08:44Z (GMT). No. of bitstreams: 2 license.txt: 4848 bytes, checksum: 96035ab3f5e1c23cc7138a224ce498bd (MD5) 3182247.pdf: 7393459 bytes, checksum: b8fbb53b1009a88031611cce37e32ca5 (MD5) Previous issue date: 2005","Embargo set by: Seth Robbins for item 82184 Lift date: Forever Reason: Restricted to the U of I community idenfinitely during batch ingest of legacy ETDs","Restricted to the U of I community idenfinitely during batch ingest of legacy ETDs","U of I Only","190 p.","Thesis (Ph.D.)--University of Illinois at Urbana-Champaign, 2005."]},{"key":"dc:title","label":"Title","values":["Bounded Aggregation Techniques to Solve Large Markov Models"]}]}],"canonical_facts":{"dc:contributor":["Sanders, William H."],"dc:creator":["Daly, David M."],"dc:date":["2015-09-25T20:08:44Z","10000-01-01","2005"],"dc:description":["\"Markovian modeling of systems is a promising technique used to gauge the performance, dependability, and performability of systems. It can be used to aid design decisions by evaluating a range of design options for a range of environments, and it can be used to increase understanding of operational systems. Unfortunately, Markovian modeling is limited by the \"\"state-space explosion,\"\" or the exponential growth of the state space of a Markovian model as detail is added to the model. It is our thesis that aggregation techniques can be used to solve, at an acceptable level of accuracy, Markovian models that are more than an order of magnitude more complex than models solvable by current techniques, and that the aggregation techniques can be automated in many cases. We prove that claim by extending existing aggregation techniques to develop a new partial order that we apply to the solution of large models. In the partial order, if one state is larger than another state then all of the reward variables will be greater for all instants and intervals of time if the model starts in the first state instead of the second state. We show how the partial order can be computed, how it can be used to generate aggregates and compare aggregates to an original model, and how it can be applied to compositionally defined models. We then use the developed aggregation techniques to solve models that would be infeasible to solve otherwise.\"","Made available in DSpace on 2015-09-25T20:08:44Z (GMT). No. of bitstreams: 2 license.txt: 4848 bytes, checksum: 96035ab3f5e1c23cc7138a224ce498bd (MD5) 3182247.pdf: 7393459 bytes, checksum: b8fbb53b1009a88031611cce37e32ca5 (MD5) Previous issue date: 2005","Embargo set by: Seth Robbins for item 82184 Lift date: Forever Reason: Restricted to the U of I community idenfinitely during batch ingest of legacy ETDs","Restricted to the U of I community idenfinitely during batch ingest of legacy ETDs","U of I Only","190 p.","Thesis (Ph.D.)--University of Illinois at Urbana-Champaign, 2005."],"dc:identifier":["http://hdl.handle.net/2142/80902","(MiAaPQ)AAI3182247"],"dc:language":["eng"],"dc:subject":["Computer Science"],"dc:title":["Bounded Aggregation Techniques to Solve Large Markov Models"],"dc:type":["text"],"thesis:degree_discipline":["Electrical Engineering"],"thesis:degree_level":["Dissertation"],"thesis:degree_name":["Ph.D."],"thesis:institution_name":["University of Illinois at Urbana-Champaign"]},"updated_at":"2026-07-22T22:26:15Z"}