Specification and Verification of Hybrid System and the Timed RAISE Project
混成系统的描述和设计与Timed RAISE项目

Keywords: Hybrid system,RAISE,Formal method
混成系统,操作符,实时系统,TimedRAISE项目

Full-Text   Cite this paper   Add to My Lib

Abstract:

1 引言混成系统是包含连续部件和离散部件的实时系统。其中连续部件是满足一定微分方程的物理设备,离散部件是运行程序的计算机及受程序控制的感应器和主动器。混成系统的典型例子有:机器人控制系统、计算机辅助制造设备、飞行控制系统等。

Full-Text