Verification and Evaluation of Computer and Communication Systems: 14th International Conference, VECoS 2020, Xi'an, China, October 26-27, 2020, Proceedings - Softcover

Softcover

ISBN 10: 3030659569 ISBN 13: 9783030659561

Verlag: Springer, 2020

Inhaltsangabe

Petri-Net, Simulation, and Scheduling.- An Approach for Supervisor Reduction of Discrete-event Systems.- Multi-robot path planning using Petri nets.- Deadlock Avoidance of Flexible Manufacturing Systems by Colored Resource-Oriented Petri Nets With Novel Colored Capacity.- The Modeling and Simulation on SRM Drive System Using Variable-proportional-desaturation PI Regulator.- Vehicle Scheduling Problem in Terminals: a Review.- Coverage Analysis of Net Inscriptions in Coloured Petri Net Models.- ON/OFF control trajectory computation for steady state reaching in batches Petri nets.- Towards efficient partial order techniques for time Petri nets.- Towards a Generic Framework for Formal Verification and Performance Analysis of Real-time Scheduling Algorithms.- Accurate Strategy for Mixed Criticality Scheduling.- Formal Modeling and Verification, Testing.- Model-based Design of Resilient Systems Using Quantitative Risk Assessment.- An Evaluation of Estimation Techniques for Probabilistic Verification.- Formal Verification of a Certified Policy Language.- Multi-path Coverage of all Final States for Model-Based Testing Theory using Spark In-memory Design.- Artificial Intelligence and Machine Learning.- A C-IFGSM Based Adversarial Approach for Deep Learning Based Intrusion Detection.- Deep Reinforcement Learning for Solving AGVs Routing Problem.- Research on Vehicle Detection based on Visual Convolution Network Optimization.- A Self-Adaptive Multi-Hierarchical Modular Neural Network for Complex Problems.- Multi-Scale Risk Assessment Model of Network Security Based on LSTM.- Weighted lightweight image retrieval method based on linear regression.

Details zur Ausgabe

• Verlag: Springer
• Erscheinungsdatum: 2020
• Sprache: Englisch
• ISBN 10: 3030659569
• ISBN 13: 9783030659561
• Einband: Tapa blanda
• Anzahl der Seiten: 296
• Herausgeber: Ben Hedia Belgacem, Chen Yu-Fang, Liu Gaiyun
• Kontakt zum Hersteller: Nicht verfügbar
• Verantwortliche Person: CMN Printpool Inh. Mathis Neumann; https://www.also.com/ec/cms5/en_6000/6000/index.jsp; ; Friedrich-Karl-Str. 9; Hamburg; Deutschland