状态流 swMATH ID: 4350 软件作者: MathWorks公司。 描述: Stateflow®是一个基于状态机和流程图对组合和顺序决策逻辑进行建模和模拟的环境。Stateflow允许您组合图形和表格表示,包括状态转换图、流程图、状态转换表和真值表,以模拟系统对事件、基于时间的条件和外部输入信号的反应。使用Stateflow,您可以为监控、任务调度和故障管理应用程序设计逻辑。状态流包括状态机动画、静态和运行时检查,用于在实现之前测试设计的一致性和完整性。 主页: http://www.mathworks.com/products/stateflow/ 依赖项: Matlab;Simulink公司 相关软件: Simulink公司;Matlab公司;托勒密;马戏团;酯类;卢斯特;Z轴;S-TaLiRo公司;仄洛斯;Modelica公司;莫德;d到达;iFEST公司;信号;Uppaal公司;PHAVer公司;违约;石英;火花;电源保护 引用于: 43文件 全部的 前5名113位作者引用 4 王淑玲 4 詹乃军 三 安娜·卡瓦尔坎蒂 2 阿尔伯特·本文尼斯特 2 蒂莫西·布鲁克 2 贝诺·凯劳德 2 里克·埃舒伊斯 2 罗伯特·马克·海伦斯 2 迈克尔·门德勒 2 萨扬·密特拉 2 J Strother摩尔 2 伊娃·玛丽亚·纳瓦罗·洛佩斯 2 布鲁诺·帕加诺 2 马克·普泽特 2 桑迪普·雷 1 华金·阿瓜多 1 安杰曼 1 亚什万斯·安普雷迪 1 Antsaklis,Panos J。 1 法哈德·阿尔巴 1 奥斯特罗姆,卡尔·约翰 1 斯林塔·阿瓦达努拉 1 Bae,京敏 1 泰德·巴普蒂 1 埃齐奥·巴托奇 1 詹姆斯·巴克斯特 1 马西莫·贝内雷切蒂 1 迈克尔·贝塞尔 1 卡特、丽贝卡 1 Thidapat Chantem公司 1 陈明帅 1 阿隆格利特·楚蒂南 1 克拉克(Edmund Melson jun Clarke)。 1 兰斯·克莱维兰 1 Dan,海涛 1 雷纳托·德古列尔莫 1 威廉·鲍尔·德·罗弗 1 马里亚格拉齐亚·多托利 1 帕拉萨拉·斯里达尔·达吉拉拉 1 费内科斯(Georgios E.Fainekos)。 1 玛丽亚·皮亚·范蒂 1 冯,托马斯·惠宁 1 托马斯·费雷尔 1 马丁·范策尔 1 Insa Fuhrmann公司 1 皮埃尔·洛伊奇·卡洛什 1 马西耶·加兹达。 1 乌戈·詹蒂莱 1 阿尼鲁达·戈哈勒 1 理查德·J·格兰。 1 杰夫·格雷 1 格里戈伊尔·哈蒙 1 胡晓波莎伦 1 黄振奇 1 沃伦·亨特(Warren A.jun Hunt)。 1 金、项羽 1 斯特凡·卡伦 1 Temesghen Kahsai 1 库勒,马库斯 1 Panganamala R.库马尔。 1 李爱德华·阿什福德 1 迈克尔·D·莱蒙。 1 林,海 1 本杰明·利昂 1 刘,车 1 杰拉尔德·吕特根 1 托尼·曼奇尼 1 奈维迪塔·曼朱纳特 1 费德里科·马里奥 1 Laurentiu D.Marinovici。 1 斯特凡诺·马龙 1 安娜丽莎·马西尼 1 奥尔勒·马特森 1 尼古拉·马佐卡 1 伊戈尔·梅拉蒂 1 埃里克·米克 1 阿尔瓦罗宫泽 1 彼得·莫斯特曼。 1 克劳斯·D·穆勒-格拉泽。 1 罗伯托·纳尔多 1 妮玛、桑德普 1 德扬·尼科维奇 1 马蒂亚斯·尼贝格 1 Peter Csaba,Olveczky 1 医学博士O'Toole。 1 阿德里亚诺·佩隆 1 Paula J.Pingree。 1 安德烈·普拉泽 1 阿克沙·拉汉斯 1 马丁·劳 1 安德斯·拉文。 1 Reichmann,克莱门斯 1 约翰·拉什比 1 桑卡拉纳拉亚南,斯里拉姆 1 卡罗琳·塔尔科特。 1 Jean-Pierre塔宾 1 泽维尔·蒂里欧 1 斯塔夫罗斯·特里帕基斯 1 恩里科·特隆西 1 路易吉·维拉迪 …还有13位作者 全部的 前5名17篇连载文章中引用 4 计算机程序设计科学 2 程序设计中的逻辑和代数方法杂志 1 信息学学报 1 国际系统科学杂志 1 Automatica公司 1 科学院学报。第一节A 1 理论计算机科学 1 国际生产研究杂志 1 自动推理杂志 1 计算的形式方面 1 系统设计中的形式化方法 1 动力系统的数学和计算机建模 1 布列蒂努尔政治研究所。Secția自动计算器 1 ACM计算逻辑事务 1 非线性分析。混合动力系统 1 德格鲁伊特工作室 1 控制与信号处理高级教材 全部的 前5名在14个字段中引用 35 计算机科学(68至XX) 14 系统论;控制(93至XX) 三 数学逻辑和基础(03-XX) 三 运筹学、数学规划(90-XX) 1 实际功能(26年X月X日) 1 常微分方程(34-XX) 1 动力学系统与遍历理论(37至XX) 1 变分法与最优控制;最优化(49至XX) 1 统计学(62-XX) 1 数值分析(65-XX) 1 粒子和系统力学(70-XX) 1 博弈论、经济学、金融和其他社会和行为科学(91-XX) 1 生物学和其他自然科学(92-XX) 1 信息与通信理论、电路(94-XX) 按年份列出的引文