{"type":"ScholarlyArticle","title":"Faster Dynamic Controllability Checking in Temporal Networks with Integer Bounds","authors":[{"name":"Nikhil Bhargava","slug":"nikhil-bhargava","given":"Nikhil","family":"Bhargava","affiliation":"Massachusetts Institute of Technology"},{"name":"Brian C. Williams","slug":"brian-c-williams","given":"Brian C.","family":"Williams","affiliation":"Massachusetts Institute of Technology"}],"abstract":"Simple Temporal Networks with Uncertainty (STNUs) provide a useful formalism with which to reason about events and the temporal constraints that apply to them. STNUs are in particular notable because they facilitate reasoning over stochastic, or uncontrollable, actions and their corresponding durations. To evaluate the feasibility of a set of constraints associated with an STNU, one checks the network's \\textit{dynamic controllability}, which determines whether an adaptive schedule can be constructed on-the-fly. Our work improves the runtime of checking the dynamic controllability of STNUs with integer bounds to O(min(mn, m sqrt(n) log N) + km + k^2n + kn log n). Our approach pre-processes the STNU using an existing O(n^3) dynamic controllability checking algorithm and provides tighter bounds on its runtime. This makes our work easily adaptable to other algorithms that rely on checking variants of dynamic controllability.","doi":"10.24963/ijcai.2019/765","url":"https://ijcai.org/proceedings/2019/765","pdf":"https://ijcai.org/proceedings/2019/0765.pdf","markdown":"https://ijcai.org/proceedings/2019/765.md","bibtex":"https://ijcai.org/proceedings/2019/bibtex/765","volume":{"slug":"2019","title":"Proceedings of the Twenty-Eighth International Joint Conference on Artificial Intelligence","short_title":"IJCAI 2019","url":"https://ijcai.org/proceedings/2019/","year":2019,"location":"Macao","dates":"10-16 August 2019","editors":"Sarit Kraus","isbn":"978-0-9992411-4-1","publisher":"International Joint Conferences on Artificial Intelligence Organization","doi_prefix":"10.24963/ijcai.2019"},"section":"Planning and Scheduling","track":"Main track","number":765,"pages":{"first":5509,"last":5515},"keywords":["Planning and Scheduling: Scheduling","Planning and Scheduling: Planning under Uncertainty","Planning and Scheduling: Planning and Scheduling"],"videos":[],"references":[{"position":1,"raw":"[Bhargava et al., 2018] Nikhil Bhargava, Christian Muise, Tiago Vaquero, and Brian Williams. Delay controllabil- ity: Multi-agent coordination under communication delay. In DSpace@MIT, 2018.","title":"Delay controllability: Multi-agent coordination under communication delay","authors":"Nikhil Bhargava, Christian Muise, Tiago Vaquero, Brian Williams","year":"2018","venue":"DSpace@MIT","doi":null,"url":null,"internal_url":null},{"position":2,"raw":"[Bit-Monnot et al., 2016] Arthur Bit-Monnot, Malik Ghal- lab, and Félix Ingrand. Which contingent events to ob- serve for the dynamic controllability of a plan. In Interna- tional Joint Conference on Artificial Intelligence (IJCAI- 16), 2016.","title":"Arthur Bit-Monnot, Malik Ghallab, and Félix Ingrand. Which contingent events to observe for the dynamic controllability of a plan","authors":"Bit-Monnot","year":"2016","venue":"International Joint Conference on Artificial Intelligence (IJCAI-16)","doi":null,"url":null,"internal_url":null},{"position":3,"raw":"[Cairo et al., 2018] Massimo Cairo, Luke Hunsberger, and Romeo Rizzi. Faster dynamic controllability checking for simple temporal networks with uncertainty. In The 25th International Symposium on Temporal Representation and Reasoning (TIME), 2018.","title":"Faster dynamic controllability checking for simple temporal networks with uncertainty","authors":"Massimo Cairo, Luke Hunsberger, Romeo Rizzi","year":"2018","venue":"The 25th International Symposium on Temporal Representation and Reasoning (TIME)","doi":null,"url":null,"internal_url":null},{"position":4,"raw":"[Dechter et al., 1991] Rina Dechter, Itay Meiri, and Judea Pearl. Temporal constraint networks. Artificial Intelli- gence, 49(1-3):61-95, 1991.","title":"Temporal constraint networks","authors":"Rina Dechter, Itay Meiri, Judea Pearl","year":"1991","venue":"Artificial Intelligence","doi":null,"url":null,"internal_url":null},{"position":5,"raw":"[Goldberg, 1995] Andrew V Goldberg. Scaling algorithms for the shortest paths problem. SIAM Journal on Comput- ing, 24(3):494-504, 1995.","title":"Scaling algorithms for the shortest paths problem","authors":"V Andrew, Goldberg","year":"1995","venue":"SIAM Journal on Computing","doi":null,"url":null,"internal_url":null},{"position":6,"raw":"[Morris, 2006] Paul Morris. A structural characterization of temporal dynamic controllability. In International Confer- ence on Principles and Practice of Constraint Program- ming, pages 375-389. Springer, 2006.","title":"A structural characterization of temporal dynamic controllability","authors":"Paul Morris","year":"2006","venue":"International Conference on Principles and Practice of Constraint Programming","doi":null,"url":null,"internal_url":null},{"position":7,"raw":"[Morris, 2014] Paul Morris. Dynamic controllability and dis- patchability relationships. In International Conference on AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems, pages 464-479. Springer, 2014.","title":"Dynamic controllability and dispatchability relationships","authors":"Paul Morris","year":"2014","venue":"International Conference on AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems","doi":null,"url":null,"internal_url":null},{"position":8,"raw":"[Vidal and Fargier, 1999] Thierry Vidal and Helene Fargier. Handling contingency in temporal constraint networks: from consistency to controllabilities. Journal of Experi- mental & Theoretical Artificial Intelligence, 11(1):23-45, 1999.","title":"Handling contingency in temporal constraint networks: from consistency to controllabilities","authors":"Thierry Vidal, Helene Fargier","year":"1999","venue":"Journal of Experimental & Theoretical Artificial Intelligence","doi":null,"url":null,"internal_url":null}],"license_note":"Copyright International Joint Conferences on Artificial Intelligence."}