Counterexample Guided Abstraction Refinement for Stability Analysis.

Pavithra Prabhakar Miriam Garcia Soto

Published in: CAV (1) (2016)

Keyphrases

stability analysis
nonlinear systems
model checking
gravitational search algorithm
computational intelligence
formal verification
sliding mode
real time
association rules
rough sets
stability margin