Dynamic controllability of simple temporal networks with uncertainty: simple rules and fast real-time execution
From MaRDI portal
Publication:2334595
Recommendations
- Dynamic controllability made simple
- Faster dynamic controllability checking for simple temporal networks with uncertainty
- Efficient execution of dynamically controllable simple temporal networks with uncertainty
- Sound-and-complete algorithms for checking the dynamic controllability of conditional simple temporal networks with uncertainty
- Handling contingency in temporal constraint networks: from consistency to controllabilities
Cites work
Cited in
(24)- Hyper temporal networks. A tractable generalization of simple temporal networks and its relation to mean payoff games
- Flexibility and decoupling in simple temporal networks
- Quantifying controllability in temporal networks with uncertainty
- Determining temporal agreements in cross-organizational business processes
- Efficient execution of dynamically controllable simple temporal networks with uncertainty
- Dynamic controllability via timed game automata
- Efficient processing of simple temporal networks with uncertainty: algorithms for dynamic controllability verification
- Handling contingency in temporal constraint networks: from consistency to controllabilities
- Time-dependent simple temporal networks: properties and algorithms
- Faster dynamic controllability checking for simple temporal networks with uncertainty
- Extending conditional simple temporal networks with partially shrinkable uncertainty
- Sound-and-complete algorithms for checking the dynamic controllability of conditional simple temporal networks with uncertainty
- Probabilistic temporal networks with ordinary distributions: theory, robustness and expected utility
- A faster algorithm for converting simple temporal networks with uncertainty into dispatchable form
- Realizability problem for constraint LTL
- Adding flexibility to uncertainty: flexible simple temporal networks with uncertainty (FTNU)
- Dynamic controllability of temporal networks with instantaneous reaction
- Dynamic controllability made simple
- Hybrid SAT-based consistency checking algorithms for simple temporal networks with decisions
- Dynamic controllability of temporal plans in uncertain and partially observable environments
- On expected value strong controllability
- Modeling oracles in simple temporal networks with uncertainty
- A novel improved structural controllability method on complex temporal networks based on temporal ACO algorithm
- Consistency checking of STNs with decisions: managing temporal and access-control constraints in a seamless way
This page was built for publication: Dynamic controllability of simple temporal networks with uncertainty: simple rules and fast real-time execution
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2334595)
