메뉴 건너뛰기




Volumn 23, Issue 6, 2012, Pages 2531-2549

Retraction Note: A multi-agent architectural solution for coherent distributed reconfigurations of function blocks [Journal of Intelligent Manufacturing, 23, (2012), 2531-2549, DOI:10.1007/s10845-011-0556-y];A multi-agent architectural solution for coherent distributed reconfigurations of function blocks

Author keywords

Coordination; Embedded control systems; Manufacturing systems; Modelling; Multi agents; Reconfigurations; Verification

Indexed keywords

APPLICATION PROGRAMS; CONTROL SYSTEMS; EMBEDDED SYSTEMS; MANUFACTURE; MODEL CHECKING; MODELS; NETWORK ARCHITECTURE; PETRI NETS; RECONFIGURABLE ARCHITECTURES; RESEARCH LABORATORIES; SOFTWARE AGENTS; VERIFICATION;

EID: 84870939481     PISSN: 09565515     EISSN: 15728145     Source Type: Journal    
DOI: 10.1007/s10845-013-0807-1     Document Type: Erratum
Times cited : (11)

References (32)
  • 2
    • 0001775707 scopus 로고
    • Logics and models of real-Time: A survey
    • of Lecture notes in computer science. Springer
    • Alur, R., & Henzinger, T. A. (1992). Logics and models of real-Time: A survey. In Proceedings of real-Time: theory in practice, Vol. 600 of Lecture notes in computer science. Springer.
    • (1992) Proceedings of Real-Time: Theory in Practice , vol.600
    • Alur, R.1    Henzinger, T.A.2
  • 4
  • 9
    • 62149085926 scopus 로고    scopus 로고
    • A petri net-based model for verification of obligations and accountability in cooperative systems
    • Du, Y., Jiang, C., & Zhou, M. (2009). A petri net-based model for verification of obligations and accountability in cooperative systems. In IEEE Transactions on Systems, Machine and Cybernetics, 39(2), 299-308.
    • (2009) IEEE Transactions on Systems, Machine and Cybernetics , vol.39 , Issue.2 , pp. 299-308
    • Du, Y.1    Jiang, C.2    Zhou, M.3
  • 11
    • 72449165691 scopus 로고    scopus 로고
    • International Standard IEC61499. International Electrotechnical Commission (IEC) Committee Draft
    • International Standard IEC61499. (2004). Industrial process measurements and control systems. In International Electrotechnical Commission (IEC) Committee Draft.
    • (2004) Industrial Process Measurements and Control Systems
  • 12
    • 78650059176 scopus 로고    scopus 로고
    • Intelligent manufacturing system and security and assurance
    • Kim, T.-H., Lopez, J., & Park, J. H. (2010). Deqing Zou and Hangbae Chang. Intelligent manufacturing system and security and assurance. In Journal of Intelligent Manufacturing, 21(5), 593-594.
    • (2010) Journal of Intelligent Manufacturing , vol.21 , Issue.5 , pp. 593-594
    • Kim, T.-H.1    Lopez, J.2    Park, J.H.3
  • 14
    • 50849096380 scopus 로고    scopus 로고
    • A deployment method of component based applications on distributed industrial control systems
    • Khalgui, M., Rebeuf, X., & Simonot-Lion, F. (2007). A deployment method of component based applications on distributed industrial control systems. European Jounal of Automated Systems, 41(6), 707-732.
    • (2007) European Jounal of Automated Systems , vol.41 , Issue.6 , pp. 707-732
    • Khalgui, M.1    Rebeuf, X.2    Simonot-Lion, F.3
  • 23
    • 75949087127 scopus 로고    scopus 로고
    • Extended computation tree logic: Implementation and application
    • Roch, S. (2000b). Extended computation tree logic: Implementation and application. In Proceedings of the AWPN2000 workshop Germany.
    • (2000) Proceedings of the AWPN2000 Workshop Germany
    • Roch, S.1
  • 25
    • 74849103813 scopus 로고    scopus 로고
    • Special issue on planning, scheduling and constraint satisfaction
    • Salido, M. A. (2010). Special issue on planning, scheduling and constraint satisfaction. Journal of Intelligent Manufacturing, 21(1), 1-4.
    • (2010) Journal of Intelligent Manufacturing , vol.21 , Issue.1 , pp. 1-4
    • Salido, M.A.1
  • 26
    • 39149101427 scopus 로고    scopus 로고
    • Automated organization design for multi-Agent systems
    • Netherlands Springer
    • Sims, M., Corkill, D., & Lesser, V. (2008) Automated organization design for multi-Agent systems. In Autonomous agents and multi-Agent systems (Vol. 16, no. 2, pp. 151-185). Netherlands: Springer.
    • (2008) Autonomous Agents and Multi-Agent Systems , vol.16 , Issue.2 , pp. 151-185
    • Sims, M.1    Corkill, D.2    Lesser, V.3
  • 27
    • 79951513444 scopus 로고    scopus 로고
    • A novel agent-based concept of household appliances
    • Steblovnik, K., & Zazula, D. (2011). A novel agent-based concept of household appliances. Journal of Intelligent Manufacturing, 22(1), 73-88.
    • (2011) Journal of Intelligent Manufacturing , vol.22 , Issue.1 , pp. 73-88
    • Steblovnik, K.1    Zazula, D.2
  • 28
    • 77955657640 scopus 로고    scopus 로고
    • Multi agent architecture for dynamic incremental process planning in the flexible manufacturing system
    • Tehrani Nik Nejad, H., Sugimura, N., Iwamura, K., & Tanimizu, Y. (2010). Multi agent architecture for dynamic incremental process planning in the flexible manufacturing system. Journal of Intelligent Manufacturing, 21(4), 487-499.
    • (2010) Journal of Intelligent Manufacturing , vol.21 , Issue.4 , pp. 487-499
    • Tehrani Nik Nejad, H.1    Sugimura, N.2    Iwamura, K.3    Tanimizu, Y.4
  • 31
    • 0037296637 scopus 로고    scopus 로고
    • Verification of distributed control systems in intelligent manufacturing
    • Vyatkin, V., & Hanisch, H.-M. (2003). Verification of distributed control systems in intelligent manufacturing. Journal of International Manufacturing, 14(1), 123-136.
    • (2003) Journal of International Manufacturing , vol.14 , Issue.1 , pp. 123-136
    • Vyatkin, V.1    Hanisch, H.-M.2


* 이 정보는 Elsevier사의 SCOPUS DB에서 KISTI가 분석하여 추출한 것입니다.