E. Asarin, O. Maler, A.Pnueli, J. Sifakis Controller Synthesis for Timed Automata. (Синтез контроллера для темпоризованных автоматов)

В работе рассматривается следующая проблема. В данном темпоризованном (timed) автомате запретить некоторые переходы, чтобы все оставшиеся траектории автомата удовлетворяли заданной спецификации. Основное отличие от аналогичной задачи для дискретного времени состоит в том, что контроллер может не только осуществлять какие-то действия, но и просто ждать. В работе дана точная формулировка задачи в теоретико-игровых терминах и дан алгоритм для построения выигрышной стратегии (синтеза контроллера). [Postscript]