Conformant Synthesis for Koopman Operator Linearized Control Systems.

Niklas Kochdumper Stanley Bak

Published in: CDC (2022)

Keyphrases

control system
kalman filter
program synthesis
control strategy
controller synthesis
closed loop
industrial automation
fault detection and isolation
real time
search engine
database systems
video sequences
multi agent systems
control algorithm
initial state