Lecturer: Hangos Katalin professor emerita
The subject assumes knowledge of the following subjects and builds on them:
Artificial intelligence
Discrete and continuous systems
Topics
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.
Literature
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,...