Control of Discrete-Event Systems
After having successfully completed the course, the students should be able to: 1. Use basic discrete mathematics in order to be able to analyze discrete event systems. 2. Give an account of different formalisms for modeling discrete event systems, especially finite state machines, extended finite state automata, timed automata, Petri nets, and demonstrate skill to choose between them. 3. Give an account of different methods for modeling and specifying discrete event systems. Present different kinds of specifications, such as progress and safety specifications, defining what a system should and should not do. Use earned knowledge of the formalisms and methods when modeling different types of systems. 4. Explain important theories for analyzing the behavior of discrete event systems such as Supervisory Control Theory. 5. Give an account for the meaning of supervisor synthesis, verification, and simulation. Present different properties of discrete event systems such as reachability, coachability, and controllability. 6. Use computer tools in order to perform synthesis and optimization of control functions based on given system models and specifications of desired behavior for the total closed loop system. 7. Explain basic queuing theory. Describe scheduling with respect to both optimization and priority. 8. Construct and implement control functions based on industrial standards and components for programmable logic controllers PLCs.
1. Basic discrete mathematics, logical expressions and operations, sets and operations on sets, ordered sets, formal languages, functions and relations.
2. Modeling and specification of logic and sequential behaviors. Examples of modeling formalisms include formal languages, finite state machines, Petri nets.
3. Verification of safety and liveness properties, such as reachability, blocking, deadlock and forbidden states, through state-space search methods.
4. Synthesis and optimization of control functions based on given system models and specification of desired behavior of the controlled system.
5. Implementation of discrete event control functions (protocols) based on industrial standards and components, for example programmable controllers (PLCs).