Input-to-State Stability Mapping for Nonlinear Control Systems Using Quantifier Elimination.

Rick Vosswinkel Klaus Röbenack Naim Bajçinca

Published in: ECC (2018)

Keyphrases

quantifier elimination
control system
artificial intelligence
database systems
data model
state space
functional programming
np complete
first order logic
heuristic search
constraint satisfaction
cardinality constraints