A Structural Characterization of Temporal Dynamic Controllability

No abstract is available for this paper.

• Publication year

  2006

• Venue

  International Conference on Principles and Practice of Constraint Programming

• Publication date

  2006-09-25

• Fields of study

  Mathematics, Computer Science

• Identifiers
  DOI 10.1007/11889205_28
• External record

  Open on Semantic Scholar

• Source metadata

  Semantic Scholar

• No claims are published for this paper.

• No concepts are published for this paper.

• Temporal Dynamic Controllability Revisited

  2005cited by this paper
• Dynamic Control Of Plans With Temporal Uncertainty

  2001cited by this paper
• Controllability characterization and checking in Contingent Temporal Constraint Networks

  2000cited by this paper
• Handling contingency in temporal constraint networks: from consistency to controllabilities

  1999cited by this paper
• Remote Agent: To Boldly Go Where No AI System Has Gone Before

  1998cited by this paper
• Fast Transformation of Temporal Plans for Efficient Execution

  1998cited by this paper
• Introduction to algorithms

  1996influential reference
• Temporal Constraint Networks

  1989cited by this paper

• Achieving dynamic controllability for simple temporal networks with uncertainty and sensing timepoints

  2026cites this paper
• Recent algorithmic advances in simple temporal networks with uncertainty: From faster controllability checking to faster execution

  2025cites this paper
• A Better Algorithm for Converting an STNU into Minimal Dispatchable Form

  2025cites this paper
• Ride-Sharing in Medical Transportations: Dealing with Temporal Requirements

  2024cites this paper
• Faster Algorithm for Converting an STNU into Minimal Dispatchable Form

  2024cites this paper
• Robust Execution of Probabilistic STNs

  2024influential citation
• A Faster Algorithm for Finding Negative Cycles in Simple Temporal Networks with Uncertainty

  2024cites this paper
• A more efficient and informed algorithm to check Weak Controllability of Simple Temporal Networks with Uncertainty

  2024cites this paper
• Converting Simple Temporal Networks with Uncertainty into Minimal Equivalent Dispatchable Form

  2024cites this paper
• Dynamic Controllability of Temporal Plans in Uncertain and Partially Observable Environments

  2023influential citation
• A faster algorithm for converting simple temporal networks with uncertainty into dispatchable form

  2023cites this paper
• Converting Simple Temporal Networks with Uncertainty into Dispatchable Form - Faster (Extended Abstract)

  2023cites this paper
• CSTNU Tool: A Java library for checking temporal networks

  2022cites this paper
• Determining temporal agreements in cross-organizational business processes

  2021cites this paper
• State-Temporal Decoupling of Multi-Agent Plans under Limited Communication

  2021cites this paper
• Privacy-Preserving Algorithm for Decoupling of Multi-Agent Plans with Uncertainty

  2021cites this paper
• Quantifying controllability in temporal networks with uncertainty

  2020cites this paper
• Negotiating Temporal Commitments in Cross-Organizational Business Processes

  2020cites this paper
• Dynamic Control of Probabilistic Simple Temporal Networks

  2020cites this paper
• Bucket Elimination Algorithm for Dynamic Controllability Checking of Simple Temporal Networks with Uncertainty

  2020influential citation
• A Survey on Probabilistic Planning and Temporal Scheduling with Safety Guarantees

  2020cites this paper
• The Complexity of Stability: In Parallel Processor Scheduling

  2019cites this paper
• Faster Dynamic Controllability Checking in Temporal Networks with Integer Bounds

  2019influential citation
• Propagating Piecewise-Linear Weights in Temporal Networks

  2019influential citation
• Dynamic controllability of simple temporal networks with uncertainty: Simple rules and fast real-time execution

  2019cites this paper
• Quantifying Degrees of Controllability in Temporal Networks with Uncertainty

  2019cites this paper
• Automated Verification of Social Laws for Continuous Time Multi-Robot Systems

  2019cites this paper
• Faster Dynamic Controllability Checking for Simple Temporal Networks with Uncertainty

  2018influential citation
• Sound-and-Complete Algorithms for Checking the Dynamic Controllability of Conditional Simple Temporal Networks with Uncertainty

  2018cites this paper
• Strong temporal planning with uncontrollable durations

  2018cites this paper
• Delay Controllability: Multi-Agent Coordination under Communication Delay

  2018cites this paper
• Managing time-awareness in modularized processes

  2018cites this paper
• Dynamic Controllability Checking for Conditional Simple Temporal Networks with Uncertainty: New Sound-and-Complete Algorithms based on Constraint Propagation

  2018cites this paper
• Managing Communication Costs under Temporal Uncertainty

  2018cites this paper
• Dynamic Controllability Made Simple

  2017cites this paper
• Disjunctive temporal networks with uncertainty via SMT: Recent results and directions

  2017cites this paper
• Dynamic Controllability of Controllable Conditional Temporal Problems with Uncertainty

  2017cites this paper
• Optimising Flexibility of Temporal Problems with Uncertainty

  2017cites this paper
• Resource-constrained Hierarchical Task Network planning under uncontrollable durations for emergency decision-making

  2017cites this paper
• Resolving Over-Constrained Temporal Problems with Uncertainty through Conflict-Directed Relaxation

  2017influential citation
• Adaptive time- and process-aware information systems

  2017cites this paper
• The Mathematics of Dispatchability Revisited

  2016cites this paper
• Planning and Scheduling in Temporally Uncertain Domains

  2016cites this paper
• Efficient processing of simple temporal networks with uncertainty: algorithms for dynamic controllability verification

  2016cites this paper
• Efficient execution of dynamically controllable simple temporal networks with uncertainty

  2016cites this paper
• Dynamic Controllability of Disjunctive Temporal Networks: Validation and Synthesis of Executable Strategies

  2016influential citation
• Solving Dynamic Controllability Problem of Multi-Agent Plans with Uncertainty Using Mixed Integer Linear Programming

  2016cites this paper
• Dynamic controllability via Timed Game Automata

  2016cites this paper
• The Mathematics of Dispatchability Revisited

  2016cites this paper
• Hierarchical task network-based emergency task planning with incomplete information, concurrency and uncertain duration

  2016cites this paper
• Collaborative Diagnosis of Over-Subscribed Temporal Plans

  2016influential citation
• Simple Temporal Networks with Partially Shrinkable Uncertainty

  2015cites this paper
• An SMT-based approach to weak controllability for disjunctive temporal problems with uncertainty

  2015cites this paper
• Controlling Time-Awareness in Modularized Processes (Extended Version)

  2015cites this paper
• Mission-level Planning with Constraints on Risk

  2015cites this paper
• Simple Temporal Networks with Partially Shrinkable Uncertainty (extended version)

  2015cites this paper
• Optimising Bounds in Simple Temporal Networks with Uncertainty under Dynamic Controllability Constraints

  2015influential citation
• Security Constraints in Temporal Role-Based Access-Controlled Workflows

  2015cites this paper
• Models of Robustness for Temporal Planning and Scheduling with Dynamic Controllability

  2015cites this paper
• A Sound-and-Complete Propagation-Based Algorithm for Checking the Dynamic Consistency of Conditional Simple Temporal Networks

  2015cites this paper
• Resolving Over-Constrained Probabilistic Temporal Problems through Chance Constraint Relaxation

  2015cites this paper
• Compiling Away Uncertainty in Strong Temporal Planning with Uncontrollable Durations

  2015cites this paper
• Resolving Uncontrollable Conditional Temporal Problems Using Continuous Relaxations

  2014cites this paper
• Representing Business Processes Through a Temporal Data-Centric Workflow Modeling Language: An Application to the Management of Clinical Pathways

  2014cites this paper
• An Introduction to Constraint-Based Temporal Reasoning

  2014cites this paper
• Revisiting Classical Dynamic Controllability: A Tighter Complexity Analysis

  2014cites this paper
• EfficientIDC: A Faster Incremental Dynamic Controllability Algorithm

  2014cites this paper
• A Faster Algorithm for Checking the Dynamic Controllability of Simple Temporal Networks with Uncertainty

  2014influential citation
• Using Timed Game Automata to Synthesize Execution Strategies for Simple Temporal Networks with Uncertainty

  2014cites this paper
• Dynamic Controllability and Dispatchability Relationships

  2014influential citation
• Incremental Dynamic Controllability in Cubic Worst-Case Time

  2014cites this paper
• New Techniques for Checking Dynamic Controllability of Simple Temporal Networks with Uncertainty

  2014influential citation
• Chance-Constrained Probabilistic Simple Temporal Problems

  2014cites this paper
• Classical Dynamic Controllability Revisited - A Tighter Bound on the Classical Algorithm

  2014cites this paper
• Sound and Complete Algorithms for Checking the Dynamic Controllability of Temporal Networks with Uncertainty, Disjunction and Observation

  2014cites this paper
• Incremental Dynamic Controllability Revisited

  2013cites this paper
• Magic Loops in Simple Temporal Networks with Uncertainty - Exploiting Structure to Speed Up Dynamic Controllability Checking

  2013influential citation
• An Algorithm for Checking the Dynamic Controllability of a Conditional Simple Temporal Network with Uncertainty

  2013cites this paper
• Embedding Temporal Constraints For Coordinated Execution in Habitat Automation

  2013cites this paper
• A Faster Execution Algorithm for Dynamically Controllable STNUs

  2013cites this paper
• Magic Loops and the Dynamic Controllability of Simple Temporal Networks with Uncertainty

  2013influential citation
• PlanEx 2012

  2012cites this paper
• The Dynamic Controllability of Conditional STNs with Uncertainty

  2012cites this paper
• A proposal for a global task planning architecture using the RoboEarth cloud based framework

  2012cites this paper
• Modelling temporal, data-centric medical processes

  2012cites this paper
• On the complexity of temporal controllabilities for workflow schemata

  2012cites this paper
• Drake: An Efficient Executive for Temporal Plans with Choice

  2011influential citation
• Weak and Dynamic Controllability of Temporal Problems with Disjunctions and Uncertainty

  2010cites this paper
• A Fast Incremental Algorithm for Managing the Execution of Dynamically Controllable Temporal Networks

  2010cites this paper
• Towards Temporal Controllabilities for Workflow Schemata

  2010cites this paper
• Controllability in Temporal Conceptual Workflow Schemata

  2009cites this paper
• Simple Algorithm for Simple Timed Games

  2009cites this paper
• Fixing the Semantics for Dynamic Controllability and Providing a More Practical Characterization of Dynamic Execution Strategies

  2009cites this paper
• Planning robust temporal plans a comparison between CBTP and TGA approaches

  2007cites this paper
• On the Partial Observability of Temporal Uncertainty

  2007influential citation
• IXTET : a Temporal Planner and a Temporal Plan Executive ∗

  2007cites this paper
• Certainty closure: Reliable constraint reasoning with incomplete or erroneous data

  2006cites this paper