Search

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.

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.

Articles: Oliver Dennett Grover's Thy Will Be Done; Dorothea Dix and the Founding of Illinois' First Mental Hospital; Leonard Swett: Lincoln's Legacy to the Chicago Bar; Joliet's Enterprising Universalists: the Church and the City in Late Nineteenth Century Illinois; In Search of My Great, Great Grandparents: Mapping Seven Generations of Family History; Beyond Chicago's Black Metropolis: A History of the West Side's First Century, 1837-1940; Conflict and Continuity: E. Franklin Frazier, Oliver C. Cox, and the Chicago School of Sociology; "of such is the kingdom of heaven": the Mystery of "Little Eddie"; Abraham Lincoln and the Reverend Dr. James Smith: Lincoln's Presbyterian Experience in Springfield; Joseph H. Barrett and John Locke Scripps, Shapers of Lincoln's Religious Image; Lincoln's Intimate Friend: Leonard Swett; Delegates to the Illinois State Republican Nominating Convention in 1860; Farm Women, Class, and the Limits of Nostalgia; Getting Its Wings: Chicago as the Cradle of Aviation in America; Illinois in 1899 Compared to Illinois in 1999