Motion description languages: from specification to execution

Show full item record

Please use this identifier to cite or link to this item: http://hdl.handle.net/1853/33860

Title: Motion description languages: from specification to execution
Author: Martin, Patrick J.
Abstract: Many emerging controls applications have seen increased operational complexity due to the deployment of embedded, networked systems that must interact with the physical environment. In order to manage this complexity, we design different control modes for each system and use motion description languages (MDL) to specify a sequence of these controllers to execute at run-time. Unfortunately, current MDL frameworks lose some of the important details (i.e. power, spatial, or communication capabilities) that affect the execution of the control modes. This work presents several computational tools that work towards closing MDL's specification-to-execution gap, which can result in undesirable behavior of complex systems at run-time. First, we develop the notion of an MDL compiler for control specifications with spatial, energy, and temporal constraints. We define a new MDL for networked systems and develop an algorithm that automatically generates a supervisor to prevent incorrect execution of the multi-agent MDL program. Additionally, we derive conditions for checking if an MDL program satisfies actuator constraints and develop an algorithm to insert new control modes that maintain actuator bounds during the execution of the MDL program. Finally, we design and implement a software architecture that facilitates the development of control applications for systems with power, actuator, sensing, and communication constraints.
Type: Dissertation
URI: http://hdl.handle.net/1853/33860
Date: 2010-03-24
Publisher: Georgia Institute of Technology
Subject: Hybrid systems
Optimal control
Motion description languages
Mobile robots
Robots Control systems
Algorithms
Department: Electrical and Computer Engineering
Advisor: Committee Chair: Egerstedt, Magnus; Committee Member: Howard, Ayanna; Committee Member: Shamma, Jeff; Committee Member: Stilman, Michael; Committee Member: Wills, Linda
Degree: Ph.D.

All materials in SMARTech are protected under U.S. Copyright Law and all rights are reserved, unless otherwise specifically indicated on or in the materials.

Files in this item

Files Size Format View
martin_patrick_j_201005_phd.pdf 3.376Mb PDF View/ Open

This item appears in the following Collection(s)

Show full item record