CASIA OpenIR

浏览/检索结果: 共4条,第1-4条 帮助

已选(0)清除 条数/页:   排序方式:
Non-Deterministic Liveness-Enforcing Supervisor Tolerant to Sensor-Reading Modification Attacks 期刊论文
IEEE/CAA Journal of Automatica Sinica, 2024, 卷号: 11, 期号: 1, 页码: 240-248
作者:  Dan You;  Shouguang Wang
Adobe PDF(855Kb)  |  收藏  |  浏览/下载:79/32  |  提交时间:2024/01/02
Cyber-attacks  cyber-physical system (CPS)  liveness  non-deterministic supervisors  Petri net (PN)  
Computation of Minimal Siphons in Petri Nets Using Problem Partitioning Approaches 期刊论文
IEEE/CAA Journal of Automatica Sinica, 2022, 卷号: 9, 期号: 2, 页码: 329-338
作者:  Dan You;  Oussama Karoui;  Shouguang Wang
Adobe PDF(1372Kb)  |  收藏  |  浏览/下载:243/58  |  提交时间:2021/11/03
Petri nets (PNs)  problem decomposition  resource-allocation systems  siphons  
Computation of an Emptiable Minimal Siphon in a Subclass of Petri Nets Using Mixed-Integer Programming 期刊论文
IEEE/CAA Journal of Automatica Sinica, 2021, 卷号: 8, 期号: 1, 页码: 219-226
作者:  Shouguang Wang;  Wenli Duo;  Xin Guo;  Xiaoning Jiang;  Dan You;  Kamel Barkaoui;  MengChu Zhou
Adobe PDF(1617Kb)  |  收藏  |  浏览/下载:180/51  |  提交时间:2021/04/09
Automated manufacturing systems  deadlocks  discrete event system  mixed-integer programming (MIP)  Petri nets (PN)  siphons  
Fine-Grained Topography and Modularity of the Macaque Frontal Pole Cortex Revealed by Anatomical Connectivity Profiles 期刊论文
NEUROSCIENCE BULLETIN, 2020, 页码: 20
作者:  He, Bin;  Cao, Long;  Xia, Xiaoluan;  Zhang, Baogui;  Zhang, Dan;  You, Bo;  Fan, Lingzhong;  Jiang, Tianzi
收藏  |  浏览/下载:221/0  |  提交时间:2021/01/06
Macaque  Frontal pole cortex  Anatomical connectivity profile  Parcellation  Neuroimaging  Principal component analysis