Common Contracts
2 similar null contracts
Quarts: Quick Agreement for Real-Time Control SystemsMay 30th, 2017
Quarts: Quick Agreement for Real-Time Control SystemsApril 7th, 2017
Quarts focuses on a class of RTCS for which agreement termination is not always necessary, as they can correctly com- pute setpoints even if some previous computation was missed (refer to properties in Section III). This enables agreement via voting that, irrespective of the success, ends after a bounded time. Moreover, performing agreement on the input, rather than over the setpoints or the issuing replicas, affords a phase of collection prior to agreement. This increases the chances of a successful vote, thereby improving availability.
