Stability Analysis for Fast Settling Switched DPLL.
Pallavi PaliwalDebasattam PalShalabh GuptaPublished in: CoRR (2018)
Keyphrases
- stability analysis
- nonlinear systems
- sat solvers
- propositional logic
- np complete
- gravitational search algorithm
- clause learning
- first order logic
- sliding mode
- least squares
- stability margin
- artificial intelligence
- genetic programming
- neural network
- sat problem
- fuzzy model
- multistage
- orders of magnitude
- optimization algorithm
- genetic algorithm