Time-Robust Control for STL Specifications.

Alëna Rodionova Lars Lindemann Manfred Morari George J. Pappas

Published in: CDC (2021)

Keyphrases

high level
genetic algorithm
control method
neural network
control system
control problems
multiscale
evolutionary algorithm
optimal control
formal specification
robust estimation
robot control