Аннотация. Определен класс 1-мерных гибридных автоматов, в которых в каждом дискретном состоянии для различных множеств начальных значений непрерывного состояния динамика может быть представлена различными дифференциальными уравнениями, и задана конечная продолжительность этой динамики, которая может быть различной для разных множеств начальных значений непрерывного состояния. Предложены алгоритмы решения задач устранения противоречия в объектах, определяющих гибридный автомат, согласования этих объектов один с другим, нахождения минимального числа переключений и оценки минимального времени, за которое дискретные состояния достижимы из множества начальных дискретных состояний .
Ключевые слова: гибридные автоматы, верификация.
Скобелев Владимир Владимирович,
доктор физ.-мат. наук, старший научный сотрудник Института кибернетики им. В.М. Глушкова НАН Украины, Киев,
e-mail: skobelevvg@gmail.com.
Скобелев Владимир Геннадиевич,
доктор физ.-мат. наук, доктор техн. наук, профессор, ведущий научный сотрудник Института кибернетики им. В.М. Глушкова НАН Украины, Киев,
e-mail: skobelevvg@gmail.com.