7014

Автор(ы): 

Автор(ов): 

1

Параметры публикации

Тип публикации: 

Доклад

Название: 

Synthesis of Feedback Control Logic for Structured Discrete Event Systems Supervisor in Control Petri Nets

ISBN/ISSN: 

978-184600-0386

Наименование конференции: 

  • UKACC International Conference on CONTROL

Наименование источника: 

  • Proceedings of the UKACC International Conference on CONTROL (Coventry, 2010)

Город: 

  • Coventry

Издательство: 

  • Coventry University

Год издания: 

2010

Страницы: 

79-84
Аннотация
The paper describes method of control Petri net synthesis for real time automation systems. Method uses structured discrete event system model for verification of functionality and consistency. The first step of the method models technological process as Petri net and the second step constructs appropriate supervisor control net via generation of new interaction edges thus providing specification fullfilment. Method is based on syntax transformation of initial description model that guaranties absence of "state explosion" problem.

Библиографическая ссылка: 

Амбарцумян А.А. Synthesis of Feedback Control Logic for Structured Discrete Event Systems Supervisor in Control Petri Nets / Proceedings of the UKACC International Conference on CONTROL (Coventry, 2010). Coventry: Coventry University, 2010. С. 79-84.