Іванов Є. В. Дослідження абстрактних систем із входами та виходами як частково визначеними функціями часу.

На основі композиційно-номінативного підходу побудований та досліджений клас абстрактних моделей систем, які допускають входи і виходи, що є частковими функціями часу. Такі моделі названо блоками. Вони можуть розглядатися як абстрактні моделі кібер-фізичних систем, систем обробки даних у реальному часі та інших подібних систем. Для блоків введене сильне і слабке поняття причинності (неантисипативності), досліджено зв'язок даних понять, доведено існування подання за допомогою введеного класу абстрактних динамічних систем, який названо класом недетермінованих повних марківських систем, отримано критерій існування пар відповідних входів і виходів, що є всюди визначеними функціями часу, отримано критерій існування всюди визначених виходів для заданого всюди визначеного входу.