Abstract
We answer a wide range of control problems for nondeterministic discrete-event systems, relying on recent works based on a second order logic approach for deterministic systems. We investigate a pair of transformations: the first transforms a nondeterministic system into a deterministic one with a new unobservable event; the second transforms logical statements. In particular, these transformations are used to reduce control problems for nondeterministic systems to control problems under partial observation for deterministic systems.
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have