2011 3rd International Workshop on Dependable Control of Discrete Systems
Latest Publications

TOTAL DOCUMENTS

38

(FIVE YEARS 0)

H-INDEX

6

(FIVE YEARS 0)

Published By IEEE

9781424489695

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Expert judgments collecting and modeling: Application to the Integrated Risks Analysis (IRA) methodology

2011 3rd International Workshop on Dependable Control of Discrete Systems ◽

10.1109/dcds.2011.5970321 ◽

2011 ◽

Author(s):

Geoffrey Fallet ◽

Carole Duval ◽

Geoffrey Fallet ◽

Christophe Simon ◽

Philippe Weber ◽

...

Download Full-text

Preface

2011 3rd International Workshop on Dependable Control of Discrete Systems ◽

10.1109/dcds.2011.5970304 ◽

2011 ◽

Download Full-text

SAT-based abstraction refinement for programmable logic controllers

2011 3rd International Workshop on Dependable Control of Discrete Systems ◽

10.1109/dcds.2011.5970325 ◽

2011 ◽

Author(s):

Sebastian Biallas ◽

Jorg Brauer ◽

Stefan Kowalewski

Keyword(s):

Programmable Logic ◽

Programmable Logic Controllers ◽

Abstraction Refinement ◽

Logic Controllers

Download Full-text

Verifying functional and non-functional properties of manufacturing control systems

2011 3rd International Workshop on Dependable Control of Discrete Systems ◽

10.1109/dcds.2011.5970316 ◽

2011 ◽

Author(s):

Sebastian Preuse ◽

Hans-Michael Hanisch

Keyword(s):

Control Systems ◽

Functional Properties ◽

Manufacturing Control

Download Full-text

Dynamic adaptation of IEEE 802.11e priorities for improving temporal performance and safety of a Wireless Networked Discrete Control system

2011 3rd International Workshop on Dependable Control of Discrete Systems ◽

10.1109/dcds.2011.5970333 ◽

2011 ◽

Author(s):

Gilbert Habib ◽

Jean-Francois Petin ◽

Thierry Divoux

Keyword(s):

Control System ◽

Discrete Control ◽

Dynamic Adaptation ◽

Ieee 802.11E ◽

Discrete Control System

Download Full-text

Index of authors

2011 3rd International Workshop on Dependable Control of Discrete Systems ◽

10.1109/dcds.2011.5970339 ◽

2011 ◽

Download Full-text

A comparative study of three model-based FDI approaches for Discrete Event Systems

2011 3rd International Workshop on Dependable Control of Discrete Systems ◽

10.1109/dcds.2011.5970314 ◽

2011 ◽

Author(s):

Mickael Danancher ◽

Matthias Roth ◽

Jean-Jacques Lesage ◽

Lothar Litz

Keyword(s):

Comparative Study ◽

Discrete Event Systems ◽

Discrete Event ◽

Model Based ◽

Download Full-text

Automatic construction of diagnoser for complex discrete event systems

2011 3rd International Workshop on Dependable Control of Discrete Systems ◽

10.1109/dcds.2011.5970324 ◽

2011 ◽

Author(s):

Eric Gascard ◽

Zineb Simeu-Abazi

Keyword(s):

Discrete Event Systems ◽

Discrete Event ◽

Automatic Construction ◽

Download Full-text

Blank page

2011 3rd International Workshop on Dependable Control of Discrete Systems ◽

10.1109/dcds.2011.5970338 ◽

2011 ◽

Download Full-text

A methodology to upgrade legacy industrial systems to meet safety regulations

2011 3rd International Workshop on Dependable Control of Discrete Systems ◽

10.1109/dcds.2011.5970332 ◽

2011 ◽

Author(s):

Doaa Soliman ◽

Kleanthis Thramboulidis ◽

Georg Frey

Keyword(s):

Industrial Systems ◽

Safety Regulations

Download Full-text