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

On the Use of Observation Equivalence

On the Use of Observation Equivalence

Sahar Mohajerani (Institutionen för signaler och system, Automation) ; Robi Malik ; Simon Ware ; Martin Fabian (Institutionen för signaler och system, Automation)
3rd INTERNATIONAL WORKSHOP ON DEPENDABLE CONTROL OF DISCRETE SYSTEMS (2011)
[Konferensbidrag, refereegranskat]

In a previous paper we introduced the notion of synthesis abstraction, which allows efficient compositional synthesis of maximally permissive supervisors for large-scale systems of composed finite-state automata. In the current paper, observation equivalence is studied in relation to synthesis abstraction. It is shown that general observation equivalence is not useful for synthesis abstraction. Instead, we introduce additional conditions strengthening observation equivalence, so that it can be used with the compositional synthesis method. The paper concludes with an example showing the suitability of these relations to achieve substantial state reduction while computing a modular supervisor.

Nyckelord: Supervisory control theory, automata, state space explosion.



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

Läs mer om Chalmers styrkeområden  

Denna post skapades 2011-04-15. Senast ändrad 2016-02-01.
CPL Pubid: 139180

 

Läs direkt!

Lokal fulltext (fritt tillgänglig)


Institutioner (Chalmers)

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

Ämnesområden

Produktion
Elektroteknik och elektronik

Chalmers infrastruktur

Relaterade publikationer

Denna publikation ingår i:


THREE VARIATIONS OF OBSERVATION EQUIVALENCE PRESERVING SYNTHESIS ABSTRACTION


On Compositional Supervisor Synthesis for Discrete Event Systems