Programme
October 7 (Paris timezone)
8:45-9:00 (15:45-15h00 Xi’an)
Welkom and opening session
Session I (Petri-Net, Simulation, and Scheduling) Session Chair: Yu-Fang Chen
9:00-9:30 (16:00-16h30 Xi’an) [ Video , Pres , Paper ]
Huimin Zhang, Lei Feng, Wu Xie and Feng Yu. An Approach for Supervisor Reduction of Discrete-event Systems
9:30-10:00 (16:30-17:00 Xi’an) [ Video , Pres , Paper ]
Hongbin Zhang, Jiliang Luo, Jinjun Long, Yisheng Huang and Weimin Wu. Multi-robot path planning using Petri nets
10:00-10:30 (17:30-17:30 Xi’an) [ Video , Pres , Paper ]
Xiang Zhaoyu. Deadlock Avoidance of Flexible Manufacturing Systems by Colored Resource-Oriented Petri Nets With Novel Colored Capacity
10:30-11:00 (17:30-18:00 Xi’an) [ Video , Pres , Paper ]
Zihan Wei, Mi Zhao and Changxin Fu. The Modeling and Simulation on SRM Drive System Using Variable-proportional-desaturation PI Regulator
11:00-11:30 (18:00-18:30 Xi’an) [ Video , Pres , Paper ]
Pei Wang. Vehicle Scheduling Problem in Terminal: a review
Session II (Petri-Net, Simulation, and Scheduling) Session Chair: Belgacem Ben Hedia
11:30-12:00 (18:30-19:00 Xi’an) [ Video , Pres , Paper ]
Faustin Ahishakiye, Jose Ignacio Requeno Jarabo, Volker Stolz and Lars Michael Kristensen. Coverage Analysis of Net Inscriptions in Coloured Petri Net Models
12:00-12:30 (19:00-19:30 Xi’an) [ Video , Pres , Paper ]
Ruotian Liu, Rabah Ammour, Leonardo Brenner and Isabel Demongodin. ON/OFF control trajectory computation for steady state reaching in batches Petri nets
12:30-13:00 (19:00-20:00 Xi’an) [ Video , Pres , Paper ]
Kuangze Wang, Hanifa Boucheneb, Kamel Barkaoui and Li Zhiwu. Towards efficient partial order techniques for time Petri nets
13:00-13:30 (20:00-20:30 Xi’an) [ Video , Pres , Paper ]
Salwa Habbachi, Zhiwu Li and Mohamed Khalgui. Towards a Generic Framework for Formal Verification and Performance Analysis of Real-time Scheduling Algorithms
13:30-14:00 (20:30-21:00 Xi’an) [ Video , Pres , Paper ]
Yasmina Abdeddaïm. Accurate Strategy for Mixed Criticality Scheduling
October 8 (Paris timezone)
Session III (Artificial Intelligence and Machine Learning) Session Chair: Gaiyun Liu
9:00-9:30 (16:00-16h30 Xi’an) [ Video , Pres , Paper ]
Yingdi Wang, Yixiang Wang, Endong Tong, Wenjia Niu and Jiqiang Liu. A C-IFGSM Based Adversarial Approach for Deep Learning-Based Intrusion Detection
9:30-10:00 (16:30-17h00 Xi’an) [ Video , Pres , Paper ]
Chengxuan Lu, Jinjun Long, Zichao Xing, Weimin Wu, Yong Gu, Jiliang Luo and Yi-Sheng Huang. Deep Reinforcement Learning for Solving AGVs Routing Problem
10:00-10:30 (17:00-17h30 Xi’an) [ Video , Pres , Paper ]
Nanyan Liu and Jingyang You. Research on Vehicle Detection based on Visual Convolution Network Optimization
10:30-11:00 (17:30-18h00 Xi’an) [ Video , Pres , Paper ]
Zhaozhao Zhang, Qiuwan Wang and Yingqin Zhu. A Self-Adaptive Multi-Hierarchical Modular Neural Network for Complex Problems
11:00-11:30 (18:00-18h30 Xi’an) [ Video , Pres , Paper ]
Yinfei Lv, Huorong Ren, Xuefeng Gao, Tong Sun, Haopeng Zhang and Xinyu Guo. Multi-Scale Risk Assessment Model of Network Security Based on LSTM
11:30-12:00 (18:30-19h00 Xi’an) [ Video , Pres , Paper ]
Zhang, Zheng, Dang and Zhang. Weighted lightweight image retrieval method based on linear regression
Session IV (Formal Modeling and Verification, Testing) Session Chair: Kamel Barkaoui
12:00-12:30 (19:00-19h30 Xi’an) [ Video , Pres , Paper ]
Braham Lotfi Mediouni, Ayoub Nouri, Iulia Dragomir and Saddek Bensalem. Model-based Design of Resilient Systems Using Quantitative Risk Assessment
12:30-13:00 (19:30-20h00 Xi’an) [ Video , Pres , Paper ]
Mariia Vasileva and Paolo Zuliani. An Evaluation of Estimation Techniques for Probabilistic Verification
13:00-13:30 (20:00-20h30 Xi’an) [ Video , Pres , Paper ]
Amir Eaman and Amy Felty. Formal Verification of a Certified Policy Language
13:30-14:00 (20:30-21h00 Xi’an) [ Video , Pres Paper ]
Wilfried Yves Hamilton Adoni, Moez Krichen, Tarik Nahhal and Abdeltif Elbyed. Multi-path Coverage of all Final States for Model-Based Testing Theory using Spark In-memory Design