Logic Control

The course is a substitute for:

Logic Control (X35LOR)

Lecturer:

Tutor:

Supervisor:

Department of Control Engineering

Synopsis:

Subject is introduction to application automata theory, logic system design and logic (binary) control. Subject describe common problematics of logic systems and their relation to automata theory, synthesis of combinational and sequential logic circuits including practical realization means, binary control of technological plants, control algorithms design and professional HW and SW means of binary control.

Requirements:

sets operations, basic electronic systems

Syllabus of lectures:

1. Finite state machines as mathematic models of logic systems

2. Combinational logic systems. Synthesis of comb. logic circuits

3. Sequential logic systems. Synthesis of seq.logic circuits

4. Asynchronous, synchronous, pusle-input circuits

5. Realization means of logic systems, TTL,CMOS, circuits MSI,LSI

6. Programmable logic devices PLD,GAL. Design and realization

7. Controller of logic control system. Microprogram-controlled automata

8. Programmable logic controllers PLC, programming

9. Logic control of technologial plants, aim formulation

10. Control algorithms. Directive and feedback control

11. Petri nets, Grafcet. Formaly description of discrete event systems

12. Time and coloured Petri nets, application for algorithmization

13. Professional means of logic control. I/O subsystems

14. Microprocessors means. Example of implementation logic control

Syllabus of tutorials:

1. Introduction, organization, descriptions of tasks. Logic circuits design.

2. Design of synchronous automata.

3. Practical design of synchronous automaton in LOGO PLC.

4. Practical design of synchronous automaton in TTL components.

5. Design of asynchronous automata.

6. Practical design of asynchronous automaton in LOGO PLC.

7. Practical design of asynchronous automaton in TTL components.

8. Written test: Asynchronous automaton design.

9. Design of controllers in GAL circuits and PLC automata.

10. Practical design of controllers in GAL with TTL components I.

11. Practical design of controllers in GAL with TTL components II.

12. Practical design of controllers in PLC I.

13. Practical design of controllers in PLC II.

14. Credits.

Study Objective:

Study materials:

[1] Taylor L. Booth: Sequential Machines and Automata Theory. John Wiley and Sons, NY 1967.ISBN-10:0195107233.

[2] Zvi Kohavi: Switching and Finite Automata Theory. McGraw-Hill 1990. ISBN-10:0770353107.

[3] David J. Comer: Digital Logic and State Machine Design. Oxford Uni. Press 1996. ISBN-10:047108848X.

Note:

Further information:

No time-table has been prepared for this course

The course is a part of the following study plans:

• Společný plán- strukturované anglické studium (elective specialized course)
• Electronics and Communication Technology - structured studies (elective specialized course)
• Cybernetics and Measurements- structured studies (compulsory course, elective specialized course)
• Heavy-current Engineering- structured studies (elective specialized course)
• Computer Technology- structured studies (elective specialized course)