PSPACE-completeness of Modular Supervisory Control Problems*.

Kurt Rohloff Stéphane Lafortune

Published in: Discret. Event Dyn. Syst. (2005)

Keyphrases

control problems
optimal control
reinforcement learning
control system
queueing systems
adaptive control
temporal logic
mazurkiewicz traces
dynamic programming
decision procedures
complexity bounds
machine learning
control strategy
continuous state spaces