資源描述：
《A FOUNDATION FOR THE DESIGN AND ANALYSIS OFROBOTIC SYSTEMS AND BEHAVIORS設(shè)計(jì)與分析的基礎(chǔ) 機(jī)器人系統(tǒng)與行為》由會(huì)員上傳分享，免費(fèi)在線閱讀，更多相關(guān)內(nèi)容在學(xué)術(shù)論文-天天文庫。
1、AFOUNDATIONFORTHEDESIGNANDANALYSISOFROBOTICSYSTEMSANDBEHAVIORSbyZHANGYINGB.Sc.,ZhejiangUniversity,China,1984M.Sc.,ZhejiangUniversity,China,1987M.Sc.,TheUniversityofBritishColumbia,1989ATHESISSUBMITTEDINPARTIALFULFILLMENTOFTHEREQUIREMENTSFORTHEDEGREEOFDOCTOROFPHILOSOPHYinTHEFACULTYOF
2、GRADUATESTUDIES(DepartmentofComputerScience)Weacceptthisthesisasconformingtotherequiredstandard............................................................................................................................................................................................
3、THEUNIVERSITYOFBRITISHCOLUMBIASeptember1994cZhangYing,1994TotheMemoryandSpiritofMyGrandmother
4、LadyFireandIceAbstractRobotsaregenerallycomposedofelectromechanicalpartswithmultiplesensorsandac-tuators.Theoverallbehaviorofarobotemergesfromcoordinationamongitsvariouspartsandinteractionw
5、ithitsenvironment.Developingintelligent,reliable,robustandsaferobots,orreal-timeembeddedsystems,hasbecomeafocusofinterestinrecentyears.Inthisthesis,weestablishafoundationformodeling,specifyingandverifyingdiscrete/continuoushybridsystemsandtakeanintegratedapproachtothedesignandanalys
6、isofroboticsystemsandbehaviors.Aroboticsystemingeneralisahybriddynamicsystem,consistingofcontinuous,discreteandevent-drivencomponents.Wedevelopasemanticmodelfordynamicsystems,thatwecallConstraintNets(CN).CNintroducesanabstractionandaunitaryframeworktomodeldiscrete/continuoushybridsy
7、stems.CNprovidesaggregationoperatorstomodelacomplexsystemhierarchically.CNsupportsmultiplelevelsofabstraction,basedonabstractalgebraandtopology,tomodelandanalyzeasystematdi erentlevelsofdetail.CN,becauseofitsrigorousfoundation,canbeusedtode neprogrammingsemanticsofreal-timelanguages
8、forcontrolsystems.Whilemodelingfocusesontheunderlyingstructureofasystem
9、theorganizationandcoordinationofitscomponents
10、requirementsspeci cationimposesglobalconstraintsonasystem'sbehavior,andbehaviorveri cationensuresthecorrectnessofthebehaviorwithre-specttoitsrequirementsspeci cation
11、.Wedevelopatimedlin
