Digitale Bibliotheek
Sluiten Bladeren door artikelen uit een tijdschrift
     Tijdschrift beschrijving
       Alle jaargangen van het bijbehorende tijdschrift
         Alle afleveringen van het bijbehorende jaargang
                                       Alle artikelen van de bijbehorende aflevering
 
                             47 gevonden resultaten
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
                             47 gevonden resultaten
 
 Koninklijke Bibliotheek - Nationale Bibliotheek van Nederland