Francesco Basile, Gregory Faraut, Luigi Ferrara, Jean-Jacques Lesage. An Optimization-Based Approach to Discover the Unobservable Behavior of a Discrete-Event System Through Interpreted Petri Nets. IEEE T. Automation Science and Engineering, 17(2):784-798, 2020. [doi]
Abstract is missing.