Christian Schoppmeyer, Martin Hufner, Subanatarajan Subbiah, Sebastian Engell. Timed automata based scheduling for a miniature pipeless plant with mobile robots. In Proceedings of the IEEE International Conference on Control Applications, CCA 2012, Dubrovnik, Croatia, October 3-5, 2012. pages 240-245, IEEE, 2012. [doi]
Abstract is missing.