Իրական ժամանակում գործող կարգավորիչների արդյունավետության վերլուծություն և նախագծում. անորոշության նվազեցումից մինչև հաշվողական իրագործելիություն