Discrete Event Systems

3 credits · College of Engineering catalogue

Advisory Prerequisite: Graduate standing. Enforced Prerequisite: None. (3 credits) Modeling, analysis, and control of discrete event dynamical systems. Modeling formalisms considered include state machines, Petri nets, and recursive processes. Supervisory control theory; notions of controllable and observable languages. Analysis and control of Petri nets. Communicating sequential processes. Applications to database, management, manufacturing, and communication protocols.