Table | Card | RUSMARC | |
Allowed Actions: –
Action 'Read' will be available if you login or access site from another network
Action 'Download' will be available if you login or access site from another network
Group: Anonymous Network: Internet |
Annotation
В данной работе рассматривается задача синтеза контроллера для реагирующей системы по требованиям, представленным с помощью подкласса LTL-формул - GR(1)-формул. Синтез основывается на символьном алгоритме, описанном в работе. Символьная запись хранится программно в виде BDD. При заданных поведениях среды и реагирующей системы и выигрышном условии, представленном в виде GR(1)-формул, производится вычисление выигрышного региона и синтез совместного контроллера, удовлетворяющего заданным требованиям. Для уменьшения количества состояний синтезированного контроллера к модели его поведения применяется алгоритм минимизации. После этой минимизации описание модели транслируется в формат DOT для её последующей визуализации.
Document access rights
Network | User group | Action | ||||
---|---|---|---|---|---|---|
ILC SPbPU Local Network | All | |||||
Internet | Authorized users SPbPU | |||||
Internet | Anonymous |
Usage statistics
Access count: 77
Last 30 days: 0 Detailed usage statistics |