621.398 С 594 Соколов, В. Ф. Робастное управление в l -постановке: верификация модели и оценивание весов возмущений [Текст] / В. Ф. Соколов> // Автоматика и телемеханика. - 2003. - N11. - Библиогр.:c.151(13назв.) . - ISSN 0005-2310
Рубрики: Радиоэлектроника--Автоматика и телемеханика Кл.слова (ненормированные): робастные системы -- анализ робастных систем -- синтез робастных систем -- верификация моделей Аннотация: В задачах анализа робастных систем и синтеза робастных регуляторов обычно предполагаются известными параметры номинального объекта и классы допустимых возмущений. Показано, что для любой модели в форме линейной стационарной дискретной системы со структурированной неопределенностью решение задачи верификации модели сводится к проверке справедливости системы неравенств, порожденных данными измерений. Перейти: www:http://www.apr.ru |
Соколов, В. Ф. Оценка качества робастной системы управления при неизвестных верхних границах возмущений и помехи измерений [Текст] / В. Ф. Соколов> // Автоматика и телемеханика. - 2010. - N 9. - С. 3-18 : ил. - Библиогр.: с. 18 (16 назв. ) . - ISSN 0005-2310
Рубрики: Радиоэлектроника Автоматика и телемеханика Кл.слова (ненормированные): системы управления -- дискретные объекты -- робастное управление -- верификация моделей -- дробно квадратичные модели -- робастные системы управления -- оценка робастного качества -- верхние границы возмущений -- теория робастного управления Аннотация: Статья посвящена оценке робастного качества замкнутой системы управления при неизвестных верхних границах возмущений. |
621.398 Н 531 Непейвода, А. Н. Верификация модели технической системы средствами линейной темпоральной логики [Текст] / А. Н. Непейвода> // Автоматика и телемеханика. - 2012. - № 9. - С. 124-140 : ил. - Библиогр.: с. 140 (8 назв.) . - ISSN 0005-2310
Рубрики: Радиоэлектроника Автоматика и телемеханика Математика Исследование операций Кл.слова (ненормированные): верификация моделей -- линейная темпоральная логика -- электромеханические устройства -- модальная логика -- технические средства -- технические системы -- Linear Temporal Logic -- LTL -- модели технических систем -- темпоральная логика Аннотация: Решается задача верификации электромеханического устройства с переменным числом контактов с помощью модальной логики LTL (Linear Temporal Logic). В ходе анализа доказываются теоремы о непрерывности и однозначности работы устройства, а также уясняются ограничения, необходимые для того, чтобы алгоритм работы устройства мог считаться полностью корректным. |