Behavior modeling for hybrid robotic vehicles
Author(s) | Rawal, Chetan | |
Date Accessioned | 2012-02-02T02:53:51Z | |
Date Available | 2012-02-02T02:53:51Z | |
Publication Date | 2011-10 | |
Abstract | The behavior of a certain class of hybrid robotic systems can be expressed using formal languages. In this work, we show how languages can be generated from discrete abstractions of such hybrid systems; that these languages are regular; and they belong to the star free (SF) class of the Sub-regular hierarchy. Planning and control of hybrid systems is typically difficult due to the computational cost involved in predicting the system’s future states, since the states can take infinite values while evolving along the trajectories of continuous dynamics. A discrete abstraction of the hybrid system can reduce these values to a finite number, thereby fascilitating the solution to the reachability problem. Abstraction enables us to focus on planning the system’s overall behavior through controller sequences observed in the abstract system, instead of dealing with the dynamics associated with each controller. | en_US |
Sponsor | NSF grants number 0907003 and 1035577 | en_US |
URL | http://udspace.udel.edu/handle/19716/10381 | |
Publisher | Department of Mechanical Engineering, University of Delaware | en_US |
Part of Series | UDME Technical Repor;MEEG TR-2011-0001 | |
Keywords | Robotics | en_US |
Keywords | Hybrid systems | en_US |
Keywords | Formal languages | en_US |
Keywords | Abstractions | en_US |
Title | Behavior modeling for hybrid robotic vehicles | en_US |
Type | Other | en_US |