共 50 条
- [22] Model matching with stability for periodic discrete-time systems NEW TRENDS IN DESIGN OF CONTROL SYSTEMS 1997, 1998, : 75 - 80
- [26] Model Checking Timed Hyperproperties in Discrete-Time Systems NASA FORMAL METHODS (NFM 2020), 2020, 12229 : 311 - 328
- [29] Model reference control for discrete-time antilinear systems 2014 33RD CHINESE CONTROL CONFERENCE (CCC), 2014, : 6153 - 6157