2011 3rd International Workshop on Dependable Control of Discrete Systems最新文献

Fault detection by labeled Petri nets and time constraints 基于标记Petri网和时间约束的故障检测

2011 3rd International Workshop on Dependable Control of Discrete Systems Pub Date : 2011-06-15 DOI: 10.1109/DCDS.2011.5970336

M. Fanti, A. M. Mangini, W. Ukovich

引用次数: 14

On the use of observation equivalence in synthesis abstraction 论观察等价在综合抽象中的应用

2011 3rd International Workshop on Dependable Control of Discrete Systems Pub Date : 2011-06-15 DOI: 10.1109/DCDS.2011.5970323

Sahar Mohajerani, R. Malik, S. Ware, Martin Fabian

引用次数: 14

Online control reconfiguration for a faulty manufacturing process 故障制造过程的在线控制重构

2011 3rd International Workshop on Dependable Control of Discrete Systems Pub Date : 2011-06-15 DOI: 10.1109/DCDS.2011.5970312

Yannick Nke, J. Lunze

引用次数: 14

Dynamic adaptation of IEEE 802.11e priorities for improving temporal performance and safety of a Wireless Networked Discrete Control system 动态适应IEEE 802.11e优先级以提高无线网络离散控制系统的时间性能和安全性

2011 3rd International Workshop on Dependable Control of Discrete Systems Pub Date : 2011-06-15 DOI: 10.1109/DCDS.2011.5970333

G. Habib, J. Pétin, T. Divoux

引用次数: 4

Reliability analysis of multi-source multi-sink critical interacting systems 多源多汇关键交互系统可靠性分析

2011 3rd International Workshop on Dependable Control of Discrete Systems Pub Date : 2011-06-15 DOI: 10.1109/DCDS.2011.5970330

A. Bobbio, R. Terruggia, E. Ciancamerla, M. Minichino

引用次数: 5

Production, preventive and corrective maintenance planning in manufacturing systems under imperfect repairs 生产，预防和纠正维修计划的制造系统在不完善的维修

2011 3rd International Workshop on Dependable Control of Discrete Systems Pub Date : 2011-06-15 DOI: 10.1109/DCDS.2011.5970319

A. Kouedeu, J. Kenné, V. Songmene

{"title":"Production, preventive and corrective maintenance planning in manufacturing systems under imperfect repairs","authors":"A. Kouedeu, J. Kenné, V. Songmene","doi":"10.1109/DCDS.2011.5970319","DOIUrl":"https://doi.org/10.1109/DCDS.2011.5970319","url":null,"abstract":"This paper deals with the joint analysis of the optimal production and maintenance planning problems for a manufacturing system subject to random failures and repairs. When a machine fails down, an imperfect corrective maintenance is undertaken. The objective of this study is to minimize a discounted overall cost consisting of preventive and corrective maintenance costs, inventory holding cost and backlog cost. A two-level hierarchical decision making approach, based on the determination of the mean time to failure (first level) and the statement of a joint optimization of production, preventive and corrective maintenance policies (second level) is proposed. Hence the production, preventive and corrective maintenance rates are determined in the second level given the failure rates obtained from the first level. In the proposed model, the failure rate of the machine depends on the number of failures; hence, the control policies of the considered planning problems depend on the number of failures. A numerical example and a sensitivity analysis will illustrate the structure of the optimal control policies and the usefulness on the proposed approach.","PeriodicalId":131902,"journal":{"name":"2011 3rd International Workshop on Dependable Control of Discrete Systems","volume":"14 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2011-06-15","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"122315623","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}

引用次数: 5

Methodology to obtain local discrete diagnosers: Submission for special session on diagnosis of DES: Application on a benchmark 获得局部离散诊断器的方法:提交给DES诊断特别会议:在基准上的应用

2011 3rd International Workshop on Dependable Control of Discrete Systems Pub Date : 2011-06-15 DOI: 10.1109/DCDS.2011.5970317

A. Philippot, V. Carré-Ménétrier

引用次数: 3

Geometric characterization of invariant regions for timed continuous Petri nets with control actions 带控制动作的定时连续Petri网不变量区域的几何表征

2011 3rd International Workshop on Dependable Control of Discrete Systems Pub Date : 2011-06-15 DOI: 10.1109/DCDS.2011.5970335

E. Leclercq, D. Lefebvre

引用次数: 0

Hazards in advising autonomy: Developing requirements for a hazard modelling methodology incorporating system dynamics 建议自主性的危害:开发包含系统动力学的危害建模方法的要求

2011 3rd International Workshop on Dependable Control of Discrete Systems Pub Date : 2011-06-15 DOI: 10.1109/DCDS.2011.5970328

C. G. Downes, P. Chung

{"title":"Hazards in advising autonomy: Developing requirements for a hazard modelling methodology incorporating system dynamics","authors":"C. G. Downes, P. Chung","doi":"10.1109/DCDS.2011.5970328","DOIUrl":"https://doi.org/10.1109/DCDS.2011.5970328","url":null,"abstract":"This paper describes the continuation of a research project to identify and develop tools for the identification and management of hazards likely to arise with the quality and reliability of automatic advice — such as in an automated system advisory function, especially where supporting a “Sense & Avoid” capability as embodied within an airborne autonomous system. An earlier literature survey has been used to map detail onto a Use Case model representing an outline certifiable system development process; thereby helping to identify an appropriate research direction within the broad range of potential end-user requirements. From this direction, an approach has emerged to evaluate hypothetical deviations from declared intent within a behavioral modeling framework to be styled upon Owen's STAMP-Based Hazard Analysis (STPA) [1]. For this approach an outline exemplar describing an air-proximity hazard arising between two air-vehicles has been developed, and the representation of the control structure and system dynamics describing this model are considered. Arising from this model some consideration is then given towards the expression of a more systematic approach in the construction of such models, leading towards new methods to derive safety requirements for implementation within autonomous air systems.","PeriodicalId":131902,"journal":{"name":"2011 3rd International Workshop on Dependable Control of Discrete Systems","volume":"49 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2011-06-15","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"128640448","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}

引用次数: 4

Reliability estimation using unscented transformation 利用无气味变换进行可靠性估计

2011 3rd International Workshop on Dependable Control of Discrete Systems Pub Date : 2011-06-15 DOI: 10.1109/DCDS.2011.5970326

J. Richter

引用次数: 10