Dynamic Controllability of Temporally-flexible Reactive Programs
Name
Williams_DynamicControllability.pdf
Size
473.43 KB
Format
Adobe PDF
Checksum (MD5)
ba9a1df5cfa256c9fe090917990f6e83
Author(s)
Effinger, Robert Temple
Williams, Brian Charles
Kelly, Gerard
Sheehy, Michael
Date Issued
October 2009
Journal
Nineteenth International Conference on Automated Planning and Scheduling
Publisher
AAAI Publicaitons
Citation
Effinger, Robert, et al. "Dynamic Controllability of Temporally-flexible Reactive Programs." Nineteenth International Conference on Automated Planning and Scheduling. Thessaloniki, Greece, September 19-23, 2009.
Version
Author's final manuscript
Abstract
In this paper we extend dynamic controllability of temporally-flexible plans to temporally-flexible reactive programs. We consider three reactive programming language constructs whose behavior depends on runtime observations; conditional execution, iteration, and exception handling. Temporally-flexible reactive programs are distinguished from temporally-flexible plans in that program execution is conditioned on the runtime state of the world. In addition, exceptions are thrown and caught at runtime in response to violated timing constraints, and handled exceptions are considered successful program executions. Dynamic controllability corresponds to a guarantee that a program will execute to completion, despite runtime constraint violations and uncertainty in runtime state. An algorithm is developed which frames the dynamic controllability problem as an AND/OR search tree over possible program executions. A key advantage of this approach is the ability to enumerate only a subset of possible program executions that guarantees dynamic controllability, framed as an AND/OR solution subtree.
MIT Department
Massachusetts Institute of Technology. Computer Science and Artificial Intelligence Laboratory
Massachusetts Institute of Technology. Department of Aeronautics and Astronautics
Terms of Use
Attribution-Noncommercial-Share Alike 3.0 Unported
Persistent DSpace Link
DOI of Published Version
http://www.aaai.org/ocs/index.php/ICAPS/ICAPS09/paper/view/739
