状态流

Stateflow®是一个基于状态机和流程图的组合和顺序决策逻辑建模和仿真的环境。你可以把你的状态图,状态表,状态表和状态转换图结合起来。使用Stateflow,您可以为监控、任务调度和故障管理应用程序设计逻辑。Stateflow包括状态机动画、静态和运行时检查,以便在实现之前测试设计的一致性和完整性。


zbMATH中的参考文献(参考文献42条)

显示第1到第20个结果,共42个。
按年份排序(引用)
  1. 曼奇尼,托尼;玛丽,费德里科;马西尼,安娜丽莎;伊戈尔,梅拉蒂;恩里科·特隆奇:关于模拟脚本等价性的检验(2021)
  2. 安格曼,安妮;贝塞尔,迈克尔;罗,马丁;沃尔法思,乌尔里希:MATLAB——Simulink——状态流。示例,工具箱(2020)
  3. 巴托奇、埃齐奥;费雷尔,托马斯;曼朱纳特,尼维迪莎;Ničković,Dejan:用STL在Simulink/Stateflow模型中定位断层(2018)
  4. 拉贾斯,阿克夏;斯里那斯阿瓦达努拉;Chutinan,阿龙克里特;莫斯特曼,皮尔特J。;Zhang,Fu:基于Simulink和Stateflow的混合动力图形建模(2018)
  5. 阿尔伯特,本维尼斯特;伯克,提摩太;凯劳德,贝诺伊特;帕加诺,布鲁诺;Pouzet,Marc:混合系统建模者中基于类型的因果循环分析(2017)
  6. 陈明帅;拉文,安德斯P。;王淑玲;杨孟飞;詹乃军:嵌入式系统正式与非正式设计的双向路径(2017)
  7. 詹乃君;王淑玲;赵恒军:Simulink/状态流图的正式验证。2017(演绎法)
  8. 阿瓜多,乔奎因;门德勒,迈克尔;冯汉克斯登,莱因哈德;Fuhrmann,Insa:同步并发的构造性调度的指称定点语义(2015)
  9. 纳多,罗伯托;氏族,乌戈;佩隆,阿德里亚诺;贝内雷凯蒂,马西莫;维多里尼,缬草;马龙,斯特凡诺;德古列尔莫,雷纳托;马佐卡,尼古拉;Velardi,Luigi:铁路控制系统规范正式化的动态机器(2015)
  10. 邹亮;詹乃君;王淑玲;Fränzle,Martin:Simulink/状态流图的正式验证(2015)
  11. 奥斯特伦,卡尔J。;Kumar,P.R.:控制:一个视角(2014)
  12. 阿尔伯特,本维尼斯特;伯克,提摩太;凯劳德,贝诺伊特;帕加诺,布鲁诺;Pouzet,Marc:混合系统建模者中基于类型的因果循环分析(2014)
  13. 宫泽,阿尔瓦罗;安娜州卡瓦尔坎蒂:基于改进的状态流程图实现验证(2014)ioport公司
  14. 克拉克,约翰A。;丹,海涛;Hierons,Robert M.:语义突变测试(2013)
  15. Eshuis,Rik:状态图Petri网(2013)
  16. 法拉利,阿莱西奥;范泰奇,亚历山德罗;马格纳尼,詹卢卡;格拉索,丹妮尔;Tempestini,Matteo:MetrôRio案例研究(2013)ioport公司
  17. 祖利亚尼,保罗;普拉泽,安德烈;Clarke,Edmund M.:贝叶斯统计模型检验及其在Stateflow/Simulink验证中的应用(2013)
  18. 裴京民;厄尔维茨基,彼得·克萨巴;冯惠宁;李,爱德华A。;Tripakis,Stavros:使用实时maude验证分层的托勒密II离散事件模型(2012)
  19. 巴纳特,吉里;伯兰,一月;布里姆,卢博斯;克拉托赫维拉,托马斯;Ročkai,Petr:支持航空电子设备simulink设计的自动化正式验证的工具链(2012年)ioport公司
  20. 帕拉斯里达拉;Mitra,Sayan:混合系统必然性的Lyapunov抽象(2012)