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: In this article, an adaptive dynamic programming (ADP)-based optimal control strategy for a series of fractional-order nonlinear systems (FONS) with unknown control directions is ...
College of Polymer Science and Engineering, Sichuan University, State Key Laboratory of Advanced Polymer Materials, Chengdu 610065, Sichuan, China ...
Some results have been hidden because they may be inaccessible to you
Show inaccessible results
Feedback