| The Modeling and Simulation on SRM Drive System Using Variable-Proportional-Desaturation PI Regulator
|
2020 |
ZiHan, Wei |
| Vehicle Scheduling Problem in Terminals: À Review
|
2020 |
Wang, Pei |
| Model-Based Design of Resilient Systems Using Quantitative Risk Assessment
|
2020 |
Mediouni, Braham Lotfi |
| Deep Reinforcement Learning for Solving AGVs Routing Problem
|
2020 |
Lu, Chengxuan |
| Weighted Lightweight Image Retrieval Method Based on Linear Regression
|
2020 |
Zhang, Lina |
| Multi-robot Path Planning Using Petri Nets
|
2020 |
Zhang, Hongbin |
| Deadlock Avoidance of Flexible Manufacturing Systems by Colored Resource-Oriented Petri Nets with Novel Colored Capacity
|
2020 |
Xiang, ZhaoYu |
| ON/OFF Control Trajectory Computation for Steady State Reaching in Batches Petri Nets
|
2020 |
Liu, Ruotian |
| Towards a Generic Framework for Formal Verification and Performance Analysis of Real-Time Scheduling Algorithms
|
2020 |
Habbachi, Salwa |
| Evaluation of Estimation Techniques for Probabilistic Verification.
|
2020 |
Vasileva, An Mariia |
| Multi-path Coverage of All Final States for Model-Based Testing Theory Using Spark In-memory Design
|
2020 |
Adoni, Wilfried Yves Hamilton |
| A C-IFGSM Based Adversarial Approach for Deep Learning Based Intrusion Detection
|
2020 |
Wang, Yingdi |
| Research on Vehicle Detection Based on Visual Convolution Network Optimization
|
2020 |
Nanyan, Liu |
| Coverage Analysis of Net Inscriptions in Coloured Petri Net Models
|
2020 |
Ahishakiye, Faustin |
| Accurate Strategy for Mixed Criticality Scheduling
|
2020 |
Abdeddaim, Yasmina |
| A Self-adaptive Multi-hierarchical Modular Neural Network for Complex Problems
|
2020 |
Zhao-zhao, Zhang |
| An Approach for Supervisor Reduction of Discrete-Event Systems
|
2020 |
Zhang, Huimin |
| Towards Efficient Partial Order Techniques for Time Petri Nets
|
2020 |
Barkaoui,, Kuangze Wang, Hanifa Boucheneb, Kamel |
| Formal Verification of a Certified Policy Language
|
2020 |
Eaman, Amir |
| Multü-scale Risk Assessment Model of Network Security Based on LSTM
|
2020 |
Lv, Yinfei |
Tag hinzufügen