Optimization of Discrete Event Systems Using Extended Finite Automata and Mixed-Integer Nonlinear Programming
Paper in proceedings, 2011

This paper presents a concept for converting a discrete event model, modeled with Extended Finite Automata (EFA), to mixed-integer linear constraints. The conversion handles the structure of modular EFAs, synchronization of EFAs using shared events and EFA execution order due to logical transition conditions. The paper also presents methods to reduce the number of variables and constraints by automatically analyzing the EFA model and the resulting problem formulation. An example of this is the special case of transition conditions used to model mutual exclusion of shared resources, where the conversion results in a significantly reduced problem formulation. The objective function is then built by summarizing weighted state cost functions and the result is a Mixed-Integer Nonlinear Programming problem. The main contribution of this paper is hence the combination of the simplicity in modeling a system with EFAs and an efficient formulation of the optimization problem that can be solved by standard optimization software.

Automata

MINLP

Optimization

EFA

Discrete event systems

MILP

Scheduling

Author

Carl Thorstensson

Chalmers, Signals and Systems, Systems and control, Automation

Sathyamyla Kanthabhabhajeya

Chalmers, Signals and Systems, Systems and control, Automation

Bengt Lennartson

Chalmers, Signals and Systems, Systems and control, Automation

Petter Falkman

Chalmers, Signals and Systems, Systems and control, Automation

IFAC Proceedings Volumes (IFAC-PapersOnline)

14746670 (ISSN)

Vol. 18 PART 1 6969-6975

Subject Categories

Production Engineering, Human Work Science and Ergonomics

Signal Processing

Areas of Advance

Production

DOI

10.3182/20110828-6-IT-1002.03630

ISBN

978-390266193-7

More information

Created

10/6/2017