CORC

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

已选(0)清除 条数/页:   排序方式:
New Power-Oriented Methodology for Dynamic Resizing and Mobility of Reconfigurable Wireless Sensor Networks 期刊论文
2018, 卷号: 48, 期号: [db:dc_citation_issue], 页码: 1120
作者:  Grichi, Hanen[1,2];  Mosbahi, Olfa[3];  Khalgui, Mohamed[3,4,5];  Li, Zhiwu[5,6]
收藏  |  浏览/下载:8/0  |  提交时间:2019/12/03
Toward a New Methodology for an Efficient Test of Reconfigurable Hardware Systems 期刊论文
2018, 卷号: 15, 期号: 4, 页码: 1864
作者:  Ben Ahmed, Asma[1,2,3];  Mosbahi, Olfa[3];  Khalgui, Mohamed[1,3];  Li, Zhiwu[4,5]
收藏  |  浏览/下载:5/0  |  提交时间:2019/12/09
One-Step Control-Ahead Approach for the Design of an Optimal Petri-Net Based Deadlock Prevention Policy 期刊论文
2018, 卷号: 6, 页码: 34307
作者:  Karoui, Oussama[1];  Li, Zhiwu[1,2];  Wu, Naiqi[1];  Khalgui, Mohamed[3,4];  Nasr, Emad Abouel[5,6]
收藏  |  浏览/下载:6/0  |  提交时间:2019/12/10
State Space Characterization of Disjunctive Single-Unit Resource Allocation Systems 期刊论文
2018, 卷号: 6, 页码: 51515
作者:  Karoui, Oussama[1];  Khalgui, Mohamed[2];  Chen, Yufeng[1];  Wu, Naiqi[1];  Ateekh-Ur-Rehman[3]
收藏  |  浏览/下载:11/0  |  提交时间:2019/12/13
Improved Multi-Step Look-Ahead Control Policies for Automated Manufacturing Systems 期刊论文
2018, 卷号: 6, 页码: 68824
作者:  Gu, Chao[1];  Li, Zhiwu[1,2];  Wu, Naiqi[2,3];  Khalgui, Mohamed[4];  Qu, Ting[4]
收藏  |  浏览/下载:6/0  |  提交时间:2019/12/13
Designing Efficient Reconfigurable Control Systems Using IEC61499 and Symbolic Model Checking 期刊论文
2018
作者:  Guellouz, Safa[1];  Benzina, Adel[2];  Khalgui, Mohamed[3];  Frey, Georg[4];  Li, Zhiwu[5]
收藏  |  浏览/下载:10/0  |  提交时间:2019/12/10
On Hierarchical Construction of the State Space of an Automated Manufacturing System Modeled With Petri Nets 期刊论文
2018
作者:  Karoui, Oussama[1];  Chen, Yufeng[1];  Li, Zhiwu[2];  Wu, Naiqi[3];  Khalgui, Mohamed[4]
收藏  |  浏览/下载:9/0  |  提交时间:2019/12/10
Coherence and Feasibility of Real-Time Software Tasks in Networked Adaptive Systems 期刊论文
2018, 卷号: 6, 页码: 35824
作者:  Khemaissia, Imen[1,2,3];  Mosbahi, Olfa[1,2];  Khalgui, Mohamed[1,2];  Li, Zhiwu[4,5];  Qu, Ting[1]
收藏  |  浏览/下载:6/0  |  提交时间:2019/12/13
An Extended Object Constraint Language for Adaptive Discrete Event Systems With Application to Reconfigurable Wireless Sensor Networks 期刊论文
2018
作者:  Grichi, Hanen[1];  Mosbahi, Olfa[2];  Khalgui, Mohamed[3];  Li, Zhiwu[4]
收藏  |  浏览/下载:3/0  |  提交时间:2019/12/23
On Methodology for the Verification of Reconfigurable Timed Net Condition/Event Systems 期刊论文
2018
作者:  Hafidi, Yousra[1];  Kahloul, Laid[2];  Khalgui, Mohamed[3];  Li, Zhiwu[4];  Alnowibet, Khalid[5]
收藏  |  浏览/下载:10/0  |  提交时间:2019/12/23


©版权所有 ©2017 CSpace - Powered by CSpace