Saved in:
| Main Authors: | , , , |
|---|---|
| Format: | Preprint |
| Published: |
2026
|
| Subjects: | |
| Online Access: | https://arxiv.org/abs/2603.21742 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| _version_ | 1866912978553536512 |
|---|---|
| author | Bellier, Dylan Faraut, Gregory Monier, Yan Schlehuber-Caissier, Philipp |
| author_facet | Bellier, Dylan Faraut, Gregory Monier, Yan Schlehuber-Caissier, Philipp |
| contents | 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. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2603_21742 |
| institution | arXiv |
| publishDate | 2026 |
| record_format | arxiv |
| spellingShingle | Interpreted Higher-Dimensional Automata for Concurrent Discrete-Event Control Bellier, Dylan Faraut, Gregory Monier, Yan Schlehuber-Caissier, Philipp Formal Languages and Automata Theory 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. |
| title | Interpreted Higher-Dimensional Automata for Concurrent Discrete-Event Control |
| topic | Formal Languages and Automata Theory |
| url | https://arxiv.org/abs/2603.21742 |