Formal verification of switched capacitor DC to DC power converter using circuit simulation traces.
Ambuj MishraSubir K. RoyPublished in: VDAT (2016)
Keyphrases
- formal verification
- single phase
- power electronics
- output voltage
- active power filter
- power supply
- dc dc converter
- electronic circuits
- matlab simulink
- control method
- permanent magnet
- model checking
- dynamic characteristics
- simulation model
- neural network controller
- control algorithm
- mathematical model
- control system
- dynamic response
- wind turbine
- model checker
- symbolic model checking
- bounded model checking
- short circuit
- high speed