Разработка методов машинного обучения на основе SAT-решателей для синтеза модульных логических контроллеров киберфизических систем

Аннотация

Киберфизические системы (КФС) распространены в большинстве областей человеческой деятельности, причем зачастую они по своей природе являются модульными и распределенными. Однако в силу сложности разработки и применения распределенного управления, даже модульные КФС зачастую управляются централизованным способом. Переход от централизованного управления к модульному и распределенному является трудоемким и в большинстве случаев выполняется вручную, поэтому актуальной является разработка методов и подходов автоматизации этого процесса. В настоящем Проекте предлагаются методы синтеза модульных контроллеров по примерам поведения, направленные на автоматизацию перехода к модульному и распределенному управлению. Будут разработаны методы на основе сведений к задачам выполнимости булевой формулы (SAT) и удовлетворения ограничениям (CSP), позволяющие синтезировать модульный контроллер по заданным примерам поведения. При этом архитектура модульного контроллера зафиксирована, а синтезируются только конечные автоматы отдельных модулей. Также будут разработаны методы, позволяющие синтезировать модульный контроллер по трассировкам и заданной библиотеке модулей, каждый из которых описывается в терминах конечного автомата. При этом конечные автоматы отдельных модулей зафиксированы, а синтезируется только архитектура модульного контроллера, задающая связи между модулями. Разрабатываемые методы будут точными в том смысле, что будут позволять либо найти решение задачи, либо доказать, что его не существует.

Новости