Synthesis from Probabilistic Components
dc.contributor.advisor | Vardi, Moshe Y. | |
dc.contributor.committeeMember | Nakhleh, Luay K. | |
dc.contributor.committeeMember | Baraniuk, Richard G. | |
dc.creator | Nain, Sumit | |
dc.date.accessioned | 2014-10-03T15:02:00Z | |
dc.date.available | 2014-10-03T15:02:00Z | |
dc.date.created | 2013-12 | |
dc.date.issued | 2013-10-29 | |
dc.date.submitted | December 2013 | |
dc.date.updated | 2014-10-03T15:02:00Z | |
dc.description.abstract | Synthesis is the automatic construction of a system from its specification. In classical synthesis algorithms, it is always assumed that the system is ``constructed from scratch'' rather than composed from reusable components. This, of course, rarely happens in real life, where almost every non-trivial commercial software system relies heavily on using libraries of reusable components. Furthermore, other contexts, such as web-service orchestration, can be modeled as synthesis of a system from a library of components. In contrast to classical synthesis, synthesis from components aims to build the desired system using components from a given library. In this dissertation, we consider the problem of control-flow synthesis from libraries of probabilistic components. We develop an automata-theoretic approach to solve the problem, investigate the expressive power of probabilistic control-flow, and examine the close relationship between synthesis from components and games with partial information. | |
dc.format.mimetype | application/pdf | |
dc.identifier.citation | Nain, Sumit. "Synthesis from Probabilistic Components." (2013) Diss., Rice University. <a href="https://hdl.handle.net/1911/77386">https://hdl.handle.net/1911/77386</a>. | |
dc.identifier.uri | https://hdl.handle.net/1911/77386 | |
dc.language.iso | eng | |
dc.rights | Copyright is held by the author, unless otherwise indicated. Permission to reuse, publish, or reproduce the work beyond the bounds of fair use or other exemptions to copyright law must be obtained from the copyright holder. | |
dc.subject | Reactive synthesis | |
dc.subject | Synthesis from components | |
dc.subject | Partial-information stochastic games | |
dc.title | Synthesis from Probabilistic Components | |
dc.type | Thesis | |
dc.type.material | Text | |
thesis.degree.department | Computer Science | |
thesis.degree.discipline | Engineering | |
thesis.degree.grantor | Rice University | |
thesis.degree.level | Doctoral | |
thesis.degree.name | Doctor of Philosophy |