On-the-fly informed search of non-blocking directed controllers
File(s)root.pdf (552.14 KB)
Accepted version
Author(s)
Type
Journal Article
Abstract
We study directed control of discrete event system expressed as the parallel composition of interacting automata. Solutions
that first compose the automata and then compute a controller may result in an exponential blow up. We present a technique
that builds the composition on-the-fly guided by a novel domain-independent heuristic, which attempts to discover relevant
dependencies between the intervening components. We obtain safe and non-blocking directed controllers, or directors, exploring
a reduced portion of the state space. We present the first experimental results on directed control comparing on-the-fly
composition with informed search against the original monolithic approach to directed control.
that first compose the automata and then compute a controller may result in an exponential blow up. We present a technique
that builds the composition on-the-fly guided by a novel domain-independent heuristic, which attempts to discover relevant
dependencies between the intervening components. We obtain safe and non-blocking directed controllers, or directors, exploring
a reduced portion of the state space. We present the first experimental results on directed control comparing on-the-fly
composition with informed search against the original monolithic approach to directed control.
Date Issued
2023-01
Date Acceptance
2022-09-27
Citation
Automatica, 2023, 147, pp.1-10
ISSN
0005-1098
Publisher
Elsevier
Start Page
1
End Page
10
Journal / Book Title
Automatica
Volume
147
Identifier
https://www.sciencedirect.com/science/article/pii/S0005109822005970?via%3Dihub
Publication Status
Published
Date Publish Online
2022-11-21