Transcript 线性混成自动机编辑器

线性混成自动机编辑器
解定宝
Email: [email protected]
线性混成自动机

混成系统是一类既有连续状态变化又有离散状态
变化的系统，混成自动机是一种用来描述混成系
统的形式化模型，线性混成自动机是混成自动机
的一个子集，其特点是自动机中变量均为线性变
化。
水箱控制系统实例
x表示时间，y表示水箱里的水位高度。
当水泵关闭时，水箱里的水位以2米每秒的速度下降，当
水泵打开时水位以1米每秒的速度上升。
控制器打开或者关闭水泵有2秒的延迟
location
transition
guard
flow condition
reset
invariant
BACH 编辑界面
要求





自定义图形显示及编辑方式，要求界面简洁，操作简单
自定义自动机文件的保存格式，要求结构良好，易于读写操作；要
求能够访问诸如节点的变化率集合等信息
自定义语法规则，并实现语法检查功能。对于不符合语法部分，能
够给出提示指导用户修改
给出设计文档、测试报告以及用户手册
附加需求：模板自动机，某些约束变量的系数非固定值，可以为参
数变量表达式