微信扫码随时发布需求
贤集技术网技术服务平台欢迎您
客服热线：400-615-8109
项目简介
本发明提出了一种基于HybridUML向微分代数程序转换的CPS建模与验证方法，实现了由HybridUML模型向DAP的转换，并依据微分代数动态逻辑(Differential-Algebraic Dynamic Logic，DAL)推理规则对CPS实例进行验证。该方法使用HybridUML对CPS进行建模，将其转换成DAL的操作模型DAP，并且基于DAL对CPS属性进行验证。
建模流程图
所属领域
电子信息
合作方式
技术咨询、技术服务
请拨打400-615-8109或留下信息等待贤集技术网客服联系您的手机
