Description
Objective of this thesis project is to build a prototype using Linear Temporal Logic specifications for generating a 2D motion plan commanding an iRobot to fulfill the specifications. This thesis project was created for Cyber Physical Systems Lab in Arizona State University.
Copyright Statement
Download count: 0
Details
Contributors
- Pandya, Parth (Author)
- Fainekos, Georgios (Thesis advisor)
- Dasgupta, Partha (Committee member)
- Lee, Yann-Hang (Committee member)
- Arizona State University (Publisher)
Date Created
The date the item was original created (prior to any relationship with the ASU Digital Repositories.)
2013
Subjects
Resource Type
Collections this item is in
Note
- Partial requirement for: M.S., Arizona State University, 2013Note typethesis
- Includes bibliographical references (p. 56-59)Note typebibliography
- Field of study: Computer science
Citation and reuse
Statement of Responsibility
by Parth Pandya