混合系统状态模型的合成算法

《混合系统状态模型的合成算法 》由会员上传分享，免费在线阅读，更多相关内容在工程资料-天天文库。

1、混合系统状态模型的合成算法#张海宾*（西安电子科技大学计算机学院，西安，710071）51015摘要：这篇文章中，我们主要介绍了一个混合系统的描述模型，基于这个模型，我们定义了一个混合系统的偏序关系并建立了混合系统的格。并讨论了混合系统的合成技术。该技术可视为求解混合系统格中的极大极小边界。关键词：混合系统；时序逻辑；合成中图分类号：TP31SynthesisAlgorithmsofModelsofHybridSystemsZHANGHaibin(SchoolofComputerScienceandTechnology,XidianUniversity,Xi'

2、an,710071)Abstract:Inthispaper,acomputationalmodelforhybridsystemsisintroduced.Basedonthismodel,apartialorderrelationofhybridsystemsisgivenandalatticeofhybridsystemsisformalized.Armedwiththesenotations,synthesisofhybridsystemsisdiscussed.Thesynthesiscanbeseenastheoperationofsolvingthe

3、leastupperboundofmembersofthelattice.Keywords:hybridsystems；temporalLogic；synthesis200.IntroductionHybridsystemsarestate-transitionsystemsconsistingofanon-trivialmixtureofcontinuousactivitiesanddiscreteevents[1-8].Thecontinuousactivitiesareusuallygovernedbydifferentialequationsoralg

4、ebraicequations,andthediscreteeventsareexpressedbydiscretevariables.Thispaperfocusesonthesynthesis(orcomposition)ofhybridsystems.Insomecasesof253035physicalenvironments,acomplexhybridsystemcanbeviewedasacompositionorsynthesisofanumberofsmallsub-hybridsystems.Tomodelandverifysuchsyste

5、ms,itisimportantforustoinvestigatetheoryandtechniquefordealingwithsynthesisofhybridsystems.Inthispaper,anapproachbasedonlatticeforsynthesisofhybridsystemsispresented.Withthismethod,acontinuesactivityismodelledasamacro-state,andadiscreteeventismodelledasamicro-statewhichoccursbetweentw

6、omacro-states.Thus,ahybridsystemismodelledasasequenceofcontinuesactivityanddiscreteevents,thatis,aninterleavingsequenceofmacro-statesandmicro-states.Thissequenceisalsocalledaninterval.Tomanipulatesynthesisofhybridsystems,apartialorderrelation£overintervalsisdefined.Allhybridsystemsund

7、erthispartialorderrelationbecomealatticesincetwoarbitraryhybridsystemshavetheleastupperboundandthegreatlowerbound.Thus,thesynthesisoftwohybridsystemscanbeviewedastheoperationofsolvingtheleastupperboundofthetwosystems.Thisenablesustousetheoryoflatticesforhybridsystems.Thispaperisorgani

8、zedas