Abstract: Barrier certificate generation is an ingenious and powerful approach for safety verification of cyber-physical systems. This article suggests a new learning and verification framework that ...
Abstract: This work proposes a dynamic scheduling problem of a single-armed cluster tool (SACT) by considering the wafer lots simultaneously stored in a stocker to be processed at it. In other words, ...
Some results have been hidden because they may be inaccessible to you
Show inaccessible results