A Survey of Some Methods for Real Quantifier Elimination, Decision, and Satisfiability and Their Applications
Sign Up to like & getrecommendations! Published in 2017 at "Mathematics in Computer Science"
DOI: 10.1007/s11786-017-0319-z
Abstract: Effective quantifier elimination procedures for first-order theories provide a powerful tool for generically solving a wide range of problems based on logical specifications. In contrast to general first-order provers, quantifier elimination procedures are based on… read more here.
Keywords: decision; quantifier elimination; survey methods; methods real ... See more keywords
A General Framework for Secrecy Performance Analysis via Quantifier Elimination
Sign Up to like & getrecommendations! Published in 2022 at "IEEE Communications Letters"
DOI: 10.1109/lcomm.2022.3166970
Abstract: The problems of finding accurate limits of integration in symbolic form are non-trivial when analyzing the secrecy outage probability (SOP) over complicated communication schemes. To identify these limits, we formulate an existential quantifier elimination (QE)… read more here.
Keywords: general framework; quantifier elimination; analysis; elimination ... See more keywords
Application of LaSalle’s Invariance Principle on Polynomial Differential Equations Using Quantifier Elimination
Sign Up to like & getrecommendations! Published in 2022 at "IEEE Transactions on Automatic Control"
DOI: 10.1109/tac.2021.3103887
Abstract: LaSalle’s invariance principle is a commonly used extension of Lyapunov’s second method to study asymptotic stability of nonlinear systems. If the system can be written in polynomial form, the examination can be automated using algebraic… read more here.
Keywords: lasalle invariance; invariance principle; quantifier elimination;