Timed discrete event control of parallel production lines with continuous outputs
From MaRDI portal
Publication:939012
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
verificationschedulinghybrid systemsdiscrete event controlmultirate timed automataparallel production lines
Formal languages and automata (68Q45) Deterministic scheduling theory in operations research (90B35) Discrete event control/observation systems (93C65)
Uses Software
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