Dynamic controllability of temporal networks with instantaneous reaction
From MaRDI portal
Publication:6205017
DOI10.1016/j.ins.2022.08.099OpenAlexW4295014556MaRDI QIDQ6205017
Tiziano Villa, Romeo Rizzi, Matteo Zavatteri
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
timed game automataC++ controller software synthesisconditional simple temporal network with uncertainty and decisionsinstantaneous reactionplanning and scheduling under uncertainty
Cites Work
- Dynamic controllability via timed game automata
- Model-checking in dense real-time
- Consistency checking of STNs with decisions: managing temporal and access-control constraints in a seamless way
- Temporal constraint networks
- A theory of timed automata
- CTP: A new constraint-based formalism for conditional, temporal planning
- Determining temporal agreements in cross-organizational business processes
- 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
- Conditional simple temporal networks with uncertainty and decisions
- Handling contingency in temporal constraint networks: from consistency to controllabilities
- Resolving Over-Constrained Temporal Problems with Uncertainty through Conflict-Directed Relaxation
- On the synthesis of discrete controllers for timed systems
- Sound-and-Complete Algorithms for Checking the Dynamic Controllability of Conditional Simple Temporal Networks with Uncertainty.
- Reducing epsilon-DC Checking for Conditional Simple Temporal Networks to DC Checking
- Conditional Simple Temporal Networks with Uncertainty and Resources
- Unnamed Item
- Unnamed Item
This page was built for publication: Dynamic controllability of temporal networks with instantaneous reaction