Vyzkoušejte nový nástroj s podporou AI
Summon Research Assistant
BETA
Verifying functional and non-functional properties of manufacturing control systems
Preusse, S., Hanisch, H-M
Published in 2011 3rd International Workshop on Dependable Control of Discrete Systems (01.06.2011)
Published in 2011 3rd International Workshop on Dependable Control of Discrete Systems (01.06.2011)
Get full text
Conference Proceeding
Online control reconfiguration for a faulty manufacturing process
Nke, Y., Lunze, J.
Published in 2011 3rd International Workshop on Dependable Control of Discrete Systems (01.06.2011)
Published in 2011 3rd International Workshop on Dependable Control of Discrete Systems (01.06.2011)
Get full text
Conference Proceeding
Expert judgments collecting and modeling: Application to the Integrated Risks Analysis (IRA) methodology
Fallet, G., Duval, C., Simon, C., Weber, P., Iung, B.
Published in 2011 3rd International Workshop on Dependable Control of Discrete Systems (01.06.2011)
Published in 2011 3rd International Workshop on Dependable Control of Discrete Systems (01.06.2011)
Get full text
Conference Proceeding
Testing programmable logic controllers from finite state machines specification
Provost, J., Roussel, J., Faure, J.
Published in 2011 3rd International Workshop on Dependable Control of Discrete Systems (01.06.2011)
Published in 2011 3rd International Workshop on Dependable Control of Discrete Systems (01.06.2011)
Get full text
Conference Proceeding
Identification of Petri nets using timing information
Basile, F., Chiacchio, P., Coppola, J., De Tommasi, G.
Published in 2011 3rd International Workshop on Dependable Control of Discrete Systems (01.06.2011)
Published in 2011 3rd International Workshop on Dependable Control of Discrete Systems (01.06.2011)
Get full text
Conference Proceeding
Fault detection by labeled Petri nets and time constraints
Fanti, M. P., Mangini, A. M., Ukovich, W.
Published in 2011 3rd International Workshop on Dependable Control of Discrete Systems (01.06.2011)
Published in 2011 3rd International Workshop on Dependable Control of Discrete Systems (01.06.2011)
Get full text
Conference Proceeding
On the use of observation equivalence in synthesis abstraction
Mohajerani, S., Malik, R., Ware, S., Fabian, M.
Published in 2011 3rd International Workshop on Dependable Control of Discrete Systems (01.06.2011)
Published in 2011 3rd International Workshop on Dependable Control of Discrete Systems (01.06.2011)
Get full text
Conference Proceeding
Towards model-driven safety analysis
Gudemann, M., Ortmeier, F.
Published in 2011 3rd International Workshop on Dependable Control of Discrete Systems (01.06.2011)
Published in 2011 3rd International Workshop on Dependable Control of Discrete Systems (01.06.2011)
Get full text
Conference Proceeding
A methodology to upgrade legacy industrial systems to meet safety regulations
Soliman, D., Thramboulidis, K., Frey, G.
Published in 2011 3rd International Workshop on Dependable Control of Discrete Systems (01.06.2011)
Published in 2011 3rd International Workshop on Dependable Control of Discrete Systems (01.06.2011)
Get full text
Conference Proceeding
Multi-Phase Markov models for functional safety prediction: Efficient simulation of Markov models used for safety engineering and the online integration of individual systems' diagnostic and maintenance history
Felgner, F., Frey, G.
Published in 2011 3rd International Workshop on Dependable Control of Discrete Systems (01.06.2011)
Published in 2011 3rd International Workshop on Dependable Control of Discrete Systems (01.06.2011)
Get full text
Conference Proceeding
Reliability estimation using unscented transformation
Richter, J. H.
Published in 2011 3rd International Workshop on Dependable Control of Discrete Systems (01.06.2011)
Published in 2011 3rd International Workshop on Dependable Control of Discrete Systems (01.06.2011)
Get full text
Conference Proceeding
SAT-based abstraction refinement for programmable logic controllers
Biallas, S., Brauer, J., Kowalewski, S.
Published in 2011 3rd International Workshop on Dependable Control of Discrete Systems (01.06.2011)
Published in 2011 3rd International Workshop on Dependable Control of Discrete Systems (01.06.2011)
Get full text
Conference Proceeding
Diagnosability analysis of partially observable deadlock-free Petri Nets
Hernandez-Flores, E., Lopez-Mellado, E., Ramirez-Trevino, A.
Published in 2011 3rd International Workshop on Dependable Control of Discrete Systems (01.06.2011)
Published in 2011 3rd International Workshop on Dependable Control of Discrete Systems (01.06.2011)
Get full text
Conference Proceeding
Reliability analysis of multi-source multi-sink critical interacting systems
Bobbio, A., Terruggia, R., Ciancamerla, E., Minichino, M.
Published in 2011 3rd International Workshop on Dependable Control of Discrete Systems (01.06.2011)
Published in 2011 3rd International Workshop on Dependable Control of Discrete Systems (01.06.2011)
Get full text
Conference Proceeding
Dynamic adaptation of IEEE 802.11e priorities for improving temporal performance and safety of a Wireless Networked Discrete Control system
Habib, G., Petin, J., Divoux, T.
Published in 2011 3rd International Workshop on Dependable Control of Discrete Systems (01.06.2011)
Published in 2011 3rd International Workshop on Dependable Control of Discrete Systems (01.06.2011)
Get full text
Conference Proceeding
Modeling and control of nested manufacturing processes using dioid models
Brunsch, T., Hardouin, L., Raisch, J.
Published in 2011 3rd International Workshop on Dependable Control of Discrete Systems (01.06.2011)
Published in 2011 3rd International Workshop on Dependable Control of Discrete Systems (01.06.2011)
Get full text
Conference Proceeding