Stéphane Lafortune Feng Lin 0001 Christoforos N. Hadjicostis On the history of diagnosability and opacity in discrete event systems. 257-266 2018 45 Annu. Rev. Control. https://doi.org/10.1016/j.arcontrol.2018.04.002 https://www.wikidata.org/entity/Q129994876 db/journals/arc/arc45.html#LafortuneLH18