52

Decidability of opacity verification problems in labeled Petri net systems

Year:
2017
Language:
english
File:
PDF, 682 KB
english, 2017
62

On the enforcement of a class of nonlinear constraints on Petri nets

Year:
2015
Language:
english
File:
PDF, 728 KB
english, 2015
86

Development of Associative Memories with Transformed Data

Year:
2017
Language:
english
File:
PDF, 1.09 MB
english, 2017
92

Verification of State-Based Opacity Using Petri Nets

Year:
2016
Language:
english
File:
PDF, 1.18 MB
english, 2016
95

Erratum to “Liveness of an extended S3PR ” [Automatica 46 (2010) 1008–1018]

Year:
2012
Language:
english
File:
PDF, 226 KB
english, 2012
96

Friction spot welding of dissimilar 6063/5083 aluminium alloys

Year:
2017
Language:
english
File:
PDF, 3.83 MB
english, 2017
97

Anomaly detection based on a dynamic Markov model

Year:
2017
Language:
english
File:
PDF, 1.15 MB
english, 2017
99

Synthesis of dimethyl ether (DME) by catalytic distillation

Year:
2011
Language:
english
File:
PDF, 703 KB
english, 2011