A Failure Detector for k-Set Agreement in Dynamic Systems.

Denis Jeanneau Thibault Rieutord Luciana Arantes Pierre Sens

Published in: NCA (2015)

Keyphrases

dynamic systems
complex systems
discrete event
qualitative reasoning
consistency based diagnosis
mathematical model
state variables