Sign in
Robust stutter bisimulation for abstraction and controller synthesis with disturbance.
Jonas Krook
Robi Malik
Sahar Mohajerani
Martin Fabian
Published in:
Autom. (2024)
Keyphrases
</>
controller synthesis
autonomic computing systems
control system
closed loop