Basis of the Formalization and the Algorithmisation of the Control Functions in ATC Systems.

Mariusz Maciejewski Wieslaw Zablocki

Published in: TST (2010)

Keyphrases

control system
distributed systems
intelligent systems
learning systems
autonomous systems
mechanical systems
machine learning
database
real time
decision making
learning environment
management system
computational intelligence
complex systems
mathematical model
formal model