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

Nondeterminism Avoidance in Compositional Synthesis of Discrete Event Systems

Nondeterminism Avoidance in Compositional Synthesis of Discrete Event Systems

Sahar Mohajerani (Institutionen för signaler och system, Automation) ; Robi Malik ; Martin Fabian (Institutionen för signaler och system, Automation)
2011 7th IEEE International Conference on Automation Science and Engineering, CASE 2011; Trieste; Italy; 24 August 2011 through 27 August 2011 (21618070). p. 19-24 . (2011)
[Konferensbidrag, refereegranskat]

This paper proposes a framework for compositional synthesis of least restrictive controllable and nonblocking supervisors for modular discrete event systems models. The problem of state-space explosion is mitigated by abstracting individual components using synthesis abstraction before computing too large synchronous products. The paper improves and generalises previous work by introducing renaming to avoid nondeterministic intermediate results, making it possible to use more means of abstraction. Four classes of abstraction rules are discussed in the generalised framework, and an example demonstrates the feasibility of the method for practical problems.

Nyckelord: Automata, supervisory Control Theory, Nondeterminism



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

Läs mer om Chalmers styrkeområden  

Denna post skapades 2011-10-21. Senast ändrad 2016-08-17.
CPL Pubid: 147593

 

Läs direkt!

Lokal fulltext (fritt tillgänglig)

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


Institutioner (Chalmers)

Institutionen för signaler och system, Automation

Ämnesområden

Produktion
Information Technology

Chalmers infrastruktur

Relaterade publikationer

Denna publikation ingår i:


On Compositional Supervisor Synthesis for Discrete Event Systems