1 / 6

线性混成自动机编辑器

线性混成自动机编辑器. 解定宝 Email: xdb@seg.nju.edu.cn. 线性混成自动机. 混成系统是一类既有连续状态变化又有离散状态变化的系统，混成自动机是一种用来描述混成系统的形式化模型，线性混成自动机是混成自动机的一个子集，其特点是自动机中变量均为线性变化。. 水箱控制系统实例. x 表示时间， y 表示水箱里的水位高度。 当水泵关闭时，水箱里的水位以 2 米每秒的速度下降，当水泵打开时水位以 1 米每秒的速度上升。 控制器打开或者关闭水泵有 2 秒的延迟. location. transition. guard. flow condition.

trory
Download Presentation

线性混成自动机编辑器

An Image/Link below is provided (as is) to download presentation Download Policy: Content on the Website is provided to you AS IS for your information and personal use and may not be sold / licensed / shared on other websites without getting consent from its author. Content is provided to you AS IS for your information and personal use only. Download presentation by click this link. While downloading, if for some reason you are not able to download a presentation, the publisher may have deleted the file from their server. During download, if you can't get a presentation, the file might be deleted by the publisher.

E N D

Presentation Transcript

  1. 线性混成自动机编辑器 解定宝 Email: xdb@seg.nju.edu.cn

  2. 线性混成自动机 • 混成系统是一类既有连续状态变化又有离散状态变化的系统，混成自动机是一种用来描述混成系统的形式化模型，线性混成自动机是混成自动机的一个子集，其特点是自动机中变量均为线性变化。

  3. 水箱控制系统实例 x表示时间，y表示水箱里的水位高度。 当水泵关闭时，水箱里的水位以2米每秒的速度下降，当水泵打开时水位以1米每秒的速度上升。 控制器打开或者关闭水泵有2秒的延迟

  4. location transition guard flow condition reset invariant

  5. BACH 编辑界面

  6. 要求 • 自定义图形显示及编辑方式，要求界面简洁，操作简单 • 自定义自动机文件的保存格式，要求结构良好，易于读写操作；要求能够访问诸如节点的变化率集合等信息 • 自定义语法规则，并实现语法检查功能。对于不符合语法部分，能够给出提示指导用户修改 • 给出设计文档、测试报告以及用户手册 • 附加需求：模板自动机，某些约束变量的系数非固定值，可以为参数变量表达式

More Related