Technical Committee on Discrete-Event Systems [Technical Activities] | IEEE Journals & Magazine | IEEE Xplore