上一条： Authors Reply to 'Comments on 'A new approach for the verification of infinite-step and K-step opacity using two-way observers' [Automatica, 2017(80)162-171]'

下一条： Optimal stabilization of discrete event systems with guaranteed worst cost