Unified model for synthesis and optimization of discrete event and hybrid systems
Paper in 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.

Optimization

Discrete-event systems

Supervisory control

Automata

Petri net

Hybrid systems

Synthesis

Author

Bengt Lennartson

Chalmers, Signals and Systems, Systems and control

Oskar Wigström

Chalmers, Signals and Systems, Systems and control

Martin Fabian

Chalmers, Signals and Systems, Systems and control

Francesco Basile

University of Salerno

IFAC Proceedings Volumes (IFAC-PapersOnline)

14746670 (ISSN)

Vol. 12 86-92
978-3-902823-61-8 (ISBN)

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

Areas of Advance

Information and Communication Technology

Production

Subject Categories

Robotics

Control Engineering

Computer Science

DOI

10.3182/20140514-3-FR-4046.00140

More information

Latest update

8/8/2023 6