Hybrid Systems III_ Verification and Control

Hybrid Systems III_ Verification and Control

ID:32632838

大小:9.89 MB

页数:628页

时间:2019-02-13

Hybrid Systems III_ Verification and Control_第1页
Hybrid Systems III_ Verification and Control_第2页
Hybrid Systems III_ Verification and Control_第3页
Hybrid Systems III_ Verification and Control_第4页
Hybrid Systems III_ Verification and Control_第5页
资源描述:

《Hybrid Systems III_ Verification and Control》由会员上传分享,免费在线阅读,更多相关内容在工程资料-天天文库

1、LectureNotesinComputerScience1066EditedbyG.Goos,J.HartmanisandJ.vanLeeuwenAdvisoryBoard:W.BrauerD.GriesJ.StoerRajeevAlurThomasA.HenzingerEduardoD.Sontag(Eds.)HybridSystemsIIIVerificationandControlSpringerSeriesEditorsGerhardGoos,KarlsruheUniversity,GermanyJurisHartmanis,CornellUnivers

2、ity,NY,USAJanvanLeeuwen,UtrechtUniversity,TheNetherlandsVolumeEditorsRajeevAlurAT&TBellLaboratories600MountainAvenue,MurrayHill,NJ07974,USAThomasA.HenzingerDepartmentofElectricalEngineeringandComputerScienceUniversityofCaliforniaatBerkeleyBerkeley,CA94720,USAEduardoD.SontagDepartmento

3、fMathematicsRutgersUniversityNewBrunswick,NJ08903,USACataloging-in-PublicationdataappliedforDieDeutscheBibliothek-CIP-EinheitsaufnahmeHybridsystems.-Berlin;Heidelberg;NewYork;Barcelona;Budapest;HongKong;London;Milan;Paris;SantaClara;Singapore;Tokyo:Springer.Literaturangaben3.Verificat

4、ionandcontrol/RajeevAlur...(ed.).-1996(Lecturenotesincomputerscience;1066)ISBN3-540-61155-XNE:Alur,Rajeev[Hrsg.];GTCRSubjectClassification(1991):C.l.m,C.3,D.2.1,F.3.1,F.1-2ISBN3-540-61155-XSpringer-VerlagBerlinHeidelbergNewYorkThisworkissubjecttocopyright.Allrightsarereserved,whethert

5、hewholeorpartofthematerialisconcerned,specificallytherightsoftranslation,reprinting,re-useofillustrations,recitation,broadcasting,reproductiononmicrofilmsorinanyotherway,andstorageindatabanks.DuplicationofthispublicationorpartsthereofispermittedonlyundertheprovisionsoftheGermanCopyrig

6、htLawofSeptember9,1965,initscurrentversion,andpermissionforusemustalwaysbeobtainedfromSpringer-Verlag.ViolationsareliableforprosecutionundertheGermanCopyrightLaw.9Springer-VerlagBerlinHeidelberg1996PrintedinGermanyTypesetting:Camera-readybyauthorSPIN1051282106/3142-543210Printedonaci

7、d-freepaperPrefaceThisvolumecontainstheproceedingsoftheDIMACS/SYCONWorkshoponVer-ificationandControlofHybridSystems,organizedOctober22-25,1995,atRut-gersUniversityinNewBrunswick,NewJersey.TheworkshopwaspartoftheDIMACS1995-96SpecialYearonLogicandAlgorithms.DIMACSisaScienceandTechnology

8、Cente

当前文档最多预览五页,下载文档查看全文

此文档下载收益归作者所有

当前文档最多预览五页,下载文档查看全文
温馨提示:
1. 部分包含数学公式或PPT动画的文件,查看预览时可能会显示错乱或异常,文件下载后无此问题,请放心下载。
2. 本文档由用户上传,版权归属用户,天天文库负责整理代发布。如果您对本文档版权有争议请及时联系客服。
3. 下载前请仔细阅读文档内容,确认文档内容符合您的需求后进行下载,若出现内容与标题不符可向本站投诉处理。
4. 下载文档时可能由于网络波动等原因无法下载或下载错误,付费完成后未能成功下载的用户请联系客服处理。