Design and Verification of Mechatronic Object-Oriented Models for Industrial Control Systems
Contributo in Atti di convegno
Data di Pubblicazione:
2003
Citazione:
Design and Verification of Mechatronic Object-Oriented Models for Industrial Control Systems / M., Bonfè; Fantuzzi, Cesare. - ELETTRONICO. - 2:(2003), pp. 253-260. ( 2003 IEEE Conference on Emerging Technologies and Factory Automation, ETFA 2003 Lisbon (Portugal) 16-19 September 2003) [10.1109/ETFA.2003.1248708].
Abstract:
The paper describes a methodological framework that aims to apply formal design and verification techniques in the development of Industrial Control Systems, with particular regard to the domain of manufacturing machines. The methodology is based on an Object-Oriented approach, revisited in a mechatronic perspective.
Tipologia CRIS:
Relazione in Atti di Convegno
Keywords:
Discrete event System; Automatic Control
Elenco autori:
M., Bonfè; Fantuzzi, Cesare
Link alla scheda completa:
Titolo del libro:
Proceedings of Emerging Technologies and Factory Automation, 2003. Proceedings. ETFA '03. IEEE Conference