Dynamic controllability of temporal networks with instantaneous reaction
From MaRDI portal
(Redirected from Publication:6205017)
Recommendations
- Conditional simple temporal networks with uncertainty and decisions
- Conditional simple temporal networks with uncertainty and decisions
- Conditional Simple Temporal Networks with Uncertainty and Resources
- Dynamic controllability of simple temporal networks with uncertainty: simple rules and fast real-time execution
- Dynamic controllability made simple
Cites work
- A streamlined model of conditional simple temporal networks -- semantics and equivalence results
- A theory of timed automata
- Complexity bounds for the controllability of temporal networks with conditions, disjunctions, and uncertainty
- Conditional simple temporal networks with uncertainty and decisions
- Conditional simple temporal networks with uncertainty and decisions
- Conditional Simple Temporal Networks with Uncertainty and Resources
- Consistency checking of STNs with decisions: managing temporal and access-control constraints in a seamless way
- CTP: A new constraint-based formalism for conditional, temporal planning
- Determining temporal agreements in cross-organizational business processes
- Drake: an efficient executive for temporal plans with choice
- Dynamic controllability of simple temporal networks with uncertainty: simple rules and fast real-time execution
- Dynamic controllability via timed game automata
- Handling contingency in temporal constraint networks: from consistency to controllabilities
- scientific article; zbMATH DE number 3664335 (Why is no real title available?)
- Hybrid SAT-based consistency checking algorithms for simple temporal networks with decisions
- Incorporating decision nodes into conditional simple temporal networks
- Model-checking in dense real-time
- On the synthesis of discrete controllers for timed systems
- Reducing epsilon-DC checking for conditional simple temporal networks to DC checking
- Resolving over-constrained temporal problems with uncertainty through conflict-directed relaxation
- Sound-and-complete algorithms for checking the dynamic controllability of conditional simple temporal networks with uncertainty
- Temporal constraint networks
This page was built for publication: Dynamic controllability of temporal networks with instantaneous reaction
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6205017)
