Timed Discrete Event Control of Parallel Production Lines with Continuous Outputs

Authors:
Stephanie Geist;Dmitry Gromov;Jörg Raisch
Affiliations:
Fachgebiet Regelungssysteme, Technische Universität Berlin, Berlin, Germany;Fachgebiet Regelungssysteme, Technische Universität Berlin, Berlin, Germany;Fachgebiet Regelungssysteme, Technische Universität Berlin, Berlin, Germany and Systems and Control Theory Group, Max-Planck-Institut für Dynamik komplexer technischer Systeme, Magdeburg ...
Venue:
Discrete Event Dynamic Systems
Year:
2008

Citing 8
Cited 1

A theory of timed automata

Theoretical Computer Science
The algorithmic analysis of hybrid systems

Theoretical Computer Science - Special issue on hybrid systems
Interconnected automata and linear systems: a theoretical framework in discrete-time

Proceedings of the DIMACS/SYCON workshop on Hybrid systems III : verification and control: verification and control
Handbook of discrete and computational geometry

Handbook of discrete and computational geometry
Symbolic Controller Synthesis for Discrete and Timed Systems

Hybrid Systems II
Kronos: A Model-Checking Tool for Real-Time Systems

CAV '98 Proceedings of the 10th International Conference on Computer Aided Verification
Scheduling with timed automata

Theoretical Computer Science - Tools and algorithms for the construction and analysis of systems (TACAS 2003)
Some ways to reduce the space dimension in polyhedra computations

Formal Methods in System Design

Component behavior synthesis for critical systems

ISARCS'10 Proceedings of the First international conference on Architecting Critical Systems

Quantified Score

Hi-index	0.00

Visualization

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.