Modeling, specification and controller synthesis for discrete event systems.

Bengt Lennartson, Michael Tittus, Martin Fabian

Browse the full SMC paper archive.