Dynamic controllability of simple temporal networks with uncertainty: simple rules and fast real-time execution
DOI10.1016/J.TCS.2018.11.005zbMATH Open1434.68544OpenAlexW2901665420WikidataQ128958451 ScholiaQ128958451MaRDI QIDQ2334595FDOQ2334595
Authors: Massimo Cairo, Romeo Rizzi
Publication date: 7 November 2019
Published in: Theoretical Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.tcs.2018.11.005
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
dynamic controllabilitysimple rulessimple temporal networks with uncertaintylate execution strategyreal-time execution
Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20) Controllability (93B05) Specification and verification (program logics, model checking, etc.) (68Q60) Distributed systems (68M14)
Cites Work
Cited In (19)
- Consistency checking of STNs with decisions: managing temporal and access-control constraints in a seamless way
- 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
- Hybrid SAT-based consistency checking algorithms for simple temporal networks with decisions
- Flexibility and decoupling in simple temporal networks
- 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
- Extending conditional simple temporal networks with partially shrinkable uncertainty
- Realizability problem for constraint LTL
- Time-dependent simple temporal networks: properties and algorithms
- Faster dynamic controllability checking for simple temporal networks with uncertainty
- Quantifying controllability in temporal networks with uncertainty
- Determining temporal agreements in cross-organizational business processes
- Dynamic controllability of temporal networks with instantaneous reaction
- Dynamic controllability made simple
- Hyper temporal networks. A tractable generalization of simple temporal networks and its relation to mean payoff games
- A faster algorithm for converting simple temporal networks with uncertainty into dispatchable form
- Handling contingency in temporal constraint networks: from consistency to controllabilities
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)