12.07.2015 Views

Методы построения конечных автоматов на основе ...

Методы построения конечных автоматов на основе ...

Методы построения конечных автоматов на основе ...

SHOW MORE
SHOW LESS

You also want an ePaper? Increase the reach of your titles

YUMPU automatically turns print PDFs into web optimized ePapers that Google loves.

133воздействие «включить стартер» является дискретным, а «повернуть руль<strong>на</strong> 0.5 град вправо» – непрерывным.Непрерывное воздействие изменяет параметр орга<strong>на</strong> управления <strong>на</strong>некоторую вещественную величину, а дискретное – уста<strong>на</strong>вливаетсоответствующий орган управления в конкретное з<strong>на</strong>чение. Заметим, чтопоследовательное выполнение действий с одним органом управленияэквивалентно сумме воздействий <strong>на</strong> него в случае непрерывноговоздействия и последнему воздействию – в случае дискретного.Например, одним из непрерывных управляющих параметровявляется угол поворота руля самолета. Непрерывным воздействием <strong>на</strong> этоторган управления является изменение угла его поворота <strong>на</strong> некотороез<strong>на</strong>чение. Тогда последовательность поворотов руля <strong>на</strong> x и y градусовэквивалент<strong>на</strong> повороту руля <strong>на</strong> x + y градусов.В свою очередь, примером дискретного исполнительного орга<strong>на</strong>является стартер. Дискретное воздействие <strong>на</strong> него – включение иливыключение. Тогда последовательность включений и выключенийстартера эквивалент<strong>на</strong> последнему совершенному <strong>на</strong>д ним действию.4.1.2. Входные переменные и событияВ качестве поставщика событий выступает модель беспилотногосамолета. Будем считать, что генерируемый автомат является синхронным– все такты его работы оди<strong>на</strong>ковы.На каждом такте система управления получает з<strong>на</strong>чения всехвходных параметров. После этого вычисляются логические з<strong>на</strong>чения всехусловий объекта управления в порядке увеличения их номеров. Послевычисления соответствующего з<strong>на</strong>чения условия генерируетсясоответствующее событие. Автомат в течение одного такта можетсовершить несколько переходов, и результирующее воздействие автоматав каждый момент времени t может быть составлено из несколькихпоследовательно выполненных воздействий <strong>на</strong> отдельных переходах.

Hooray! Your file is uploaded and ready to be published.

Saved successfully!

Ooh no, something went wrong!