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

SYNTHESIS OBSERVATION EQUIVALENCE AND WEAK SYNTHESIS OBSERVATION EQUIVALENCE

SYNTHESIS OBSERVATION EQUIVALENCE AND WEAK SYNTHESIS OBSERVATION EQUIVALENCE

Sahar Mohajerani (Institutionen för signaler och system, Automation) ; Robi Malik ; Martin Fabian (Institutionen för signaler och system, Automation)
Göteborg : Chalmers University of Technology, 2014. - 30 s.
[Rapport]

This working paper proposes an algorithm to simplify automata in such a way that compositional synthesis results are preserved in every possible context. It relaxes some requirements of synthesis observation equivalence from previous work, so that better abstractions can be obtained. The paper describes the algorithm, adapted from known bisimulation equivalence algorithms,for the improved abstraction method. The algorithm has been implemented in the DES software tool Supremica and has been used to compute modular supervisors for several large benchmark examples. It successfully computes modular supervisors for systems with more than 1012 reachable states.

Nyckelord: Supervisory control theory, automata, synthesis, abstraction



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

Läs mer om Chalmers styrkeområden  

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

 

Läs direkt!

Lokal fulltext (fritt tillgänglig)


Institutioner (Chalmers)

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

Ämnesområden

Produktion
Produktionsteknik, arbetsvetenskap och ergonomi

Chalmers infrastruktur

Ingår i serie

R - Department of Signals and Systems, Chalmers University of Technology 1403-266X