On-the-fly informed search of non-blocking directed controllers. (January 2023)

• Record Type: Journal Article
• Authors: Ciolek, Daniel; Duran, Matias; Zanollo, Florencia; Pazos, Nicolas; Braier, Julián; Braberman, Victor; D'Ippolito, Nicolas; Uchitel, Sebastian
• Is Part Of: Automatica. Volume 147(2023)
• Publication Date: 2023-01
• Subjects: Discrete event systems -- Directed control -- Heuristic search -- On-the-fly; Automatic control -- Periodicals; Automation -- Periodicals; 629.805
• DOI: 10.1016/j.automatica.2022.110731
• Languages: English
• ISSNs: 0005-1098

Abstract

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.