Standard

Timed discrete event control of parallel production lines with continuous outputs. / Geist, Stephanie; Gromov, Dmitry; Raisch, Joerg.

In: Discrete Event Dynamic Systems: Theory and Applications, Vol. 18, No. 2, 06.2008, p. 241-262.

Research output: Contribution to journal › Article › peer-review

Harvard

Geist, S, Gromov, D & Raisch, J 2008, 'Timed discrete event control of parallel production lines with continuous outputs', Discrete Event Dynamic Systems: Theory and Applications, vol. 18, no. 2, pp. 241-262. https://doi.org/10.1007/s10626-007-0023-2

APA

Geist, S., Gromov, D., & Raisch, J. (2008). Timed discrete event control of parallel production lines with continuous outputs. Discrete Event Dynamic Systems: Theory and Applications, 18(2), 241-262. https://doi.org/10.1007/s10626-007-0023-2

Vancouver

Geist S, Gromov D, Raisch J. Timed discrete event control of parallel production lines with continuous outputs. Discrete Event Dynamic Systems: Theory and Applications. 2008 Jun;18(2):241-262. https://doi.org/10.1007/s10626-007-0023-2

Author

Geist, Stephanie ; Gromov, Dmitry ; Raisch, Joerg. / Timed discrete event control of parallel production lines with continuous outputs. In: Discrete Event Dynamic Systems: Theory and Applications. 2008 ; Vol. 18, No. 2. pp. 241-262.

BibTeX

@article{0abb1eb0acbc4477bd12a75fce8359c7,
title = "Timed discrete event control of parallel production lines with continuous outputs",
abstract = "In this contribution we present an approach to formulate and solve certain scheduling tasks for hybrid systems using timed discrete event control methods. To demonstrate our approach, we consider a cyclically operated plant with parallel reactors using common resources and a continuous output. For this class of systems, we show how to pose the control problem within a discrete event framework by modelling system components as multirate timed automata. We propose a supervisory control strategy incorporating off-line optimisation to assure safety and nonconflicting use of resources. These properties have to be achieved in the presence of a class of bounded errors/disturbances and can be verified by applying formal methods.",
keywords = "multirate timed automata, scheduling, parallel production lines, hybrid systems, verification, discrete event control, HYBRID SYSTEMS, AUTOMATA",
author = "Stephanie Geist and Dmitry Gromov and Joerg Raisch",
year = "2008",
month = jun,
doi = "10.1007/s10626-007-0023-2",
language = "Английский",
volume = "18",
pages = "241--262",
journal = "Discrete Event Dynamic Systems: Theory and Applications",
issn = "0924-6703",
publisher = "Springer Nature",
number = "2",

}

RIS

TY - JOUR

T1 - Timed discrete event control of parallel production lines with continuous outputs

AU - Geist, Stephanie

AU - Gromov, Dmitry

AU - Raisch, Joerg

PY - 2008/6

Y1 - 2008/6

N2 - In this contribution we present an approach to formulate and solve certain scheduling tasks for hybrid systems using timed discrete event control methods. To demonstrate our approach, we consider a cyclically operated plant with parallel reactors using common resources and a continuous output. For this class of systems, we show how to pose the control problem within a discrete event framework by modelling system components as multirate timed automata. We propose a supervisory control strategy incorporating off-line optimisation to assure safety and nonconflicting use of resources. These properties have to be achieved in the presence of a class of bounded errors/disturbances and can be verified by applying formal methods.

AB - In this contribution we present an approach to formulate and solve certain scheduling tasks for hybrid systems using timed discrete event control methods. To demonstrate our approach, we consider a cyclically operated plant with parallel reactors using common resources and a continuous output. For this class of systems, we show how to pose the control problem within a discrete event framework by modelling system components as multirate timed automata. We propose a supervisory control strategy incorporating off-line optimisation to assure safety and nonconflicting use of resources. These properties have to be achieved in the presence of a class of bounded errors/disturbances and can be verified by applying formal methods.

KW - multirate timed automata

KW - scheduling

KW - parallel production lines

KW - hybrid systems

KW - verification

KW - discrete event control

KW - HYBRID SYSTEMS

KW - AUTOMATA

U2 - 10.1007/s10626-007-0023-2

DO - 10.1007/s10626-007-0023-2

M3 - статья

VL - 18

SP - 241

EP - 262

JO - Discrete Event Dynamic Systems: Theory and Applications

JF - Discrete Event Dynamic Systems: Theory and Applications

SN - 0924-6703

IS - 2

ER -

ID: 5552036