Compositional synthesis of supervisors in the form of state machines and state maps
Artikel i vetenskaplig tidskrift, 2017

This paper investigates the compositional abstraction-based synthesis of least restrictive, controllable, and nonblocking supervisors for discrete event systems that are given as a large number of finite-state machines. It compares a previous algorithm that synthesises modular supervisors in the form of state machines, with an alternative that records state maps after each abstraction step and uses these to control the system. The state map-based algorithm supports all abstraction methods used previously, and in addition allows for nondeterminism, hiding, and transition removal. It has been implemented in the software tool Supremica and applied to several large industrial models. The experimental results and the complexity analysis show that state maps can be computed efficiently and in many cases require less memory than state machine-based supervisors.

Compositional synthesis

Discrete event systems

Algorithms and software

Controller constraints and structure

Computational issues

Författare

Sahar Mohajerani

Volvo Cars

Robi Malik

University of Waikato

Martin Fabian

Chalmers, Signaler och system, System- och reglerteknik, Automation

Automatica

0005-1098 (ISSN)

Vol. 76 277-281

Styrkeområden

Informations- och kommunikationsteknik

Produktion

Ämneskategorier

Inbäddad systemteknik

Robotteknik och automation

Datorsystem

DOI

10.1016/j.automatica.2016.10.012

Mer information

Senast uppdaterat

2018-06-15