%0 Journal Article
%T Specification and Verification of Hybrid System and the Timed RAISE Project<br>混成系统的描述和设计与Timed RAISE项目
%A 李黎
%J 计算机科学
%D 2000
%I 
%X 1 引言混成系统是包含连续部件和离散部件的实时系统。其中连续部件是满足一定微分方程的物理设备,离散部件是运行程序的计算机及受程序控制的感应器和主动器。混成系统的典型例子有:机器人控制系统、计算机辅助制造设备、飞行控制系统等。
%K Hybrid system
%K RAISE
%K Formal method<br>混成系统
%K 操作符
%K 实时系统
%K TimedRAISE项目
%U http://www.alljournals.cn/get_abstract_url.aspx?pcid=5B3AB970F71A803DEACDC0559115BFCF0A068CD97DD29835&cid=8240383F08CE46C8B05036380D75B607&jid=64A12D73428C8B8DBFB978D04DFEB3C1&aid=5E57C2D8D038386F&yid=9806D0D4EAA9BED3&vid=DB817633AA4F79B9&iid=DF92D298D3FF1E6E&sid=0D0D661F0B316AD5&eid=656F8C8401D91023&journal_id=1002-137X&journal_name=计算机科学&referenced_num=0&reference_num=6