Browse by Person (creator, editor, contributor, etc.)

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: Item Type | Date | No Grouping
Number of items: 5.

Conference or workshop item

Bordbar, Behzad and Giacomini, L. and Holding, D.J. (2000) Hybrid Control Systems: a Design Case Study. In: Control Applications, 2000. Proceedings of the 2000 IEEE International Conference on. IEEE, Alaska, USA pp. 947-952. ISBN 0-7803-6562-3. (Full text available)
[img]
Preview

Bordbar, Behzad and Giacomini, L. and Holding, D.J. (2000) UML and Petri Nets for Design and Analysis of Distributed Systems. In: Control Applications, 2000. Proceedings of the 2000 IEEE International Conference on. IEEE, Alaska, USA pp. 610-615. ISBN 0-7803-6562-3. (Full text available)
[img]
Preview

Bordbar, Behzad and Giacomini, L. and Holding, D.J. (2000) Verification of a Hybrid Model of a Manufacturing System using Rectangular Petri Nets. In: Proceedings of the 6th International Workshop on Discrete Event Systems. (The full text of this publication is not available from this repository)

Bordbar, Behzad and Giacomini, L. and Holding, D.J. (2000) Design of Distributed Manufacturing Systems using UML and Petri Nets. In: Algorithms and Architectures for Real-Time Control (AARTC 2000). Workshop on Algorithms and Architectures for Real-Time Control. Elsevier, Palma de Mallorca, Spain pp. 105-110. ISBN 0-08-043685-4 . (Full text available)
[img]
Preview

Bordbar, Behzad and Giacomini, L. and Holding, D.J. (2000) A UML-based Approach to the Modelling and Supervisory Control of Manufacturing Machinery. In: IEE Control Seminars on Model Validation for Plant Control and Condition Monitoring, 28 March 2000, London, UK, . (Full text available)
[img]
Preview

This list was generated on Mon Jul 7 12:24:43 2014 BST.