| nr |
titel |
auteur |
tijdschrift |
jaar |
jaarg. |
afl. |
pagina('s) |
type |
| 1 |
Active Probing for Diagnosis of Emergent Faults *
|
Johnson, Timothy L.
|
|
2009
|
42 |
5 |
p. 293-298
6 p.
|
artikel
|
| 2 |
A Dynamic Workflow Modelling and Performance Analysis Methodology for Complicated Clinical Pathway with Variations
|
Du, Gang
|
|
2009
|
42 |
5 |
p. 181-186
6 p.
|
artikel
|
| 3 |
Agent-Based Architecture for the HealthCare of patients at The Emergency Department
|
Daknou, A.
|
|
2009
|
42 |
5 |
p. 175-180
6 p.
|
artikel
|
| 4 |
Algebraic Expression of the Structure Function of a subclass of Dynamic Fault Trees
|
Merle, Guillaume
|
|
2009
|
42 |
5 |
p. 117-122
6 p.
|
artikel
|
| 5 |
A Multi-Criteria Economic Evaluation Framework for Control System Configuration – Framework and Case Study
|
Zhao, Peng
|
|
2009
|
42 |
5 |
p. 140-145
6 p.
|
artikel
|
| 6 |
An Algorithm for Active Diagnosis of Hybrid Systems Casted in the DES Framework
|
Bayoudh, Mehdi
|
|
2009
|
42 |
5 |
p. 287-292
6 p.
|
artikel
|
| 7 |
Analysis of the Unavailability of I&C Functions Important to Safety in a Nuclear Power Plant
|
Ding, Y
|
|
2009
|
42 |
5 |
p. 157-162
6 p.
|
artikel
|
| 8 |
Application of Extended Coloured Stochastic Petri Nets for Modelling and Analysis of RAMS+C of Production Systems
|
Nebel, S.
|
|
2009
|
42 |
5 |
p. 163-168
6 p.
|
artikel
|
| 9 |
A residual inspired approach for fault localization in DES
|
Roth, Matthias
|
|
2009
|
42 |
5 |
p. 305-310
6 p.
|
artikel
|
| 10 |
Bayesian networks Applications on Dependability, Risk Analysis and Maintenance
|
Oliva, G. Medina
|
|
2009
|
42 |
5 |
p. 215-220
6 p.
|
artikel
|
| 11 |
Benefit of railway infrastructure diagnosis systems on its availability
|
Quiroga, Lisandro M.
|
|
2009
|
42 |
5 |
p. 146-150
5 p.
|
artikel
|
| 12 |
Colored Petri Net inversion for Backward Reachability Analysis
|
BOUALI, Mohamed
|
|
2009
|
42 |
5 |
p. 227-232
6 p.
|
artikel
|
| 13 |
Conceptual foundation of dependable systems modelling
|
Schnieder, E.
|
|
2009
|
42 |
5 |
p. 198-202
5 p.
|
artikel
|
| 14 |
Controllability of (max,+) Formal Power Series *
|
Komenda, Jan
|
|
2009
|
42 |
5 |
p. 87-92
6 p.
|
artikel
|
| 15 |
Controller Aggregation for Distributed Discrete-Event Supervisors on a Shared-medium Network
|
Schmidt, Klaus
|
|
2009
|
42 |
5 |
p. 81-86
6 p.
|
artikel
|
| 16 |
Controller synthesis with very simplified linear constraints in PN model
|
Dideban, A.
|
|
2009
|
42 |
5 |
p. 233-238
6 p.
|
artikel
|
| 17 |
Dependability Modelling of Repairable Systems using Bayesian Networks
|
Neil, Martin
|
|
2009
|
42 |
5 |
p. 221-226
6 p.
|
artikel
|
| 18 |
Dependability & safety modeling and calculation: Petri nets
|
Signoret, Jean-Pierre
|
|
2009
|
42 |
5 |
p. 203-208
6 p.
|
artikel
|
| 19 |
Dependable Model for Enzyme Kinetics using Petri Networks
|
Dobrescu, Radu
|
|
2009
|
42 |
5 |
p. 187-192
6 p.
|
artikel
|
| 20 |
Design and Verification of Time-Constrained Workflows With Multi-Level Security
|
Hicheur, Awatef
|
|
2009
|
42 |
5 |
p. 22-27
6 p.
|
artikel
|
| 21 |
Determination of distinguishing input sequences for the diagnosis of discrete-event systems
|
Lunze, Jan
|
|
2009
|
42 |
5 |
p. 105-110
6 p.
|
artikel
|
| 22 |
Diagnosis of discrete event systems using labeled Petri nets
|
Cabasino, Maria Paola
|
|
2009
|
42 |
5 |
p. 52-57
6 p.
|
artikel
|
| 23 |
Direct Model Checking of PLC Programs in IL
|
Schlich, Bastian
|
|
2009
|
42 |
5 |
p. 28-33
6 p.
|
artikel
|
| 24 |
Discrete Event Model-Based Approach for Fault Detection and Isolation of Manufacturing Systems
|
Philippot, A.
|
|
2009
|
42 |
5 |
p. 69-74
6 p.
|
artikel
|
| 25 |
Failure prognostic by using Dynamic Bayesian Networks
|
Medjaher, K.
|
|
2009
|
42 |
5 |
p. 257-262
6 p.
|
artikel
|
| 26 |
Front cover
|
|
|
2009
|
42 |
5 |
p. i-ix
nvt p.
|
artikel
|
| 27 |
Functional Safety of Component-based Embedded Control Systems
|
Gharbi, Atef
|
|
2009
|
42 |
5 |
p. 281-286
6 p.
|
artikel
|
| 28 |
Identification of DES Unobservable Behaviour by Petri Nets
|
Dotoli, Mariagrazia
|
|
2009
|
42 |
5 |
p. 99-104
6 p.
|
artikel
|
| 29 |
Improving System Safety Modelling in accordance to IEC 61508 by using Monte Carlo Simulations
|
Müller, Jörg R.
|
|
2009
|
42 |
5 |
p. 193-197
5 p.
|
artikel
|
| 30 |
Introduction to Model-based Reliability Evaluation of Wireless Sensor Networks
|
Jäggle, C.
|
|
2009
|
42 |
5 |
p. 134-139
6 p.
|
artikel
|
| 31 |
Live WS3PR *
|
Liu, Ding
|
|
2009
|
42 |
5 |
p. 4-9
6 p.
|
artikel
|
| 32 |
Maintenance Planning of Safety Protective Systems using Dynamic Bayesian Networks
|
Kohda, T.
|
|
2009
|
42 |
5 |
p. 245-250
6 p.
|
artikel
|
| 33 |
Max-Plus Algebraic Modeling and Control of High-Throughput Screening Systems
|
Brunsch, T.
|
|
2009
|
42 |
5 |
p. 93-98
6 p.
|
artikel
|
| 34 |
Model-Based Approaches for Railway Safety, Reliability and Security: The Experience of Ansaldo STS
|
Flammini, Francesco
|
|
2009
|
42 |
5 |
p. 2-
1 p.
|
artikel
|
| 35 |
Model Based Safety Analysis
|
Reif, Wolfgang
|
|
2009
|
42 |
5 |
p. 3-
1 p.
|
artikel
|
| 36 |
Modeling and Troubleshooting with Interventions Applied to an Auxiliary Truck Braking System *
|
Pernestål, Anna
|
|
2009
|
42 |
5 |
p. 251-256
6 p.
|
artikel
|
| 37 |
Modeling Cascading Failure Propagation through Dynamic Bayesian Networks
|
Bobbio, A.
|
|
2009
|
42 |
5 |
p. 209-214
6 p.
|
artikel
|
| 38 |
Modelling and Validation of Alarm Management Workflow in Healthcare Integrating IHE-PCD Profile and Coloured Petri Nets
|
Gaion, Sara
|
|
2009
|
42 |
5 |
p. 169-174
6 p.
|
artikel
|
| 39 |
Monitoring of Temporal Requirements with Stocharts Observation Patterns, Application to a Level Crossing Control System
|
GHAZEL, Mohamed
|
|
2009
|
42 |
5 |
p. 63-68
6 p.
|
artikel
|
| 40 |
Neutral Representation, Visualization and Verification of Logic Controllers Represented by Function Block Diagrams
|
Fischer, S.
|
|
2009
|
42 |
5 |
p. 40-45
6 p.
|
artikel
|
| 41 |
Online Diagnosis of Discrete Events Systems based on Petri Nets and Integer Linear Programming
|
Basile, F.
|
|
2009
|
42 |
5 |
p. 111-116
6 p.
|
artikel
|
| 42 |
On the Optimal Design of Linear Networked Systems
|
Azhmyakov, V.
|
|
2009
|
42 |
5 |
p. 239-244
6 p.
|
artikel
|
| 43 |
Part-Whole Hierarchical Modularization of Fault-Tolerant and Goal-Based Autonomic Systems
|
Pazzi, Luca
|
|
2009
|
42 |
5 |
p. 58-62
5 p.
|
artikel
|
| 44 |
Real time Estimation of Supersonic Projectile Roll Angle using Magnetometers: In-lab Experimental Validation
|
Changey, S.
|
|
2009
|
42 |
5 |
p. 123-127
5 p.
|
artikel
|
| 45 |
Real-Time Scheduling and Control of Cluster Tools in Semiconductor Manufacturing
|
Zhou, MengChu
|
|
2009
|
42 |
5 |
p. 1-
1 p.
|
artikel
|
| 46 |
Reconfiguration of a Distributed Information Fusion System
|
Benoit, Éric
|
|
2009
|
42 |
5 |
p. 269-274
6 p.
|
artikel
|
| 47 |
Redundant Tasks in Multitasking Control of Discrete Event Systems
|
Schmidt, Klaus
|
|
2009
|
42 |
5 |
p. 16-21
6 p.
|
artikel
|
| 48 |
Synthesis of Restart States for Manufacturing Cell Controllers
|
Andersson, Kristin
|
|
2009
|
42 |
5 |
p. 263-268
6 p.
|
artikel
|
| 49 |
Test sequence construction from SFC specification *
|
PROVOST, J.
|
|
2009
|
42 |
5 |
p. 299-304
6 p.
|
artikel
|
| 50 |
The use of Petri Nets models in railway traffic applications
|
Ricci, Stefano
|
|
2009
|
42 |
5 |
p. 151-156
6 p.
|
artikel
|
| 51 |
Toward Improved Verification And Certification of Legacy Systems
|
Johnson, Timothy
|
|
2009
|
42 |
5 |
p. 128-133
6 p.
|
artikel
|
| 52 |
Towards Optimal Supervisory Control of Probabilistic Discrete Event Systems
|
Pantelic, Vera
|
|
2009
|
42 |
5 |
p. 75-80
6 p.
|
artikel
|
| 53 |
Verification and Validation of Safety Applications based on PLCopen Safety Function Blocks using Timed Automata in Uppaal
|
Soliman, Doaa
|
|
2009
|
42 |
5 |
p. 34-39
6 p.
|
artikel
|
| 54 |
Verification of functional constraints for safe product driven control
|
Marangé, Pascale
|
|
2009
|
42 |
5 |
p. 275-280
6 p.
|
artikel
|
| 55 |
Verification of Infinite-Step Opacity and Analysis of its Complexity *
|
Saboori, Anooshiravan
|
|
2009
|
42 |
5 |
p. 46-51
6 p.
|
artikel
|
| 56 |
Wafer Sojourn Time Fluctuation Caused by Activity Time Variation in DualArm Cluster Tools
|
Wu, Naiqi
|
|
2009
|
42 |
5 |
p. 10-15
6 p.
|
artikel
|
Tijdschrift beschrijving