Model Abstraction in Dynamical Systems: Application to Mobile Robot Control

Simple item page
dc.contributor.authorMellodge, Patriciaen
dc.contributor.committeechairKachroo, Pushkinen
dc.contributor.committeememberDay, Martin V.en
dc.contributor.committeememberStilwell, Daniel J.en
dc.contributor.committeememberBaumann, William T.en
dc.contributor.committeememberAbbott, A. Lynnen
dc.contributor.departmentElectrical and Computer Engineeringen
dc.date.accessioned2014-03-14T20:12:10Zen
dc.date.adate2007-06-05en
dc.date.available2014-03-14T20:12:10Zen
dc.date.issued2007-05-10en
dc.date.rdate2007-06-05en
dc.date.sdate2007-05-17en
dc.description.abstractTo reduce complexity of system analysis and control design, simplified models that capture the behavior of interest in the original system can be obtained. These simplified models, called abstractions, can be analyzed more easily than the original complex model. Hierarchies of consistent abstractions can significantly reduce the complexity in determining the reachability properties of nonlinear systems. Such consistent hierarchies of reachability-preserving nonlinear abstractions are considered for the robotic car. Not only can these abstractions be analyzed with respect to some behavior of interest, they can also be used to transfer control design for the complex model to the simplified model. In this work, the abstraction is applied to the car/unicycle system. Working towards control design, it is seen that there are certain classes of trajectories that exist in the rolling disk system that cannot be achieved by the robotic car. In order to account for these cases, the new concepts of traceability and &#949-traceability are introduced. This work also studies the relationship between the evolution of uncertain initial conditions in abstracted control systems. It is shown that a control system abstraction can capture the time evolution of the uncertainty in the original system by an appropriate choice of control input. Abstracted control systems with stochastic initial conditions show the same behavior as systems with deterministic initial conditions. A conservation law is applied to the probability density function (pdf) requiring that the area under it be unity. Application of the conservation law results in a partial differential equation known as the Liouville equation, for which a closed form solution is known. The solution provides the time evolution of the initial pdf which can be followed by the abstracted system.en
dc.description.degreePh. D.en
dc.identifier.otheretd-05172007-112915en
dc.identifier.sourceurlhttp://scholar.lib.vt.edu/theses/available/etd-05172007-112915/en
dc.identifier.urihttp://hdl.handle.net/10919/27758en
dc.publisherVirginia Techen
dc.relation.haspartMellodge-etd1.pdfen
dc.rightsIn Copyrighten
dc.rights.urihttp://rightsstatements.org/vocab/InC/1.0/en
dc.subjectabstractionen
dc.subjecttraceabilityen
dc.subjectmobile robotsen
dc.subjectnonholonomic systemsen
dc.subjectfeedback controlen
dc.titleModel Abstraction in Dynamical Systems: Application to Mobile Robot Controlen
dc.typeDissertationen
thesis.degree.disciplineElectrical and Computer Engineeringen
thesis.degree.grantorVirginia Polytechnic Institute and State Universityen
thesis.degree.leveldoctoralen
thesis.degree.namePh. D.en

Files

Original bundle
Now showing 1 - 1 of 1
Thumbnail Image
Name:
Mellodge-etd1.pdf
Size:
1.18 MB
Format:
Adobe Portable Document Format
Download

Collections

Doctoral Dissertations