id:"swepub:oai:research.chalmers.se:323013e1-e255-493b-afe7-732a16a1eb48"
Sökning: id:"swepub:oai:research.chalmers.se:323013e1-e255-493b-afe7-732a16a1eb48" >
- 1 av
- Föregående post
- Till träfflistan
Nondeterminism Avoidance in Compositional Synthesis of Discrete Event Systems
-
- Mohajerani, Sahar, 1982 (författare)
- Chalmers tekniska högskola,Chalmers University of Technology
-
- Malik, Robi (författare)
- University of Waikato
-
- Fabian, Martin, 1960 (författare)
- Chalmers tekniska högskola,Chalmers University of Technology
- (creator_code:org_t)
- ISBN 9781457717307
- 2011
- Engelska.
- Ingår i: 2011 7th IEEE International Conference on Automation Science and Engineering, CASE 2011; Trieste; Italy; 24 August 2011 through 27 August 2011. - 2161-8089. - 9781457717307 ; , s. 19-24
- Konferensbidrag (refereegranskat)
Abstract
Ämnesord
Stäng
- This paper proposes a framework for compositionalsynthesis of least restrictive controllable and nonblocking supervisorsfor modular discrete event systems models. The problemof state-space explosion is mitigated by abstracting individualcomponents using synthesis abstraction before computing toolarge synchronous products. The paper improves and generalisesprevious work by introducing renaming to avoid nondeterministicintermediate results, making it possible to use more means ofabstraction. Four classes of abstraction rules are discussed inthe generalised framework, and an example demonstrates thefeasibility of the method for practical problems.
Ämnesord
- NATURVETENSKAP -- Data- och informationsvetenskap (hsv//swe)
- NATURAL SCIENCES -- Computer and Information Sciences (hsv//eng)
Nyckelord
- Automata
- supervisory Control Theory
- Nondeterminism
Publikations- och innehållstyp
- kon (ämneskategori)
- ref (ämneskategori)
Till lärosätets databas
- 1 av
- Föregående post
- Till träfflistan
Kungliga biblioteket hanterar dina personuppgifter i enlighet med EU:s dataskyddsförordning (2018), GDPR. Läs mer om hur det funkar här.
Så här hanterar KB dina uppgifter vid användning av denna tjänst.
- Copyright © LIBRIS - Nationella bibliotekssystem
- LIBRIS.kb.se
