Decentralized fault prognosis of discrete event systems with guaranteed performance bound. (July 2016)