Dynamic controllability of temporal networks with instantaneous reaction

DOI10.1016/J.INS.2022.08.099MaRDI QIDQ6205017zbMATH OpenOpenAlexFDO

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

zbMATH Keywords

timed game automataC++ controller software synthesisconditional simple temporal network with uncertainty and decisionsinstantaneous reactionplanning and scheduling under uncertainty

Mathematics Subject Classification ID

Systems theory; control (93-XX) Computer science (68-XX)

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

• scientific article; zbMATH DE number 3664335 (Why is no real title available?)
• A streamlined model of conditional simple temporal networks -- semantics and equivalence results
• A theory of timed automata
• CTP: A new constraint-based formalism for conditional, temporal planning
• Complexity bounds for the controllability of temporal networks with conditions, disjunctions, and uncertainty
• Conditional Simple Temporal Networks with Uncertainty and Resources
• Conditional simple temporal networks with uncertainty and decisions
• Conditional simple temporal networks with uncertainty and decisions
• Consistency checking of STNs with decisions: managing temporal and access-control constraints in a seamless way
• 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
• 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)