原创力文档- 4
- 0
- 约3.9万字
- 约 15页
- 2017-05-08 发布于上海
- 举报
Towards Efficient Exact Synthesis for Linear Hybrid Systems 英文论文文献
TowardsEf?cientExactSynthesisforLinearHybridSystems
MassimoBenerecetti
MarcoFaella
StefanoMinopoli
Universit`adiNapoli
“FedericoII”,Italy
{mfaella,bene,minopoli}@na.infn.it
WestudytheproblemofautomaticallycomputingthecontrollableregionofaLinearHybridAu-
tomaton,withrespecttoasafetyobjective.Wedescribethetechniquesthatareneededtoeffectively
andef?cientlyimplementarecently-proposedsolutionprocedure,basedonpolyhedralabstractions
ofthestatespace.Supportingexperimentalresultsarepresented,basedonanimplementationofthe
proposedtechniquesontopofthetoolPHAVer.
1 Introduction
Hybridsystemsareanestabli
您可能关注的文档
- Total hip arthroplasty what information do we offer patients on websites of hospitals 英文论文文献.doc
- Total plasma homocysteine, folate, and vitamin b12 status in healthy Iranian adults the Tehran homocysteine survey (2003–2004)a cross – sectional population based study 英文论文文献.doc
- Total blood lymphocyte counts in hemochromatosis probands with HFE C282Y homozygosity relationship to severity of iron overload and HLA-A and -B alleles and haplotypes 英文论文文献.doc
- Total carbon accumulation in a tropical forest landscape 英文论文文献.doc
- Total smoking bans in psychiatric inpatient services a survey of perceived benefits, barriers and support among staff 英文论文文献.doc
- Total lymphocyte count as a surrogate marker for CD4 count in resource-limited settings 英文论文文献.doc
- Totale parenterale Ern hrung in der P diatrie Praxis in einer Universit tsklinik zeigt Bedarf für Standardisierung 英文论文文献.doc
- Totalitarianism and Kazakh Literary Criticism in the 40s of the XX Century 英文论文文献.doc
- Total IgE and Absolute Eosinophils Count as a Predictor of Allergic Diseases in Children 英文论文文献.doc
- Total Peripheral Lymphocyte Count in Malignant Tumors An Index of Prognostication 英文论文文献.doc
- 【人民日报】十五五规划必刷100题及答案.docx
- 国家电网有限公司高校毕业生招聘考试公共与行业知识题库及答案（2026版）.docx
- 高中入团积极分子考试题库及答案.docx
- 北京工业大学耿丹学院《社会福利思想》2025-2026学年期末试卷.doc
- 北京工业大学耿丹学院《新中国史》2025-2026学年期末试卷.doc
- 北京工业大学耿丹学院《文献信息检索与利用》2025-2026学年期末试卷.doc
- 活动策划丨长城炮越野皮卡上市发布方案 .pdf
- 【中考动员】主题班会《100天做自己的六边形战士+》.pptx
- 中考英语高频词汇第二部分 阅读技能·提升练（学用）.pdf
- 商业综合体安全生产管理制度.docx
最近下载
- 联通校招技术笔试题目及答案.doc VIP
- 35KV变电站施工组织设计.doc VIP
- Zynq-7000可扩展处理平台架构概述.pdf
- 2026年国企基层党支部查摆问题和整改措施清单（16方面）.docx VIP
- 2025财务金融笔试题及答案.doc VIP
- 2024齿轮轮齿的磨损和损伤第2部分：补充信息.docx VIP
- 修改病历申请模板.doc VIP
- zynq soc zynq 7000汇总官方zynq soc zynq 7000汇总3microzed板载microzed_gettingstarted_v1_0.pdf VIP
- Xilinx Zynq 7000-总结.pptx VIP
- ppt课件-能量代谢与体温调节.ppt VIP
文档评论（0）