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

Unified model for synthesis and optimization of discrete event and hybrid systems

Bengt Lennartson (Institutionen för signaler och system, Automation) ; Oskar Wigström (Institutionen för signaler och system, Automation) ; Martin Fabian (Institutionen för signaler och system, Automation) ; Francesco Basile
Advances in the Astronautical Sciences. 12th IFAC/IEEE Workshop on Discrete Event Systems, WODES 2104, Cachan, France, 14-16 May 2014 (0065-3438). Vol. 12 (2014), p. 86-92.
[Konferensbidrag, refereegranskat]

A recently proposed generic discrete event model is further developed and exemplified in this paper. Since every transition is expressed as a predicate on the current and next values of a set of variables, the model is called Predicate Transition Model (PTM). It is briefly illustrated how a number of well known discrete-event models, including automata and Petri nets extended with shared variables, can be formulated and synthesized in the PTM framework. More specifically modular Petri nets with shared variables (PNSVs) are shown to be significantly more readable compared to ordinary Petri nets. PTMs are also naturally extended to hybrid systems, and finally it is shown how easy and efficiently PNSVs can be optimized concerning performance based on Constraint Programming. To summarize, the proposed modeling framework unifies and simplifies both synthesis, optimization and implementation of discrete event systems.

Nyckelord: Automata, Discrete-event systems, Hybrid systems, Optimization, Petri net, Supervisory control, Synthesis

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

Läs mer om Chalmers styrkeområden  

Denna post skapades 2015-03-03. Senast ändrad 2016-02-01.
CPL Pubid: 213358


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 (2005-2017)


Informations- och kommunikationsteknik
Datavetenskap (datalogi)
Robotteknik och automation

Chalmers infrastruktur