タイトル | The Mathematics of Dispatchability Revisited |
本文(外部サイト) | http://hdl.handle.net/2060/20160007490 |
著者(英) | Morris, Paul |
著者所属(英) | NASA Ames Research Center |
発行日 | 2016-06-12 |
言語 | eng |
内容記述 | Dispatchability is an important property for the efficient execution of temporal plans where the temporal constraints are represented as a Simple Temporal Network (STN). It has been shown that every STN may be reformulated as a dispatchable STN, and dispatchability ensures that the temporal constraints need only be satisfied locally during execution. Recently it has also been shown that Simple Temporal Networks with Uncertainty, augmented with wait edges, are Dynamically Controllable provided every projection is dispatchable. Thus, the dispatchability property has both theoretical and practical interest. One thing that hampers further work in this area is the underdeveloped theory. The existing definitions are expressed in terms of algorithms, and are less suitable for mathematical proofs. In this paper, we develop a new formal theory of dispatchability in terms of execution sequences. We exploit this to prove a characterization of dispatchability involving the structural properties of the STN graph. This facilitates the potential application of the theory to uncertainty reasoning. |
NASA分類 | Mathematical and Computer Sciences (General); Computer Systems |
レポートNO | ARC-E-DAA-TN30414 |
権利 | No Copyright |
|