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: To realize the potential of the integrated electrical-heating systems (IEHS) for coping with the uncertain renewable energy, a reserve scheduling model based on the dynamic programming ...
Some results have been hidden because they may be inaccessible to you
Show inaccessible results