Select your language

   +(36) 88 624 023 | |    H-8200, Veszprem, Egyetem str. 10, Building I.

Select your language

Lecturer: Hangos Katalin professor emerita


The subject assumes knowledge of the following subjects and builds on them:

Artificial intelligence

Discrete and continuous systems



Students acquire knowledge related to the following topics, taking into account their individual training plan and interests:


T1. Architecture and properties of intelligent control systems 

properties and cooperation of intelligent and real-time subsystems, real-time expert systems, relationship between dynamic and intelligent system models


T2. Time-dependent rules and rule systems used in intelligent control systems

rule-based expert systems, signal-based predicates, datalog rules, completeness and contradiction-freeness of rule systems


T3. Qualitative modeling methods and their applications

interval arithmetics, interval-valued equations, SDG models, confluences, qualitative difference equations, learning from qualitative models, control and diagnostic applications of qualitative models


T4. Petri nets and their applications

ordinary, timed and colored Petri nets, Petri nets as discrete event systems, the relationship between colored Petri nets and qualitative models, behavioral and structural properties of Petri nets, control and diagnostic applications of Petri nets


T5. Fuzzy control systems

fuzzy sets, operations with fuzzy sets, fuzzy rules and rule systems, inference with fuzzy rules, completeness and contradiction-freeness of fuzzy rule systems, control and diagnostic applications of fuzzy rules 


The evaluation is based on the development of an individual project task related to the above topics.



Cassandras, C.G., Lafortune, S. (2008) Introduction to discrete event systems (2nd edition), Springer

Hangos, K.M., Lakner, R., M. Gerzson (2001). Intelligent Control Systems: an Introduction with Examples, Kluwer, 2001

Jensen, K. (1992). Colored Petri Nets I: Basic Concepts II. Springer-Verlag, Berlin Heidelberg
Kuipers, B.J. (1989). Qualitative Reasoning: Modeling and Simulation with Incomplete Knowledge. Automatica, 25, 571-585

Lakner, R., Hangos, K.M., Gerzson, M. (2011) Intelligens irányító rendszerek. Typotex Kiadó, Budapest. 
Moore, R.E. (1966) Interval analysis. Series in Automatic Computation. Prentice Hall, Englewood Cliffs, N.J.

Reznik, L. (1997). Fuzzy controllers,  Butterworth-Heinemann Linacre House, Oxford,...