CAJ | 학술논문

CPS(Cyber-Physical System)系统中的Cyber系统旨在根据用户要求,应用计算、通信和控制等技术实现对现实世界物理行为的精准控制.物理行为是连续和并发的,而Cyber行为是离散的,这种异构性给Cyber系统行为的分析和设计带来了巨大的挑战,迫切需要一种精确的模型来捕获Cyber系统与外界的交互行为语义.按照行为角色的不同,分析了CPS系统的抽象组成架构,阐述了各实体的行为；提出了一种基于事件-响应关系的Cyber系统行为模型,给出了事件的形式化定义和各类事件的形成规则的语法和语义,对事件的属性取值条件和时序特性进行了详细刻画；在此基础上,定义了事件-响应关系模型的语法和语义；最后以智能探测车为例,分析了该模型在Cyber系统设计与开发中的作用,并提出了进一步的研究工作.
CPS(Cyber-Physical System)계통중적Cyber계통지재근거용호요구,응용계산、통신화공제등기술실현대현실세계물리행위적정준공제.물리행위시련속화병발적,이Cyber행위시리산적,저충이구성급Cyber계통행위적분석화설계대래료거대적도전,박절수요일충정학적모형래포획Cyber계통여외계적교호행위어의.안조행위각색적불동,분석료CPS계통적추상조성가구,천술료각실체적행위；제출료일충기우사건-향응관계적Cyber계통행위모형,급출료사건적형식화정의화각류사건적형성규칙적어법화어의,대사건적속성취치조건화시서특성진행료상세각화；재차기출상,정의료사건-향응관계모형적어법화어의；최후이지능탐측차위례,분석료해모형재Cyber계통설계여개발중적작용,병제출료진일보적연구공작.