Dynamic controllability of temporal networks with instantaneous reaction
From MaRDI portal
Publication:6205017
DOI10.1016/J.INS.2022.08.099OpenAlexW4295014556MaRDI QIDQ6205017FDOQ6205017
Authors: Matteo Zavatteri, Romeo Rizzi, Tiziano Villa 
Publication date: 11 April 2024
Published in: Information Sciences (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.ins.2022.08.099
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
timed game automataC++ controller software synthesisconditional simple temporal network with uncertainty and decisionsinstantaneous reactionplanning and scheduling under uncertainty
Cites Work
- A theory of timed automata
- Title not available (Why is that?)
- Temporal constraint networks
- CTP: A new constraint-based formalism for conditional, temporal planning
- Drake: an efficient executive for temporal plans with choice
- Dynamic controllability via timed game automata
- Handling contingency in temporal constraint networks: from consistency to controllabilities
- Model-checking in dense real-time
- On the synthesis of discrete controllers for timed systems
- Conditional simple temporal networks with uncertainty and decisions
- Sound-and-complete algorithms for checking the dynamic controllability of conditional simple temporal networks with uncertainty
- Conditional Simple Temporal Networks with Uncertainty and Resources
- Incorporating decision nodes into conditional simple temporal networks
- A streamlined model of conditional simple temporal networks -- semantics and equivalence results
- Conditional simple temporal networks with uncertainty and decisions
- Hybrid SAT-based consistency checking algorithms for simple temporal networks with decisions
- Consistency checking of STNs with decisions: managing temporal and access-control constraints in a seamless way
- Complexity bounds for the controllability of temporal networks with conditions, disjunctions, and uncertainty
- Dynamic controllability of simple temporal networks with uncertainty: simple rules and fast real-time execution
- Determining temporal agreements in cross-organizational business processes
- Reducing epsilon-DC checking for conditional simple temporal networks to DC checking
- Resolving over-constrained temporal problems with uncertainty through conflict-directed relaxation
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)
