CPL - Chalmers Publication Library
| Utbildning | Forskning | Styrkeområden | Om Chalmers | In English In English Ej inloggad.

Compositional synthesis of supervisors in the form of state machines and state maps

Sahar Mohajerani ; Robi Malik ; Martin Fabian (Institutionen för signaler och system, Automation)
Automatica (0005-1098). Vol. 76 (2017), p. 277-281.
[Artikel, refereegranskad vetenskaplig]

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.

Nyckelord: Discrete event systems; Compositional synthesis; Controller constraints and structure; Algorithms and software; Computational issues

Den här publikationen ingår i följande styrkeområden:

Läs mer om Chalmers styrkeområden  

Denna post skapades 2017-01-20. Senast ändrad 2017-09-14.
CPL Pubid: 247495


Läs direkt!

Länk till annan sajt (kan kräva inloggning)

Institutioner (Chalmers)

Institutionen för signaler och system, Automation (2005-2017)


Informations- och kommunikationsteknik
Robotteknik och automation
Inbäddad systemteknik

Chalmers infrastruktur