Sökning: id:"swepub:oai:research.chalmers.se:b0a77936-8363-4e17-839b-44201375152e" >
FIVE ABSTRACTION RU...
-
Mohajerani, Sahar,1982Chalmers tekniska högskola,Chalmers University of Technology
(författare)
FIVE ABSTRACTION RULES TO REMOVE TRANSITIONS WHILE PRESERVING COMPOSITIONAL SYNTHESIS RESULTS
Förlag, utgivningsår, omfång ...
-
2014
-
electronicrdacarrier
Nummerbeteckningar
-
LIBRIS-ID:oai:research.chalmers.se:b0a77936-8363-4e17-839b-44201375152e
-
https://research.chalmers.se/publication/192915URI
Kompletterande språkuppgifter
-
Språk:engelska
-
Sammanfattning på:engelska
Ingår i deldatabas
Klassifikation
-
Ämneskategori:rap swepub-publicationtype
-
Ämneskategori:vet swepub-contenttype
Anmärkningar
-
This working paper investigates under which conditions transitions can be removed from an automaton while preserving important synthesis properties. The work is part of a framework for compositional synthesis of least restrictive controllable and nonblocking supervisors for modular discrete event systems. The method for transition removal complements previous results, which are largely focused on state merging. Issues concerning transitionremoval in synthesis are discussed, and redirection maps are introduced to enable a supervisor to process an event, even though the corresponding transition is no longer present in the model. Based on the results, different techniques are proposed to remove controllable and uncontrollable transitions, and an example shows the potential of the method for practical problems.
Ämnesord och genrebeteckningar
Biuppslag (personer, institutioner, konferenser, titlar ...)
-
Malik, Robi
(författare)
-
Fabian, Martin,1960Chalmers tekniska högskola,Chalmers University of Technology(Swepub:cth)fabian
(författare)
-
Chalmers tekniska högskola
(creator_code:org_t)
Internetlänk