摘要
1 引言混成系统是包含连续部件和离散部件的实时系统。其中连续部件是满足一定微分方程的物理设备,离散部件是运行程序的计算机及受程序控制的感应器和主动器。混成系统的典型例子有:机器人控制系统、计算机辅助制造设备、飞行控制系统等。
Hybrid systems are real-time systems consisting of both continuous and discrete components. This paper briefly introduces hybrid systems and their design methods,gives an overview of existent research on semantic model,property specification,operational design and verification. RAISE is a formal method for specification,design and development of software systems. The Timed RAISE project aims to add real-time features to RAISE for design of hybrid systems. We give a description of this project. Hybrid system,RAISE,Formal method
出处
《计算机科学》
CSCD
北大核心
2000年第7期82-84,共3页
Computer Science
基金
国家自然科学基金69773025
博士点基金98035828支持
