Reachability Analysis of Transformer-Isolated DC-DC Converters.
Omar BegAli DavoudiTaylor T. JohnsonPublished in: ARCH@CPSWeek (2017)
Keyphrases
- reachability analysis
- dc dc converter
- model checking
- markov decision processes
- timed automata
- control method
- incremental algorithms
- fuzzy logic
- fault diagnosis
- multiple output
- state space
- power supply
- power system
- temporal logic
- dynamic characteristics
- neural network
- learning algorithm
- control strategy
- expert systems
- search algorithm