Timed discrete event control of parallel production lines with continuous outputs

DOI10.1007/s10626-007-0023-2zbMath1395.90146OpenAlexW1969922977MaRDI QIDQ939012

Dmitry Gromov, Stephanie Geist, Jörg Raisch

Publication date: 20 August 2008

Published in: Discrete Event Dynamic Systems (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s10626-007-0023-2

zbMATH Keywords

verificationschedulinghybrid systemsdiscrete event controlmultirate timed automataparallel production lines

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Deterministic scheduling theory in operations research (90B35) Discrete event control/observation systems (93C65)

Uses Software

• Kronos

Cites Work

• The algorithmic analysis of hybrid systems
• Some ways to reduce the space dimension in polyhedra computations
• A theory of timed automata
• Reachability analysis of dynamical systems having piecewise-constant derivatives
• Scheduling with timed automata
• Lectures on Concurrency and Petri Nets
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Timed discrete event control of parallel production lines with continuous outputs