资源描述：
《混合系统状态模型的合成算法 》由会员上传分享，免费在线阅读，更多相关内容在工程资料-天天文库。
1、中国科技论文在线http://www.paper.edu.cn混合系统状态模型的合成算法#张海宾*（西安电子科技大学计算机学院，西安，710071）51015摘要：这篇文章中，我们主要介绍了一个混合系统的描述模型，基于这个模型，我们定义了一个混合系统的偏序关系并建立了混合系统的格。并讨论了混合系统的合成技术。该技术可视为求解混合系统格中的极大极小边界。关键词：混合系统；时序逻辑；合成中图分类号：TP31SynthesisAlgorithmsofModelsofHybridSystemsZHANGHa
2、ibin(SchoolofComputerScienceandTechnology,XidianUniversity,Xi'an,710071)Abstract:Inthispaper,acomputationalmodelforhybridsystemsisintroduced.Basedonthismodel,apartialorderrelationofhybridsystemsisgivenandalatticeofhybridsystemsisformalized.Armedwiththese
3、notations,synthesisofhybridsystemsisdiscussed.Thesynthesiscanbeseenastheoperationofsolvingtheleastupperboundofmembersofthelattice.Keywords:hybridsystems；temporalLogic；synthesis200.IntroductionHybridsystemsarestate-transitionsystemsconsistingofanon-triv
4、ialmixtureofcontinuousactivitiesanddiscreteevents[1-8].Thecontinuousactivitiesareusuallygovernedbydifferentialequationsoralgebraicequations,andthediscreteeventsareexpressedbydiscretevariables.Thispaperfocusesonthesynthesis(orcomposition)ofhybridsystems.I
5、nsomecasesof253035physicalenvironments,acomplexhybridsystemcanbeviewedasacompositionorsynthesisofanumberofsmallsub-hybridsystems.Tomodelandverifysuchsystems,itisimportantforustoinvestigatetheoryandtechniquefordealingwithsynthesisofhybridsystems.Inthispa
6、per,anapproachbasedonlatticeforsynthesisofhybridsystemsispresented.Withthismethod,acontinuesactivityismodelledasamacro-state,andadiscreteeventismodelledasamicro-statewhichoccursbetweentwomacro-states.Thus,ahybridsystemismodelledasasequenceofcontinuesacti
7、vityanddiscreteevents,thatis,aninterleavingsequenceofmacro-statesandmicro-states.Thissequenceisalsocalledaninterval.Tomanipulatesynthesisofhybridsystems,apartialorderrelation£overintervalsisdefined.Allhybridsystemsunderthispartialorderrelationbecomealatt
8、icesincetwoarbitraryhybridsystemshavetheleastupperboundandthegreatlowerbound.Thus,thesynthesisoftwohybridsystemscanbeviewedastheoperationofsolvingtheleastupperboundofthetwosystems.Thisenablesustousetheoryoflatticesforhybri
