Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Ulrik Mathias Nyman
Analytical Performance Verification of FCS-MPC Applied to Power Electronic Converters: A Model Checking Approach