المؤلفون: Machado, José Mendes, Campos, J. Creissac

المساهمون: Universidade do Minho

مصطلحات موضوعية: Dependable controllers, Machines’ design, Formal verification, Human machine interface, Partial plant models, Science & Technology

وصف الملف: application/pdf

Relation: Machado J., Campos J.C. (2014) Development of Dependable Controllers in the Context of Machines Design. In: Ševĉik L., Lepšík P., Petrů M., Mašín I., Martonka R. (eds) Modern Methods of Construction Design. Lecture Notes in Mechanical Engineering. Springer, Cham; 9783319052021; 2195-4356

الاتاحة: https://hdl.handle.net/1822/36462

المؤلفون: Seabra, Eurico, Machado, José

المساهمون: Universidade do Minho

مصطلحات موضوعية: Dependable Controllers Design, GEMMA, SFC, Engenharia e Tecnologia::Engenharia Mecânica

وصف الملف: application/pdf

Relation: 978-953-51-0685-2; http://www.intechopen.com/books/automation/a-systematized-approach-to-obtain-dependable-controller-specifications-for-hybrid-plants

الاتاحة: http://hdl.handle.net/1822/36999

المؤلفون: Machado, José Mendes, Seabra, Eurico

المساهمون: Universidade do Minho

مصطلحات موضوعية: Dependable, Controllers design, Formal, Verification, GEMMA, SFC, Industrial automation systems, Dependable Controllers Design, Formal Verification, Science & Technology

وصف الملف: application/pdf

Relation: Machado, José; Seabra, Eurico. A Systematized Approach for Obtaining a Dependable Structured Specification for an Industrial Automation System, Trabalho apresentado em IEEE 10th International Conference on Industrial Informatics, In Proceedings of IEEE 10th International Conference on Industrial Informatics , Beijing, 2012.; 9781467303118; 1935-4576

الاتاحة: https://hdl.handle.net/1822/22903

المؤلفون: Machado, José Mendes, Seabra, Eurico

المساهمون: Universidade do Minho

مصطلحات موضوعية: Dependable controllers design, GEMMA, SFC

وصف الملف: application/pdf

Relation: ABCM Symposium Series in Mechatronics

الاتاحة: http://hdl.handle.net/1822/18109

المؤلفون: José Machado, Eurico Seabra

المساهمون: Universidade do Minho

المصدر: Automation

مصطلحات موضوعية: Engineering, SFC, business.industry, Engenharia e Tecnologia::Engenharia Mecânica, 0211 other engineering and technologies, Dependable Controllers Design, 020207 software engineering, Control engineering, 02 engineering and technology, Process automation system, GEMMA, Automation, Rotation formalisms in three dimensions, Software, Control theory, 021105 building & construction, Synchronization (computer science), Sequential function chart, 0202 electrical engineering, electronic engineering, information engineering, Dependability, business, Simulation

وصف الملف: application/pdf

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::7a9c05dce5f150bfe16809205fb30ab6
http://www.intechopen.com/articles/show/title/a-systematized-approach-to-obtain-dependable-controller-specifications-for-hybrid-plants