Simulink代码生成: 状态机的其他建模方法

2024-06-18 13:36

本文主要是介绍Simulink代码生成: 状态机的其他建模方法,希望对大家解决编程问题提供一定的参考价值,需要的开发者们随着小编来一起学习吧!

本文研究状态机建模的一些方法和技巧。

文章目录

  • 1 引入
  • 2 状态机建模方法
    • 2.1 状态机中的计时
    • 2.2 状态机中的计数
    • 2.3 转移顺序
  • 3 总结

1 引入

博主一直很喜欢用Simulink中的状态机建模,在这里想记录一下自己平时使用Stateflow建模的心得。因为自身行业所限,不可能把状态机讲得面面俱到,但是可以保证具有一定的实用性。

2 状态机建模方法

2.1 状态机中的计时

博主在工作中常见的一种建模情景是,在某个状态中持续一段时间后跳出。例如,一个按钮按下后过3秒钟后自己弹起来。这里就可以用after(3,sec)事件来做,如下图。
在这里插入图片描述
默认进入Off状态;如果输入的Action_In为PRESS(表示按下按钮),就跳转到On状态;再通过after(3,sec)事件,表示3s后跳回到Off状态。
在这里插入图片描述
图中是输入输出结果,Action_In在2s时上升到1,同时State_Out上升到1;3s后State_Out下降回0。注意,无论Simulink的仿真周期配置成多少,在仿真结果中都是3秒钟。

2.2 状态机中的计数

1)相比于状态机计时,博主工作中更常用的是计数,即过了多少个仿真周期后跳转状态。由于控制器中按照周期调用函数,所以计数更符合控制器的逻辑。同样是按钮,这次计数20个周期跳转出来,建模如下:
在这里插入图片描述
在On状态中,从框图边缘拉出了一根线,上面执行的动作是Count这个局部变量每个周期加1;另外,从On跳转到Off的条件是Count >= uint8(20),也就是计数满20次以后跳出。

在Simulink配置中将仿真步长改成0.2s,仿真得出如下结论:
在这里插入图片描述
在这里插入图片描述
可以看出,输入依然是2s时上升到1,但是输出信号从2s到6s持续了4s,这时因为仿真周期乘以计数器(0.2*20 =4)后算出来4s。

2)在计数动作执行之前还可以加上条件,使得在某种条件下才开始计数。例如当人松开按钮的时候,才开始计数20个周期,可以建模如下:
在这里插入图片描述
这里稍微改了一下,进入On状态的时候计数器为0,并且计数器加1的条件时Action_In ~= PRESS,表示没有按下按钮的时候才计数。仿真结果如下:
在这里插入图片描述
可以看到,在Action_In输入信号下降后过了4s中,State_Out才下降。

2.3 转移顺序

如下图所示,是一个两个跳转条件都满足的情况。

在这里插入图片描述

该状态机跳转逻辑表示,车速(Vehicle_Speed)高于30kph时判定为中车速(MiddleSpeed),车速高于80kph时判定为高车速(HighSpeed)。

在这里插入图片描述
这种情况下,假如车速高于80kph,那必定也是高于30kph,那么两个跳转条件都是满足的,应该如何判断优先级呢。答案是在LowSpeed模块的两个跳转信号线上会标出优先级数字1和2。序号表明了先跳转HighSpeed再跳转MiddleSpeed。

在这里插入图片描述
如果默认的需要不正确,也可以通过右键点击序号,更改菜单中的Execution Order来切换顺序。

在这里插入图片描述
通过以上方法就可以修改状态机跳转顺序了。

3 总结

本文总结了一些状态机的其他建模技巧。

>>返回个人博客总目录

这篇关于Simulink代码生成: 状态机的其他建模方法的文章就介绍到这儿,希望我们推荐的文章对编程师们有所帮助!



http://www.chinasem.cn/article/1072139

相关文章

Maven 配置中的 <mirror>绕过 HTTP 阻断机制的方法

《Maven配置中的<mirror>绕过HTTP阻断机制的方法》:本文主要介绍Maven配置中的<mirror>绕过HTTP阻断机制的方法,本文给大家分享问题原因及解决方案,感兴趣的朋友一... 目录一、问题场景:升级 Maven 后构建失败二、解决方案:通过 <mirror> 配置覆盖默认行为1. 配置示

SpringBoot排查和解决JSON解析错误(400 Bad Request)的方法

《SpringBoot排查和解决JSON解析错误(400BadRequest)的方法》在开发SpringBootRESTfulAPI时,客户端与服务端的数据交互通常使用JSON格式,然而,JSON... 目录问题背景1. 问题描述2. 错误分析解决方案1. 手动重新输入jsON2. 使用工具清理JSON3.

使用jenv工具管理多个JDK版本的方法步骤

《使用jenv工具管理多个JDK版本的方法步骤》jenv是一个开源的Java环境管理工具,旨在帮助开发者在同一台机器上轻松管理和切换多个Java版本,:本文主要介绍使用jenv工具管理多个JD... 目录一、jenv到底是干啥的?二、jenv的核心功能(一)管理多个Java版本(二)支持插件扩展(三)环境隔

Java中Map.Entry()含义及方法使用代码

《Java中Map.Entry()含义及方法使用代码》:本文主要介绍Java中Map.Entry()含义及方法使用的相关资料,Map.Entry是Java中Map的静态内部接口,用于表示键值对,其... 目录前言 Map.Entry作用核心方法常见使用场景1. 遍历 Map 的所有键值对2. 直接修改 Ma

Mybatis Plus Join使用方法示例详解

《MybatisPlusJoin使用方法示例详解》:本文主要介绍MybatisPlusJoin使用方法示例详解,本文通过实例代码给大家介绍的非常详细,对大家的学习或工作具有一定的参考借鉴价值,... 目录1、pom文件2、yaml配置文件3、分页插件4、示例代码:5、测试代码6、和PageHelper结合6

Java中实现线程的创建和启动的方法

《Java中实现线程的创建和启动的方法》在Java中,实现线程的创建和启动是两个不同但紧密相关的概念,理解为什么要启动线程(调用start()方法)而非直接调用run()方法,是掌握多线程编程的关键,... 目录1. 线程的生命周期2. start() vs run() 的本质区别3. 为什么必须通过 st

C#之List集合去重复对象的实现方法

《C#之List集合去重复对象的实现方法》:本文主要介绍C#之List集合去重复对象的实现方法,具有很好的参考价值,希望对大家有所帮助,如有错误或未考虑完全的地方,望不吝赐教... 目录C# List集合去重复对象方法1、测试数据2、测试数据3、知识点补充总结C# List集合去重复对象方法1、测试数据

SpringBoot读取ZooKeeper(ZK)属性的方法实现

《SpringBoot读取ZooKeeper(ZK)属性的方法实现》本文主要介绍了SpringBoot读取ZooKeeper(ZK)属性的方法实现,强调使用@ConfigurationProperti... 目录1. 在配置文件中定义 ZK 属性application.propertiesapplicati

MyBatis设计SQL返回布尔值(Boolean)的常见方法

《MyBatis设计SQL返回布尔值(Boolean)的常见方法》这篇文章主要为大家详细介绍了MyBatis设计SQL返回布尔值(Boolean)的几种常见方法,文中的示例代码讲解详细,感兴趣的小伙伴... 目录方案一:使用COUNT查询存在性(推荐)方案二:条件表达式直接返回布尔方案三:存在性检查(EXI

Java调用C#动态库的三种方法详解

《Java调用C#动态库的三种方法详解》在这个多语言编程的时代,Java和C#就像两位才华横溢的舞者,各自在不同的舞台上展现着独特的魅力,然而,当它们携手合作时,又会碰撞出怎样绚丽的火花呢?今天,我们... 目录方法1:C++/CLI搭建桥梁——Java ↔ C# 的“翻译官”步骤1:创建C#类库(.NET