Unified model for synthesis and optimization of discrete event and hybrid systems
Paper i proceeding, 2014

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.

Hybrid systems

Petri net

Supervisory control

Synthesis

Optimization

Discrete-event systems

Automata

Författare

Bengt Lennartson

Chalmers, Signaler och system, System- och reglerteknik, Automation

Oskar Wigström

Chalmers, Signaler och system, System- och reglerteknik, Automation

Martin Fabian

Chalmers, Signaler och system, System- och reglerteknik, Automation

Francesco Basile

IFAC-PapersOnLine. 12th IFAC/IEEE Workshop on Discrete Event Systems, WODES 2104, Cachan, France, 14-16 May 2014

1474-6670 (ISSN)

Vol. 12 86-92

12th IFAC/IEEE Workshop on Discrete Event Systems, WODES 210414-16 May 2014
Cachan, France,

Styrkeområden

Informations- och kommunikationsteknik

Produktion

Ämneskategorier

Robotteknik och automation

Reglerteknik

Datavetenskap (datalogi)

DOI

10.3182/20140514-3-FR-4046.00140

ISBN

978-3-902823-61-8

Mer information

Senast uppdaterat

2018-01-29