[IEEE Proceedings of the 2005, American Control Conference, 2005. - Portland, OR, USA (June 8-10, 2005)] Proceedings of the 2005, American Control Conference, 2005. - Formal techniques for the modelling and validation of a co-operating uav team that uses Dubins set for path planningJeyaraman, S.; Tsourdos, A.; Zbikowski, R.; White, B. · 2005

An Assessment of PLC Software Structure Suitability for the Support of Flexible Manufacturing ProcessesHajarnavis, V.; Young, K. · IEEE Transactions on Automation Science and Engineering · 2008