Abstract: This article proposes a deep Koopman-based identification method for nonlinear dynamical systems with modeling residuals learned recursively by incremental Gaussian process regression (IGPR) ...

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 ...

Codelco said it will test Caterpillar’s Dynamic Energy Transfer (DET) system with its fleet of diesel-electric haul trucks at the Radomiro Tomic Division. This test will help determine if DET can help ...