Определен класс 1-мерных гибридных автоматов, в которых в каждом дискретном состоянии для различных множеств начальных значений непрерывного состояния динамика может быть представлена различными дифференциальными уравнениями, ...

Приведены методы синтеза ∑-автоматов по спецификации в языке LP с детерминированной семантикой и в языке LF с недетерминированной семантикой. В основе этих методов лежит эквивалентное преобразование формулы вида ∀tF(t) в ...