摘要
提供了对一类混杂系统进行定性分析的方法。它着重于混杂模型极其分析在计算机科学和控制理论方面应用的研究。连续和离散的动态学加合而产生了一些基础性问题,本文着重讨论了这些问题。
This contribution provides a method to the formal analysis of a class of hybrid systems. It focuses on different directions from which hybrid models and their analysis have been approached in computer science and control theory. There are some fundamental problems arising from the combination of discrete and continuous dynamics, which are discussed in this contribution.
出处
《贵州工业大学学报（自然科学版）》
CAS
2008年第1期68-71,共4页
Journal of Guizhou University of Technology(Natural Science Edition)
关键词
混杂系统
可达性
自动机
hybrid system
analysis of reachability
automata
