Synthesis for Stochastic Robotic Systems
| dc.contributor.advisor | Kavraki, Lydia E | |
| dc.contributor.advisor | Vardi, Moshe Y. | |
| dc.creator | Wells, Andrew Marshall | |
| dc.date.accessioned | 2021-08-16T19:49:31Z | |
| dc.date.available | 2021-08-16T19:49:31Z | |
| dc.date.created | 2021-08 | |
| dc.date.issued | 2021-08-13 | |
| dc.date.submitted | August 2021 | |
| dc.date.updated | 2021-08-16T19:49:31Z | |
| dc.description.abstract | Robots interact with their environment, other robots or humans. We need ways to guarantee safety and generally “correct” behavior. This requires a way to specify correct behavior and a model of the human-environment system. We formulate the problem as a game the robot plays against the environment. In this work, we discuss a set of approaches to increasing robot reliability. Essentially, all of these approaches consider models of robot and environment actions and compute potential problems that may arise as well as solutions. This can allow the robot to avoid scenarios where a problem would inevitably lead to some disaster, assuming some better alternative exists. There are essentially two stages to this problem. In the first stage, we model the robot and environment so that we can mathematically reason about potential scenarios and the probabilities of various outcomes. In the second stage we “solve” the model by computing a strategy that the robot can follow to optimally achieve its goal. | |
| dc.format.mimetype | application/pdf | |
| dc.identifier.citation | Wells, Andrew Marshall. "Synthesis for Stochastic Robotic Systems." (2021) Diss., Rice University. <a href="https://hdl.handle.net/1911/111216">https://hdl.handle.net/1911/111216</a>. | |
| dc.identifier.uri | https://hdl.handle.net/1911/111216 | |
| 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 | synthesis | |
| dc.subject | robotics | |
| dc.subject | logic | |
| dc.title | Synthesis for Stochastic Robotic Systems | |
| 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 |
Files
Original bundle
1 - 1 of 1