Type of Document Dissertation Author Mellodge, Patricia URN etd-05172007-112915 Title Model Abstraction in Dynamical Systems: Application to Mobile Robot Control Degree PhD Department Electrical and Computer Engineering Advisory Committee

Advisor Name Title Kachroo, Pushkin Committee Chair Abbott, A. Lynn Committee Member Baumann, William T. Committee Member Day, Martin V. Committee Member Stilwell, Daniel J. Committee Member Keywords

- abstraction
- traceability
- mobile robots
- nonholonomic systems
- feedback control
Date of Defense 2007-05-10 Availability unrestricted 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 ε-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 convservation 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.

Files

Filename Size Approximate Download Time (Hours:Minutes:Seconds)

28.8 Modem 56K Modem ISDN (64 Kb) ISDN (128 Kb) Higher-speed Access Mellodge-etd1.pdf1.23 Mb 00:05:42 00:02:56 00:02:34 00:01:17 00:00:06

Browse All Available ETDs by
( Author |
Department )

If you have questions or technical problems, please Contact DLA.