混合系统及其建模

被引：16

作者：

薛乐

廖沫

魏晨

陈宗基

机构：

[1] 北京航空航天大学自动化学院

来源：

系统仿真学报 | 2004年 / 03期

关键词：

混合系统; 等价离散事件模型; 混合自动机; Petri网; 时段演算;

D O I：

10.16182/j.cnki.joss.2004.03.004

中图分类号：

TP301 [理论、方法];

学科分类号：

081202 ;

摘要：

在概述混合系统概念、特点、发展近况以及混合系统框架的基础上,介绍了混合系统研究中的建模问题,重点介绍了等价离散事件模型、混合自动机、Petri网、时段演算及其扩展等建模方法,最后介绍了混合系统研究中的一些重要成果以及一些仿真方法。

引用

页码：375 / 380+404 +404

页数：7

共 8 条

[1] 一类有约束的混合系统的模型及设计 [J].

翟长连 ;

何苇 ;

吴智铭 .

控制与决策, 2001, (02) :222-225

[2] 混合系统在Matlab环境下的建模、仿真与自动验证 [J].

张学军 ;

谢剑英 .

系统仿真学报, 2001, (02) :195-198

[3] 混合系统的建模及在Matlab环境下的仿真研究 [J].

张学军 ;

张苗苗 ;

谢剑英 .

测控技术, 2000, (07) :36-39

[4] 混合系统的形式化验证 [J].

高建平 ;

陈宗基 .

北京航空航天大学学报, 1999, (02) :26-30

[5] 混合控制系统及其分析与设计方法 [J].

陈宗基，俞新尧，王戟，周巢尘 .

计算机学报, 1996, (04) :254-262

[6]

离散事件动态系统[M]. 清华大学出版社 , 郑大钟,赵千川[编著], 2001

[7] A hybrid modeling and verification paradigm for embedded control systems [J].

Mosterman, PJ ;

Biswas, G ;

Sztipanovits, J .

CONTROL ENGINEERING PRACTICE, 1998, 6 (04) :511-521

[8]

Mean Value Calculus. Zhou Chaochen, Li Xiaoshan. . 1993

← 1 →