Timed automata based scheduling for a miniature pipeless plant with mobile robots. - Christian Schoppmeyer; Martin Hufner; Subanatarajan Subbiah; Sebastian Engell (CCA, 2012)

Optimal Management of Shuttle Robots in a High-Rise Warehouse Using Timed Automata Models. - Subanatarajan Subbiah; Christian Schoppmeyer; Josè Manuel De La Fuente Valdès; Christian Sonntag; Sebastian Engell (MIM, 2013)

An environment for the efficient testing and implementation of robust NMPC. - Sergio Lucia; Alexandru Tatulea-Codrean; Christian Schoppmeyer; Sebastian Engell (CCA, 2014)