Synthesis of discrete-event controllers from sequence-based specifications

Autor: Joanna M. van de Mortel-Fronczak, Thijs Janssen, Michel A. Reniers, Emile van Gerwen

Publikováno v: 54th IEEE Conference on Decision and Control (CDC 2015), Osaka, Japan, December 15-18, 2015, 3534-3541
STARTPAGE=3534;ENDPAGE=3541;TITLE=54th IEEE Conference on Decision and Control (CDC 2015), Osaka, Japan, December 15-18, 2015
CDC

As recognized by various engineering disciplines, formal models have the potential to support and speed up development of cyber-physical systems. They enable extensive functional and performance analysis of designs, including formal verification, and

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::bd96d76ece77f6e1d9db9822a4040310
https://research.tue.nl/nl/publications/1f193758-2e13-4457-b777-50531bc7e8e8