Logic Systems for Control

Prerequisite:

Introduction to Electrical Engineering (12UE)

Lecturer:

Tutor:

Supervisor:

Department of Control Engineering

Synopsis:

Subject is introduction to application automata theory, logic system designe 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 designe and professional HW and SW means of binary control.

Requirements:

Syllabus of lectures:

1. Finite state machines as mathematic models of logic systems

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

3. Sequential logick 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. Designe 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, safety, tasks description

2. Logic circuits designe - specimen

3. Combinational circuits

4. Synchronous circuit

5. Asynchronous circuit I

6. Asynchronous circuit II

7. Asynchronous circuit designe, tasks description, test

8. Automata machine by means of controller, PLC and GAL

9. Controller of automatic washing machine I

10. Controller of automatic washing machine II, by PLC

11. Shifting machine - by PLC

12. Designe and verification of GAL I

13. Designe and verification of GAL II

14. Assessment, compensation test

Study Objective:

Study materials:

[1] Booth, T.L.: Sequential Machines and Automata Theory. John Wiley and Sons, NY 1967

Note:

Further information:

No time-table has been prepared for this course

The course is a part of the following study plans:

• Kybernetika a měření-bakalářský blok (compulsory course)
• Kybernetika a měření-bakalářský blok (compulsory course)