Interpreted Higher-Dimensional Automata for Concurrent Discrete-Event Control
This addresses controller generation for concurrent discrete-event systems, but it is incremental as it applies an existing theoretical framework to a specific domain.
The paper tackled the problem of generating closed-loop controllers from interpreted Petri nets (IPN) by adapting Higher-Dimensional Automata (HDA) to identify hidden ambiguous or contradictory specifications, demonstrating feasibility through connection to a virtual environment in an industrial example.
In recent years the theory of Higher Dimensional Automata (HDA) has seen significant advances from a theoretical point of view, reflecting standard automata theory. There have also been first attempts to use the mathematical framework provided by HDAs to known problems, in particular Petri Net analysis. However real-world applications are still lacking and issues from real-world system, as concurrency, is still opened in the context of controller generation. In this work we show how the framework of HDAs can be adapted to help transforming controllers given as interpreted Petri nets (IPN) into an actual closed loop controller and how the HDA helps in identifying ambiguous or even contradictory specifications that remain hidden in the IPN. We demonstrate the feasibility by connecting the obtain controller to a virtual environment for closed loop control, exemplified by an industrial example.