上一条: On the Verification of Detectability for Timed Systems
下一条: To Transmit or Not to Transmit: Optimal Sensor Scheduling for Remote State Estimation of Discrete-Event Systems