掌桥科研
一站式科研服务平台
科技查新
收录引用
专题文献代查
外文数据库(机构版)
更多产品
首页
成为会员
我要充值
退出
我的积分:
中文会员
开通
中文文献批量获取
外文会员
开通
外文文献批量获取
我的订单
会员中心
我的包量
我的余额
登录/注册
文献导航
中文期刊
>
中文会议
>
中文学位
>
中国专利
>
外文期刊
>
外文会议
>
外文学位
>
外国专利
>
外文OA文献
>
外文科技报告
>
中文图书
>
外文图书
>
工业技术
基础科学
医药卫生
农业科学
教科文艺
经济财政
社会科学
哲学政法
其他
工业技术
基础科学
医药卫生
农业科学
教科文艺
经济财政
社会科学
哲学政法
其他
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
材料科学
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
马克思主义、列宁主义、毛泽东思想、邓小平理论
哲学、宗教
社会科学总论
政治、法律
军事
经济
文化、科学、教育、体育
语言、文字
文学
艺术
历史、地理
自然科学总论
数理科学和化学
天文学、地球科学
生物科学
医药、卫生
农业科学
工业技术
交通运输
航空、航天
环境科学、安全科学
综合性图书
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
材料科学
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
材料科学
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
美国国防部AD报告
美国能源部DE报告
美国航空航天局NASA报告
美国商务部PB报告
外军国防科技报告
美国国防部
美国参联会主席指示
美国海军
美国空军
美国陆军
美国海军陆战队
美国国防技术信息中心(DTIC)
美军标
美国航空航天局(NASA)
战略与国际研究中心
美国国土安全数字图书馆
美国科学研究出版社
兰德公司
美国政府问责局
香港科技大学图书馆
美国海军研究生院图书馆
OALIB数据库
在线学术档案数据库
数字空间系统
剑桥大学机构知识库
欧洲核子研究中心机构库
美国密西根大学论文库
美国政府出版局(GPO)
加利福尼亚大学数字图书馆
美国国家学术出版社
美国国防大学出版社
美国能源部文献库
美国国防高级研究计划局
美国陆军协会
美国陆军研究实验室
英国空军
美国国家科学基金会
美国战略与国际研究中心-导弹威胁网
美国科学与国际安全研究所
法国国际关系战略研究院
法国国际关系研究所
国际宇航联合会
美国防务日报
国会研究处
美国海运司令部
北约
盟军快速反应部队
北约浅水行动卓越中心
北约盟军地面部队司令部
北约通信信息局
北约稳定政策卓越中心
美国国会研究服务处
美国国防预算办公室
美国陆军技术手册
一般OA
科技期刊论文
科技会议论文
图书
科技报告
科技专著
标准
其它
美国卫生研究院文献
分子生物学
神经科学
药学
外科
临床神经病学
肿瘤学
细胞生物学
遗传学
公共卫生&环境&职业病
应用微生物学
全科医学
免疫学
动物学
精神病学
兽医学
心血管
放射&核医学&医学影像学
儿科
医学进展
微生物学
护理学
生物学
牙科&口腔外科
毒理学
生理学
医院管理
妇产科学
病理学
生化技术
胃肠&肝脏病学
运动科学
心理学
营养学
血液学
泌尿科学&肾病学
生物医学工程
感染病
生物物理学
矫形
外周血管病
药物化学
皮肤病学
康复学
眼科学
行为科学
呼吸学
进化生物学
老年医学
耳鼻喉科学
发育生物学
寄生虫学
病毒学
医学实验室检查技术
生殖生物学
风湿病学
麻醉学
危重病护理
生物材料
移植
医学情报
其他学科
人类生活必需品
作业;运输
化学;冶金
纺织;造纸
固定建筑物
机械工程;照明;加热;武器;爆破
物理
电学
人类生活必需品
作业;运输
化学;冶金
纺织;造纸
固定建筑物
机械工程;照明;加热;武器;爆破
物理
电学
马克思主义、列宁主义、毛泽东思想、邓小平理论
哲学、宗教
社会科学总论
政治、法律
军事
经济
文化、科学、教育、体育
语言、文字
文学
艺术
历史、地理
自然科学总论
数理科学和化学
天文学、地球科学
生物科学
医药、卫生
农业科学
工业技术
交通运输
航空、航天
环境科学、安全科学
综合性图书
主题
主题
题名
作者
关键词
摘要
高级搜索 >
外文期刊
外文会议
外文学位
外国专利
外文图书
外文OA文献
中文期刊
中文会议
中文学位
中国专利
中文图书
外文科技报告
清除
历史搜索
清空历史
首页
>
外文会议
>
计算机、自动化
>
2016 13th International Workshop on Discrete Event Systems
2016 13th International Workshop on Discrete Event Systems
召开年:
召开地:
出版时间:
-
会议文集:
-
会议论文
热门论文
全部论文
相关中文期刊
计算机测量与控制
制造业自动化
测试技术学报
计算机应用
学电脑
计算机应用文摘
微处理机
小型微型计算机系统
福建电脑
计算机科学与探索
更多>>
相关外文期刊
International Journal of High Speed Computing
Soft letter
International journal of open source software & processes
International journal of humanoid robotics
Software Development
Automatic Documentation and Mathematical Linguistics
Journal of Organizational and End User Computing
パソコン;ワークステーションによるソフトウェア開発のテクニカル情報誌
Genetic programming and evolvable machines
Neural computation
更多>>
相关中文会议
第十届全国遥测遥控技术年会
第30届中国数据库学术会议
2006中国过程系统工程年会(PSE 2006)
2006有色金属行业信息化年会
2003年全国系统仿真学术年会
2014全国文档信息处理学术会议
2002信息化与信息资源管理学术研讨会
第五届全国信息检索学术会议CCIR2009
2004年全国计算机体系结构学术会议
第十届VXI技术研讨会
更多>>
相关外文会议
International Conference on Computer Safety, Reliability, and Security(SAFECOMP 2004); 20040921-24; Potsdam(DE)
Conference on Multisensor, Multisource Information Fusion: Architectures, Algorithms, and Applications 2004; 20040414-20040415; Orlando,FL; US
String processing and information retrieval
International Conference on Computer Aided Systems Theory(EUROCAST 2005); 20050207-11; Las Palmas de Gran Canaria(ES)
2004 Sino-Japan Symposium on KANSEI & Artificial Life
Visual information processing and communication V
Advances in web-based learning - ICWL 2013 Workshops
Advances in new technologies, interactive interfaces and communicability
International IFIP Workshop on Autonomic Communication(WAC 2004); 20041018-19; Berlin(DE)
Visual information processing and communication III
更多>>
热门会议
Meeting of the internet engineering task force;IETF
日本建築学会;日本建築学会大会
日本建築学会(Architectural Institute of Japan);日本建築学会年度大会
日本建築学会学術講演会;日本建築学会
日本建築学会2010年度大会(北陸)
Korean Society of Noise & Vibration Control;Institute of Noise Control Engineering;International congress and exposition on noise control engineering;ASME Noise Control & Acoustics Division
土木学会;土木学会全国大会年次学術講演会
応用物理学会秋季学術講演会;応用物理学会
総合大会;電子情報通信学会
The 4th International Conference on Wireless Communications, Networking and Mobile Computing(第四届IEEE无线通信、网络技术及移动计算国际会议)论文集
更多>>
最新会议
2011 IEEE Cool Chips XIV
International workshop on Java technologies for real-time and embedded systems
Supercomputing '88. [Vol.1]. Proceedings.
RILEM Proceedings PRO 40; International RILEM Conference on the Use of Recycled Materials in Buildings and Structures vol.1; 20041108-11; Barcelona(ES)
International Workshop on Hybrid Metaheuristics(HM 2007); 20071008-09; Dortmund(DE)
The 57th ARFTG(Automatic RF Techniques Group) Conference, May 25, 2001, Phoenix, AZ
Real Time Systems Symposium, 1989., Proceedings.
Conference on Chemical and Biological Sensing V; 20040412-20040413; Orlando,FL; US
American Filtration and Separations Society conference
Combined structures congress;North American steel construction conference;NASCC
更多>>
全选(
0
)
清除
导出
1.
A customizable railway benchmark to deal with fault diagnosis issues in DES
机译:
可定制的铁路基准以处理DES中的故障诊断问题
作者:
Mohamed Ghazel
;
Baisi Liu
会议名称:
《2016 13th International Workshop on Discrete Event Systems》
|
2016年
2.
A new algorithm for computing the supremal relatively observable sublanguage
机译:
计算最高相对可观察子语言的新算法
作者:
Kai Cai
;
W. M. Wonham
会议名称:
《2016 13th International Workshop on Discrete Event Systems》
|
2016年
关键词:
Nerode equivalence relation;
Supervisory control;
discrete-event systems;
partial-observation;
regular languages;
relative observability;
3.
A polynomial complexity deadlock avoidance method for a class of flexible manufacturing systems
机译:
一类柔性制造系统的多项式复杂度避免死锁方法
作者:
Huixia Liu
;
Weimin Wu
;
Hongye Su
;
Hongyong Yang
会议名称:
《2016 13th International Workshop on Discrete Event Systems》
|
2016年
4.
A pure SPEC-inscribed PN model for reconfigurable systems
机译:
用于可重配置系统的纯SPEC刻写的PN模型
作者:
Lorenzo Capra
会议名称:
《2016 13th International Workshop on Discrete Event Systems》
|
2016年
5.
A twin-plant based approach for diagnosability analysis of intermittent failures
机译:
基于双工厂的间歇性故障诊断方法
作者:
Abderraouf Boussif
;
Baisi Liu
;
Mohamed Ghazel
会议名称:
《2016 13th International Workshop on Discrete Event Systems》
|
2016年
6.
Automated service composition via supervisory control theory
机译:
基于监督控制理论的自动化服务组合
作者:
Francis Atampore
;
Juergen Dingel
;
Karen Rudie
会议名称:
《2016 13th International Workshop on Discrete Event Systems》
|
2016年
7.
Buffer space configuration and scheduling analysis of single-arm multi-cluster tools
机译:
单臂多集群工具的缓冲区空间配置和调度分析
作者:
LiPing Bai
;
NaiQi Wu
;
ZhiWu Li
;
MengChu Zhou
会议名称:
《2016 13th International Workshop on Discrete Event Systems》
|
2016年
8.
Comparing MILP, CP, and A* for multiple stacker crane scheduling
机译:
比较MILP,CP和A *以进行多台堆垛机起重机调度
作者:
Fredrik Hagebring
;
Oskar Wigström
;
Bengt Lennartson
;
Simon Ian Ware
;
Rong Su
会议名称:
《2016 13th International Workshop on Discrete Event Systems》
|
2016年
9.
Concolic test generation for PLC programs using coverage metrics
机译:
使用覆盖率指标为PLC程序生成共通测试
作者:
Dimitri Bohlender
;
Hendrik Simon
;
Nico Friedrich
;
Stefan Kowalewski
;
Stefan Hauck-Stattelmann
会议名称:
《2016 13th International Workshop on Discrete Event Systems》
|
2016年
10.
Decentralized state estimation in discrete event systems under partially ordered observation sequences
机译:
部分有序观测序列下离散事件系统中的分散状态估计
作者:
Christoforos N. Hadjicostis
;
Carla Seatzu
会议名称:
《2016 13th International Workshop on Discrete Event Systems》
|
2016年
11.
Detection and prevention of actuator enablement attacks in supervisory control systems
机译:
监控系统中执行器启用攻击的检测和预防
作者:
Lilian Kawakami Carvalho
;
Yi-Chin Wu
;
Raymond Kwong
;
Stéphane Lafortune
会议名称:
《2016 13th International Workshop on Discrete Event Systems》
|
2016年
12.
Diagnosability of repairable faults
机译:
可修复故障的可诊断性
作者:
Eric Fabre
;
Loïc Hélouët
;
Engel Lefaucheux
;
Hervé Marchand
会议名称:
《2016 13th International Workshop on Discrete Event Systems》
|
2016年
13.
Diagnosis and diagnosability analysis of labeled Petri nets using reduction rules
机译:
使用归约规则的带标记Petri网的诊断和可诊断性分析
作者:
Ben Li
;
Manel Khlif-Bouassida
;
Armand Toguyéni
会议名称:
《2016 13th International Workshop on Discrete Event Systems》
|
2016年
关键词:
Diagnosability analysis;
Discrete event system;
Fault diagnosis;
Labeled Petri net;
Reduction rules;
14.
Enforcing opacity with Orwellian observation
机译:
用Orwellian观察增强不透明度
作者:
Moez Yeddes
会议名称:
《2016 13th International Workshop on Discrete Event Systems》
|
2016年
关键词:
Formal verification;
Minimal Super-language;
Opacity;
Orwellian observation;
Security policies;
Supremal Sub-language;
15.
Estimating distribution sensitivity using generalized likelihood ratio method
机译:
使用广义似然比方法估计分布敏感性
作者:
Yijie Peng
;
Michael C. Fu
;
Jian-Qiang Hu
会议名称:
《2016 13th International Workshop on Discrete Event Systems》
|
2016年
关键词:
distribution sensitivity;
likelihood ratio method;
perturbation analysis;
simulation;
stochastic derivative estimation;
16.
Event excitation for event-driven control and optimization of multi-agent systems
机译:
事件激励,用于事件驱动的多智能体系统控制和优化
作者:
Yasaman Khazaeni
;
Christos G. Cassandras
会议名称:
《2016 13th International Workshop on Discrete Event Systems》
|
2016年
17.
Programming a fast explicit conflict checker
机译:
编程快速显式冲突检查器
作者:
Robi Malik
会议名称:
《2016 13th International Workshop on Discrete Event Systems》
|
2016年
18.
Fault-tolerant control of deterministic I/O automata with ambiguous diagnostic result
机译:
诊断结果不确定的确定性I / O自动机的容错控制
作者:
Melanie Schuh
;
Jan Lunze
会议名称:
《2016 13th International Workshop on Discrete Event Systems》
|
2016年
19.
Google's PageRank algorithm for ranking nodes in general networks
机译:
Google的PageRank算法,用于对通用网络中的节点进行排名
作者:
Joost Berkhout
会议名称:
《2016 13th International Workshop on Discrete Event Systems》
|
2016年
关键词:
Google PageRank;
Markov multi-chains;
random surfer;
transient states;
20.
Identification of labeled Time Petri nets
机译:
识别带标签的时间Petri网
作者:
Francesco Basile
;
Pasquale Chiacchio
;
Jolanda Coppola
会议名称:
《2016 13th International Workshop on Discrete Event Systems》
|
2016年
21.
Integrated optimal production and energy control of a single machine and single product-type manufacturing system
机译:
单一机器和单一产品类型制造系统的集成式最佳生产和能源控制
作者:
Wei Wei
;
Zheng Wang
会议名称:
《2016 13th International Workshop on Discrete Event Systems》
|
2016年
22.
IPA in the loop: Control design for throughput regulation in computer processors
机译:
IPA循环:计算机处理器中吞吐量调节的控制设计
作者:
X. Chen
;
Y. Wardi
;
S. Yalamanchili
会议名称:
《2016 13th International Workshop on Discrete Event Systems》
|
2016年
23.
Modelling and analyzing home care plans using high-level Petri nets
机译:
使用高级Petri网建模和分析家庭护理计划
作者:
Kamel Barkaoui
;
Awatef Hicheur
;
Ahmed Kheldoun
;
Ding Liu
会议名称:
《2016 13th International Workshop on Discrete Event Systems》
|
2016年
24.
Modular supervisor synthesis for extended finite-state machines subject to controllability
机译:
受控制的扩展有限状态机的模块化主管综合
作者:
Robi Malik
;
Marcelo Teixeira
会议名称:
《2016 13th International Workshop on Discrete Event Systems》
|
2016年
25.
Modular supervisory control of networked discrete-event systems
机译:
网络离散事件系统的模块化监督控制
作者:
Jan Komenda
;
Feng Lin
会议名称:
《2016 13th International Workshop on Discrete Event Systems》
|
2016年
26.
Multi-robot path planning for syntactically co-safe LTL specifications
机译:
语法上共同安全的LTL规范的多机器人路径规划
作者:
Marius Kloetzer
;
Cristian Mahulea
会议名称:
《2016 13th International Workshop on Discrete Event Systems》
|
2016年
27.
Multiparametric predictive control for a class of Discrete Event Systems
机译:
一类离散事件系统的多参数预测控制
作者:
Hakima Hamri
;
Redouane Kara
;
Said Amari
会议名称:
《2016 13th International Workshop on Discrete Event Systems》
|
2016年
28.
On-line scheduling in multiprocessor systems based on continuous control using Timed Continuous Petri Nets
机译:
使用定时连续Petri网基于连续控制的多处理器系统中的在线调度
作者:
G. Desirena-López
;
C. R. Vázquez
;
J. L. Briz
;
A. Ramírez-Treviño
;
D. Gómez-Gutiérrez
会议名称:
《2016 13th International Workshop on Discrete Event Systems》
|
2016年
关键词:
Control;
Modeling;
Scheduling;
TCPN;
29.
Optimization of parametric policies of Markov decision processes under a variance criterion
机译:
方差准则下马尔可夫决策过程的参数策略优化
作者:
Li Xia
会议名称:
《2016 13th International Workshop on Discrete Event Systems》
|
2016年
关键词:
Markov decision process;
discrete event system;
parametric policy;
sensitivity analysis;
variance criterion;
30.
Preserving opacity on Interval Markov Chains under simulation
机译:
在仿真下保持区间马尔可夫链上的不透明度
作者:
Béatrice Bérard
;
Olga Kouchnarenko
;
John Mullins
;
Mathieu Sassolas
会议名称:
《2016 13th International Workshop on Discrete Event Systems》
|
2016年
31.
Supervisory enforcement of current-state opacity with uncomparable observations
机译:
无与伦比的观察结果对当前状态不透明的监督执行
作者:
Yin Tong
;
Ziyue Ma
;
Zhiwu Li
;
Carla Seatzu
;
Alessandro Giua
会议名称:
《2016 13th International Workshop on Discrete Event Systems》
|
2016年
32.
Receding-horizon control for max-plus linear systems with discrete actions using optimistic planning
机译:
带有最优规划的具有离散作用的最大加线性系统的后向水平控制
作者:
Jia Xu
;
Lucian Buşoniu
;
Ton van den Boom
;
Bart De Schutter
会议名称:
《2016 13th International Workshop on Discrete Event Systems》
|
2016年
33.
Robust controllers in disturbance decoupling of uncertain max-plus linear systems: an application to a high throughput screening system for drug discovery
机译:
不确定的最大加线性系统干扰解耦中的鲁棒控制器:在用于药物发现的高通量筛选系统中的应用
作者:
Ying Shang
;
Laurent Hardouin
;
Mehdi Lhommeau
;
Carlos Andrey Maia
会议名称:
《2016 13th International Workshop on Discrete Event Systems》
|
2016年
34.
Solving a class of discrete event simulation-based optimization problems using ¿¿¿optimality in probability¿¿¿
机译:
使用概率最佳化解决一类基于离散事件模拟的优化问题
作者:
Jianfeng Mao
;
Christos G. Cassandras
会议名称:
《2016 13th International Workshop on Discrete Event Systems》
|
2016年
关键词:
Nonstationary Inventory Control;
Optimality in Probability;
Simulation-based Optimization;
35.
Stochastic path optimization for robotic bees using cloud computing
机译:
基于云计算的机械蜜蜂随机路径优化
作者:
Felisa Vázquez-Abad
;
Silvano Bernabel
会议名称:
《2016 13th International Workshop on Discrete Event Systems》
|
2016年
36.
Structural fault diagnosis in Timed Continuous Petri Nets
机译:
定时连续Petri网中的结构故障诊断
作者:
J. A. Fraustro
;
J. Ruiz-León
;
C. R. Vázquez
;
A. Ramírez-Treviño
会议名称:
《2016 13th International Workshop on Discrete Event Systems》
|
2016年
关键词:
Diagnosis and Fault Detection;
Hybrid Systems;
Petri Nets;
37.
Synthesis Tool for Automation Controller Supervision
机译:
自动化控制器监控综合工具
作者:
Florian Göbe
;
Thomas Timmermanns
;
Oliver Ney
;
Stefan Kowalewski
会议名称:
《2016 13th International Workshop on Discrete Event Systems》
|
2016年
38.
Tracking control of deterministic I/O automata
机译:
确定性I / O自动机的跟踪控制
作者:
Melanie Schuh
;
Jan Lunze
会议名称:
《2016 13th International Workshop on Discrete Event Systems》
|
2016年
39.
Why is my supervisor empty? Finding causes for the unreachability of states in synthesized supervisors
机译:
为什么我的主管空着?在综合监管者中寻找国家无法到达的原因
作者:
L. Swartjes
;
M. A. Reniers
;
D. A. van Beek
;
W. J. Fokkink
会议名称:
《2016 13th International Workshop on Discrete Event Systems》
|
2016年
40.
Faults prognosis using partially observed stochastic Petri nets
机译:
使用部分观测的随机Petri网进行故障预测
作者:
R. Ammour
;
E. Leclercq
;
E. Sanlaville
;
D. Lefebvre
会议名称:
《2016 13th International Workshop on Discrete Event Systems》
|
2016年
41.
Faulty model identification in deterministic labeled Time Petri nets
机译:
确定性标记时间Petri网中的故障模型识别
作者:
Francesco Basile
;
Pasquale Chiacchio
;
Jolanda Coppola
会议名称:
《2016 13th International Workshop on Discrete Event Systems》
|
2016年
42.
A method for the synchronisation of networked discrete-event systems
机译:
网络离散事件系统的同步方法
作者:
Markus Zgorzelski
;
Jan Lunze
会议名称:
《2016 13th International Workshop on Discrete Event Systems》
|
2016年
43.
A new linear constraint transformation approach for Petri nets with uncontrollable transitions
机译:
具有不可控制过渡的Petri网的一种新的线性约束变换方法
作者:
Dan You
;
ShouGuang Wang
;
Carla Seatzu
会议名称:
《2016 13th International Workshop on Discrete Event Systems》
|
2016年
关键词:
Discrete event systems;
Petri nets;
equivalent transformation;
linear constraints;
44.
Deadlock-free scheduling for timed Petri net models combined with MPC and backtracking
机译:
结合了MPC和回溯的定时Petri网模型的无死锁调度
作者:
Dimitri Lefebvre
会议名称:
《2016 13th International Workshop on Discrete Event Systems》
|
2016年
45.
Discontinuities and non-monotonicities in Mono-T-Semiflow timed continuous Petri nets
机译:
Mono-T-Semiflow定时连续Petri网中的不连续性和非单调性
作者:
Manuel Navarro-Gutiérrez
;
Antonio Ramírez-Treviño
;
Manuel Silva
会议名称:
《2016 13th International Workshop on Discrete Event Systems》
|
2016年
46.
A Petri Net model for fleet sizing of Electric Car Sharing Systems
机译:
用于电动汽车共享系统车队规模估算的Petri网模型
作者:
Maria Pia Fanti
;
Agostino Marcello Mangini
;
Giovanni Pedroncelli
;
Walter Ukovich
会议名称:
《2016 13th International Workshop on Discrete Event Systems》
|
2016年
47.
A resiliency measure for electrical power systems
机译:
电力系统的弹性措施
作者:
Mariam Ibrahim
;
Jun Chen
;
Ratnesh Kumar
会议名称:
《2016 13th International Workshop on Discrete Event Systems》
|
2016年
48.
Analysis of Timed Automata with Guards in dioids algebra
机译:
Dioids代数中带守卫的定时自动机的分析
作者:
Julien Niguez
;
Saïd Amari
;
Jean-Marc Faure
会议名称:
《2016 13th International Workshop on Discrete Event Systems》
|
2016年
关键词:
Timed automata with guards;
dioids algebra;
discrete event systems;
linear representation;
49.
Backward conflict free systems with resources and their distributed control using Petri nets
机译:
使用Petri网的具有资源的后向无冲突系统及其分布式控制
作者:
Yan Yang
;
HeSuan Hu
会议名称:
《2016 13th International Workshop on Discrete Event Systems》
|
2016年
50.
Communication rate analysis for event-based state estimation
机译:
通信速率分析,用于基于事件的状态估计
作者:
Simon Ebner
;
Sebastian Trimpe
会议名称:
《2016 13th International Workshop on Discrete Event Systems》
|
2016年
51.
Computing continuous control laws for gene regulatory networks within a discrete-event systems approach
机译:
在离散事件系统方法中计算基因调控网络的连续控制律
作者:
Fabio L. Baldissera
;
José E. R. Cury
会议名称:
《2016 13th International Workshop on Discrete Event Systems》
|
2016年
52.
Control of an engineering-structured multilevel discrete-event system
机译:
工程结构的多级离散事件系统的控制
作者:
Jan Komenda
;
Tomáš Masopust
;
Jan H. van Schuppen
会议名称:
《2016 13th International Workshop on Discrete Event Systems》
|
2016年
53.
Cyclic workflow resource requirement analysis and application in healthcare
机译:
循环工作流资源需求分析及在医疗中的应用
作者:
Jiacun Wang
;
Xiaoou Li
;
Gaiyun Liu
会议名称:
《2016 13th International Workshop on Discrete Event Systems》
|
2016年
关键词:
Cyclic workflows;
Petri nets;
healthcare workflows;
resource requirements analysis;
resource-oriented workflow nets;
54.
Delay bound of inference-based decentralized diagnosis in discrete event systems
机译:
离散事件系统中基于推理的分散诊断的延迟边界
作者:
Shigemasa Takai
;
Ratnesh Kumar
会议名称:
《2016 13th International Workshop on Discrete Event Systems》
|
2016年
55.
Diagnosability verification using compositional branching bisimulation
机译:
使用成分分支双仿真的可诊断性验证
作者:
Mona Noori-Hosseini
;
Bengt Lennartson
会议名称:
《2016 13th International Workshop on Discrete Event Systems》
|
2016年
56.
Efficient algorithm for quay crane scheduling with arbitrary precedence constraint
机译:
具有任意优先级约束的码头起重机调度的高效算法
作者:
Ming Liu
;
Lujun Xu
;
Shijin Wang
;
Chengbin Chu
会议名称:
《2016 13th International Workshop on Discrete Event Systems》
|
2016年
57.
Exploiting symmetry of state tree structures for discrete-event systems with parallel components
机译:
利用具有并行组件的离散事件系统的状态树结构的对称性
作者:
Ting Jiao
;
Yongmei Gan
;
Guochun Xiao
;
W. M. Wonham
会议名称:
《2016 13th International Workshop on Discrete Event Systems》
|
2016年
58.
Fourier-Motzkin method for failure diagnosis in Petri Net models of discrete event systems
机译:
离散事件系统Petri网模型中故障诊断的傅里叶-莫兹金方法
作者:
Ahmed Al-Ajeli
;
Behzad Bordbar
会议名称:
《2016 13th International Workshop on Discrete Event Systems》
|
2016年
59.
Graph transformation as a modelling framework for supervisory control
机译:
图形转换作为监督控制的建模框架
作者:
Jeremie Benhamron
;
John G. Thistle
会议名称:
《2016 13th International Workshop on Discrete Event Systems》
|
2016年
关键词:
Graph transformation systems (GTS);
automata;
category theory;
modeling;
60.
Incremental scheduling of discrete event systems
机译:
离散事件系统的增量调度
作者:
Simon Ware
;
Rong Su
会议名称:
《2016 13th International Workshop on Discrete Event Systems》
|
2016年
61.
Modeling and control of resource sharing problems in dioids
机译:
Dioid中的资源共享问题的建模和控制
作者:
Soraia Moradi
;
Laurent Hardouin
;
Jörg Raisch
会议名称:
《2016 13th International Workshop on Discrete Event Systems》
|
2016年
62.
Network codiagnosability of Discrete-Event Systems subject to event communication delays
机译:
受事件通信延迟影响的离散事件系统的网络共诊断性
作者:
Carlos E. V. Nunes
;
Marcos V. Moreira
;
Marcos V. S. Alves
;
João C. Basilio
会议名称:
《2016 13th International Workshop on Discrete Event Systems》
|
2016年
63.
On maximal permissiveness in partially-observed discrete event systems: Verification and synthesis
机译:
关于部分观测的离散事件系统中的最大允许:验证和综合
作者:
Xiang Yin
;
Stéphane Lafortune
会议名称:
《2016 13th International Workshop on Discrete Event Systems》
|
2016年
64.
On two-way observer and its application to the verification of infinite-step and K-step opacity
机译:
关于双向观测器及其在无限步和K步不透明度验证中的应用
作者:
Xiang Yin
;
Stéphane Lafortune
会议名称:
《2016 13th International Workshop on Discrete Event Systems》
|
2016年
65.
Optimal scheduling of time-constrained single-arm cluster tools with wafer revisiting
机译:
晶圆再造的时间约束单臂集群工具的最佳调度
作者:
ZiCheng Liu
;
NaiQi Wu
;
FaJun Yang
;
Yan Qiao
会议名称:
《2016 13th International Workshop on Discrete Event Systems》
|
2016年
66.
Optimal self-driven sampling for estimation based on value of information
机译:
基于信息价值的最优自驱动采样估计
作者:
Touraj Soleymani
;
Sandra Hirche
;
John S. Baras
会议名称:
《2016 13th International Workshop on Discrete Event Systems》
|
2016年
关键词:
Approximate Dynamic Programming;
Estimation;
Self-Driven Sampling;
Value of Information;
67.
Priced discrete Automata for modeling energy efficient manufacturing systems
机译:
定价的离散自动机,用于建模节能制造系统
作者:
Wassim Mohamed Boussahel
;
Georg Frey
会议名称:
《2016 13th International Workshop on Discrete Event Systems》
|
2016年
关键词:
PRISM model checker;
cost optimization;
discrete event systems;
priced timed automata;
68.
Probabilistic system opacity in discrete event systems
机译:
离散事件系统中的概率系统不透明性
作者:
Christoforos Keroglou
;
Christoforos N. Hadjicostis
会议名称:
《2016 13th International Workshop on Discrete Event Systems》
|
2016年
69.
Quantification of distributed secrecy loss in stochastic discrete event systems under bounded-delay communications
机译:
有界延迟通信下随机离散事件系统中分布式保密损失的量化
作者:
Mariam Ibrahim
;
Jun Chen
;
Ratnesh Kumar
会议名称:
《2016 13th International Workshop on Discrete Event Systems》
|
2016年
70.
Rescheduling affected operations - a purely predictive approach
机译:
重新安排受影响的作业-一种纯粹的预测方法
作者:
Nina Sundström
;
Bengt Lennartson
会议名称:
《2016 13th International Workshop on Discrete Event Systems》
|
2016年
71.
Resource planning of intermodal terminals using timed Petri nets
机译:
使用定时Petri网的联运码头资源规划
作者:
Graziana Cavone
;
Mariagrazia Dotoli
;
Carla Seatzu
会议名称:
《2016 13th International Workshop on Discrete Event Systems》
|
2016年
72.
Selection of solution strategies for colored traveling salesman problems with different city distribution
机译:
不同城市分布的有色旅行推销员问题的解决方案选择
作者:
Xianghu Meng
;
Jun Li
;
Xiangzhong Dai
会议名称:
《2016 13th International Workshop on Discrete Event Systems》
|
2016年
关键词:
City Color Distribution;
Colored Traveling Salesman Problem;
Genetic Algorithm;
Greedy Algorithm;
Simulated Annealing Algorithm;
73.
Strategies for two-player differential games with costly information
机译:
具有昂贵信息的两人差分游戏策略
作者:
Dipankar Maity
;
John S. Baras
会议名称:
《2016 13th International Workshop on Discrete Event Systems》
|
2016年
74.
Supervisor abstraction to deal with planning problems in manufacturing systems
机译:
主管抽象以处理制造系统中的计划问题
作者:
Juliana Nogueira Vilela
;
Patrícia N. Pena
会议名称:
《2016 13th International Workshop on Discrete Event Systems》
|
2016年
75.
Supervisory controller synthesis for decomposable deterministic context free specification languages
机译:
可分解的确定性上下文无关规范语言的监督控制器综合
作者:
Kaushik Mallik
;
Anne-Kathrin Schmuck
会议名称:
《》
|
2016年
关键词:
Deterministic Context Free Languages;
Hierarchical Decentralized Control;
Supervisory Control Theory;
76.
Threshold optimization of event-triggered multi-loop control systems
机译:
事件触发的多回路控制系统的阈值优化
作者:
Burak Demirel
;
Vijay Gupta
;
Daniel E. Quevedo
;
Mikael Johansson
会议名称:
《2016 13th International Workshop on Discrete Event Systems》
|
2016年
关键词:
Deadbeat control;
Event-triggered control;
Shared communication channel;
意见反馈
回到顶部
回到首页