Power Electronic Converters Simulation Model Verification for Grid Code Compliance Testing.
Hossein HafeziHannu LaaksonenKimmo KauhaniemiPanu LauttamusStefan StrandbergPublished in: ISGT-Europe (2021)
Keyphrases
- simulation model
- symbolic execution
- simulation models
- agent based simulation
- formal verification
- test generation
- power grid
- discrete event
- mathematical model
- simulation environment
- simulation tool
- static analysis
- power electronics
- source code
- model checking
- test cases
- concurrent programs
- code generation
- grid computing
- power consumption
- software testing
- functional verification
- unit testing
- analytical model
- formal methods
- human computer interaction
- theoretical analysis