IEEE - Institute of Electrical and Electronics Engineers, Inc. - Synthesis of discrete-event controllers from sequence-based specifications

2015 54th IEEE Conference on Decision and Control (CDC)

Author(s): Thijs Janssen ; Joanna van de Mortel-Fronczak ; Emile van Gerwen ; Michel Reniers
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Publication Date: 1 December 2015
Conference Location: Osaka, Japan
Conference Date: 15 December 2015
Page(s): 3,534 - 3,541
ISBN (CD): 978-1-4799-7884-7
ISBN (Electronic): 978-1-4799-7886-1
ISBN (USB): 978-1-4799-7885-4
DOI: 10.1109/CDC.2015.7402766
Regular:

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... View More

Advertisement