Miremadi, Sajed profile picture

Miremadi, Sajed

Symbolic supervisory control of timed discrete event systems