Login / Signup

Symbolic Computation of Reduced Guards in Supervisory Control.

Sajed MiremadiKnut ÅkessonBengt Lennartson
Published in: IEEE Trans Autom. Sci. Eng. (2011)
Keyphrases