nr |
titel |
auteur |
tijdschrift |
jaar |
jaarg. |
afl. |
pagina('s) |
type |
1 |
ACTUATOR FAILURE IN DECENTRALIZED SUPERVISORY CONTROL SYSTEMS
|
Thorsley, David |
|
2007 |
40 |
6 |
p. 163-168 6 p. |
artikel |
2 |
ALGEBRAIC MODELLING OF FAULT TREES WITH PRIORITY AND GATES
|
Merle, Guillaume |
|
2007 |
40 |
6 |
p. 31-36 6 p. |
artikel |
3 |
A MATHEMATICAL PROGRAMMING APPROACH FOR THE IDENTIFICATION OF TIMED PETRI NETS
|
Bourdeaud'huy, Thomas |
|
2007 |
40 |
6 |
p. 247-252 6 p. |
artikel |
4 |
A METHODOLOGY FOR WEAPON SYSTEM AVAILABILITY ASSESSMENT, INCORPORATING FAILURE, DAMAGE AND REGENERATION
|
Monnin, Maxime |
|
2007 |
40 |
6 |
p. 157-162 6 p. |
artikel |
5 |
ANALYSIS OF TIMING PROPERTIES OF ELECTRICAL POWER SYSTEM PROTECTION
|
Lukowicz, Miroslaw |
|
2007 |
40 |
6 |
p. 37-42 6 p. |
artikel |
6 |
ANALYTICAL PERFORMANCE EVALUATION OF SMALL FLOW LINES WITH SHARED BUFFER
|
Ferrari, Davide |
|
2007 |
40 |
6 |
p. 7-12 6 p. |
artikel |
7 |
AN ONLINE FAULT DETECTION AND AVOIDANCE FRAMEWORK FOR DISTRIBUTED SYSTEMS
|
Zhao, Peng |
|
2007 |
40 |
6 |
p. 103-108 6 p. |
artikel |
8 |
A PROTOCOL FOR DISTRIBUTED STATE ESTIMATION IN DISCRETE EVENT SYSTEMS
|
Qiu, Wenbin |
|
2007 |
40 |
6 |
p. 217-222 6 p. |
artikel |
9 |
BINARY DECISION DIAGRAMS IN NETWORK RELIABILITY ANALYSIS
|
Bobbio, Andrea |
|
2007 |
40 |
6 |
p. 199-204 6 p. |
artikel |
10 |
CONFLICTS AND PROJECTIONS
|
Malik, Robi |
|
2007 |
40 |
6 |
p. 205-210 6 p. |
artikel |
11 |
CONTINUOUS AND DISCRETE STATE ESTIMATION FOR A CLASS OF HYBRID NONLINEAR SYSTEMS
|
Yang, Hao |
|
2007 |
40 |
6 |
p. 265-270 6 p. |
artikel |
12 |
DETECTION OF CHANGES BY OBSERVER IN TIMED EVENT GRAPHS AND TIME STREAM EVENT GRAPHS
|
Declerck, Philippe |
|
2007 |
40 |
6 |
p. 49-54 6 p. |
artikel |
13 |
DEVELOPMENT PROCESS FOR DEPENDABLE HIGH-PERFORMANCE CONTROLLERS USING PETRI NETS AND FPGA TECHNOLOGY
|
Wagner, Florian |
|
2007 |
40 |
6 |
p. 139-144 6 p. |
artikel |
14 |
DISCOVERY OF INTERMINGLED EVENT PATTERNS IN DISCRETE MONITORING DATA
|
Wang, Xi |
|
2007 |
40 |
6 |
p. 55-60 6 p. |
artikel |
15 |
EFFICIENT DIAGNOSABILITY TEST FOR STATE-BASED DIAGNOSIS OF DISCRETE EVENT SYSTEMS
|
Huang, Tien-Chieh Samuel |
|
2007 |
40 |
6 |
p. 85-90 6 p. |
artikel |
16 |
EXPERIMENTS IN MODEL BASED SAFETY ANALYSIS: FLIGHT CONTROLS
|
Bernard, Romain |
|
2007 |
40 |
6 |
p. 43-48 6 p. |
artikel |
17 |
FAULT-TOLERANT SUPERVISORY CONTROL OF DISCRETE EVENT SYSTEMS: FORMULATION AND EXISTENCE RESULTS
|
Wen, Q. |
|
2007 |
40 |
6 |
p. 175-180 6 p. |
artikel |
18 |
FORMAL FAILURE MODELS
|
Ortmeier, Frank |
|
2007 |
40 |
6 |
p. 145-150 6 p. |
artikel |
19 |
GENERIC DETERMINATION OF FAULT MODELS FOR FDI PURPOSES
|
Roth, Matthias |
|
2007 |
40 |
6 |
p. 61-66 6 p. |
artikel |
20 |
HIDDEN MARKOV RANDOM FIELD, AN APPLICATION TO RAILWAY INFRASTRUCTURE DIAGNOSIS
|
Come, E. |
|
2007 |
40 |
6 |
p. 13-18 6 p. |
artikel |
21 |
IMPACT OF COMPLEXITY ON LOGIC CONTROLLER DESIGN
|
Engell, Sebastian |
|
2007 |
40 |
6 |
p. 121-126 6 p. |
artikel |
22 |
INTERMITTENT FAULT DIAGNOSIS: A DIAGNOSER DERIVED FROM THE NORMAL BEHAVIOR
|
Soldani, Siegfried |
|
2007 |
40 |
6 |
p. 73-78 6 p. |
artikel |
23 |
MARKING ESTIMATION OF PETRI NETS WITH ARBITRARY TRANSITION LABELING
|
Cabasino, M.P. |
|
2007 |
40 |
6 |
p. 229-234 6 p. |
artikel |
24 |
MODE ESTIMATION TECHNIQUES FOR SWITCHING DISCRETE-TIME LINEAR SYSTEMS.
|
Alessandri, A. |
|
2007 |
40 |
6 |
p. 253-258 6 p. |
artikel |
25 |
OBSERVABILITY OF A CLASS OF SWITCHED LINEAR SYSTEMS
|
Ramírez-Prado, G. |
|
2007 |
40 |
6 |
p. 79-84 6 p. |
artikel |
26 |
OBSERVABILITY OF DISCRETE TIME LINEAR SWITCHING SYSTEMS1
|
De Santis, E. |
|
2007 |
40 |
6 |
p. 259-264 6 p. |
artikel |
27 |
OBSERVER DESIGN FOR MAX-PLUS-LINEAR SYSTEMS
|
Hardouin, Laurent |
|
2007 |
40 |
6 |
p. 235-240 6 p. |
artikel |
28 |
OPERATION MODES HANDLING IN DISTRIBUTED AUTOMATION SYSTEMS
|
Panjaitan, Seno |
|
2007 |
40 |
6 |
p. 109-114 6 p. |
artikel |
29 |
OPTIMAL DISCRETE CONTROLLER SYNTHESIS FOR MODELING FAULT-TOLERANT DISTRIBUTED SYSTEMS
|
Dumitrescu, E. |
|
2007 |
40 |
6 |
p. 169-174 6 p. |
artikel |
30 |
OPTIMAL SENSOR SELECTION FOR STRUCTURAL OBSERVABILITY IN DISCRETE EVENT SYSTEMS MODELED BY PETRI NETS
|
Ru, Yu |
|
2007 |
40 |
6 |
p. 223-228 6 p. |
artikel |
31 |
PANDORA 2: THE TIME OF PRIORITY-OR GATES
|
Walker, Martin |
|
2007 |
40 |
6 |
p. 25-30 6 p. |
artikel |
32 |
PARAMETER ESTIMATION IN RELIABILITY MODELING OF DISTRIBUTED DETECTION SYSTEMS
|
Long, Q. |
|
2007 |
40 |
6 |
p. 19-24 6 p. |
artikel |
33 |
PARTICLE PETRI NET-BASED ESTIMATION IN HYBRID SYSTEMS TO DETECT INCONSISTENCIES
|
Lesire, Charles |
|
2007 |
40 |
6 |
p. 271-276 6 p. |
artikel |
34 |
POST AND PRE-INITIALIZED STOPWATCH PETRI NETS
|
Allahham, Adib |
|
2007 |
40 |
6 |
p. 211-216 6 p. |
artikel |
35 |
Preface
|
Faure, Jean-Marc |
|
2007 |
40 |
6 |
p. ii- 1 p. |
artikel |
36 |
PROBABILISTIC FAULT DIAGNOSIS IN DISCRETE EVENT SYSTEMS WITH INCOMPLETE MODELS
|
Whiteford, Tennille M. |
|
2007 |
40 |
6 |
p. 97-102 6 p. |
artikel |
37 |
PROBABILISTIC TIMED AUTOMATA FOR MODELING NETWORKED AUTOMATION SYSTEMS
|
Greifeneder, Jürgen |
|
2007 |
40 |
6 |
p. 1-6 6 p. |
artikel |
38 |
PROSPECTS FOR MODEL-BASED TESTING OF DISCRETE SAFETY SYSTEMS
|
SALAÜN, Patrick |
|
2007 |
40 |
6 |
p. 133-138 6 p. |
artikel |
39 |
QUALITATIVE ANAYSIS OF THE BDSPN MODEL THROUGH ITS ASSOCIATED DISCRETE PETRI NET
|
Labadi, Karim |
|
2007 |
40 |
6 |
p. 151-156 6 p. |
artikel |
40 |
REAL TIME IDENTIFICATION OF DISCRETE EVENT SYSTEMS BY PETRI NETS
|
Dotoli, M. |
|
2007 |
40 |
6 |
p. 241-246 6 p. |
artikel |
41 |
RECONFIGURATION OF DISCRETELY CONTROLLED HYBRID SYSTEMS FOR CHANGING SPECIFICATIONS
|
Tran, Thanh Ha |
|
2007 |
40 |
6 |
p. 115-120 6 p. |
artikel |
42 |
RELIABLE DISTRIBUTED FAULT DIAGNOSIS USING REDUNDANT DIAGNOSERS
|
Arámburo-Lizárraga, J. |
|
2007 |
40 |
6 |
p. 91-96 6 p. |
artikel |
43 |
SYNTHESIS OF CONTROL STRUCTURES FOR HIERARCHICAL CONTROL WITH FLEXIBLE MARKING
|
da Cunha, Antonio E.C. |
|
2007 |
40 |
6 |
p. 193-198 6 p. |
artikel |
44 |
SYNTHESIS OF SUPERVISORS FOR PARAMETERIZED AND INFINITY NON-REGULAR DISCRETE EVENT SYSTEMS
|
de Oliveira, Claudio |
|
2007 |
40 |
6 |
p. 181-186 6 p. |
artikel |
45 |
TOWARDS A FRAMEWORK FOR INTEGRATED SUPERVISORY AND LOGIC CONTROL
|
AARkesson, Knut |
|
2007 |
40 |
6 |
p. 187-192 6 p. |
artikel |
46 |
UNCONDITIONAL DECENTRALIZED STRUCTURE FOR THE FAULT DIAGNOSIS OF DISCRETE EVENT SYSTEMS
|
Philippot, A. |
|
2007 |
40 |
6 |
p. 67-72 6 p. |
artikel |
47 |
USING SYSML FOR IDENTIFICATION AND REFINEMENT OF MACHINERY SAFETY PROPERTIES
|
EVROT, Dominique |
|
2007 |
40 |
6 |
p. 127-132 6 p. |
artikel |