1. Главная
  2. Ресурсы
  3. Библиотечный поиск
On the history ofdiagnosability andopacity in discreteevent systems Stéphane LafortuneFeng LinChristoforos N. Hadjicostis2018 год

On the history of diagnosability and opacity in discrete event systems
статья из журнала

Страница публикацииПубликация в OpenAlex
Год издания: 2018
Авторы: Stéphane Lafortune, Feng Lin, Christoforos N. Hadjicostis
Издательство: Elsevier BV
Источник: Annual Reviews in Control
Ключевые слова: Petri Nets in System Modeling, Formal Methods in Verification, Flexible and Reconfigurable Manufacturing Systems