An integrated framework for Model-based Design and Verification of discrete automation solutions (Contributo in atti di convegno)

Type

• Prodotto della ricerca (Classe)
• Contributo in atti di convegno (Classe)

Label

• An integrated framework for Model-based Design and Verification of discrete automation solutions (Contributo in atti di convegno) (literal)

Anno

• 2011-01-01T00:00:00+01:00 (literal)

Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#doi

• 10.1109/INDIN.2011.6034938 (literal)

Alternative label

• Mazzolini M.; Brusaferri A.; Carpanzano E. (2011)
  An integrated framework for Model-based Design and Verification of discrete automation solutions
  in 9th IEEE International Conference on Industrial Informatics (INDIN), 2011
  (literal)

Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#autori

• Mazzolini M.; Brusaferri A.; Carpanzano E. (literal)

Pagina inizio

• 545 (literal)

Pagina fine

• 550 (literal)

Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#url

• http://www.scopus.com/inward/record.url?eid=2-s2.0-80054988651&partnerID=q2rCbXpz (literal)

Rivista

• Industrial Informatics, 2007 5th IEEE International Conference on (Rivista)

Note

• Scopu (literal)

Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#affiliazioni

• Institute of Industrial Technologies and Automation, National Research Council, 20133-Milan (literal)

Titolo

• An integrated framework for Model-based Design and Verification of discrete automation solutions (literal)

Abstract

• The design process of advanced control solutions has become more and more challenging due to the increasing complexity of current automation systems. In such a context, structured design approaches based on formal reference models as well as reliable verification processes have to be adopted. In addition, in last years Model-based Design methods are being extensively adopted thanks to their capability to deal with the whole control system development process through model abstraction and independence from specific programming languages. The present paper proposes an integrated framework for Model-based Design and Verification of complex automation solutions based on innovative methods and tools. Furthermore an application example, regarding the development of the control solution for an automatic warehouse system, is addressed to highlight the benefits of the proposed framework. © 2011 IEEE. (literal)

Prodotto di

• Tecnologie abilitanti e sistemi di automazione adattativi per fabbriche orientate alla produzione personalizzata (SP.P01.015.001) (Modulo)

Autore CNR

• MAURO MAZZOLINI (Unità di personale esterno)
• ALESSANDRO BRUSAFERRI (Unità di personale interno)
• EMANUELE CARPANZANO (Unità di personale interno)

Incoming links:

Autore CNR di

• EMANUELE CARPANZANO (Unità di personale interno)
• MAURO MAZZOLINI (Unità di personale esterno)
• ALESSANDRO BRUSAFERRI (Unità di personale interno)

Prodotto

• Tecnologie abilitanti e sistemi di automazione adattativi per fabbriche orientate alla produzione personalizzata (SP.P01.015.001) (Modulo)

Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#rivistaDi

• Industrial Informatics, 2007 5th IEEE International Conference on (Rivista)