Abstract: With the application and development of new technologies such as the Internet of Things and big data in the energy field, smart grids have gradually become the main trend for the future ...
Abstract: In recent publications, statistical model checking (SMC) has been proposed as a method for verifying the performance of finite-set model predictive control (FS-MPC) algorithms applied to ...