Interpreted Higher-Dimensional Automata for Concurrent Discrete-Event Control

Video demonstration for the closed-loop control obtained from an IHDA

Download link: here