Många problem inom kontrollteorin kan formuleras som formler i första ordningens teori om verkliga slutna fält. I denna artikel undersöker vi en del av denna teoris uttryckskraft. Vi betraktar dynamiska system som beskrivs av polynomiska differentialekvationer som utsätts för begränsningar av kontroll- och systemvariabler och visar hur man formulerar frågor i ovanstående ramverk som kan besvaras genom kvantifier eliminering. De problem som behandlas i detta papper gäller stationaritet, stabilitet och efter en polynomiskt parametriserad kurva. Programvaran paketet QEPCAD har använts för att lösa ett antal exempel.
Kvantifieringseliminering har tillämpats tidigare för att lösa icke-linjära styrsystem design REF.
Nonlinear Control System Design by Quantifier Elimination
{'venue': 'J. Symb. Comput.', 'journal': 'J. Symb. Comput.', 'mag_field_of_study': ['Mathematics', 'Computer Science']}