Controlling and Coordinating Recipes in Batch Applications
Paper i proceeding, 1995

Starting with a model of the plant and a number of product specifications (recipes), a formalism is presented to design a discrete supervisor that controls and coordinates the simultaneous execution of these recipes. The paper introduces general, reusable Petri net blocks used to model recipes and uses an extension of the Wonham-badge framework to synthesize a supervisor.

Författare

Michael Tittus

Institutionen för reglerteknik

Martin Fabian

Institutionen för reglerteknik

Bengt Lennartson

Institutionen för reglerteknik

Proc of the 34th IEEE Conference on Decision and Control, New Orleans, LA, DEC 13-15

2484-2489

Ämneskategorier

Data- och informationsvetenskap

DOI

10.1109/CDC.1995.478464

Mer information

Skapat

2017-10-07