| nr |
titel |
auteur |
tijdschrift |
jaar |
jaarg. |
afl. |
pagina('s) |
type |
| 1 |
A Synthesis of Logic and Biology in the Design of Dependable Systems
|
Papadopoulos, Yiannis
|
|
2015
|
48 |
7 |
p. 1-8
8 p.
|
artikel
|
| 2 |
Automatic Error Cause Localization of Faulty PLC Programs
|
Biallas, Sebastian
|
|
2015
|
48 |
7 |
p. 79-84
6 p.
|
artikel
|
| 3 |
Automating Allocation of Development Assurance Levels: an extension to HiP-HOPS
|
Sorokos, Ioannis
|
|
2015
|
48 |
7 |
p. 9-14
6 p.
|
artikel
|
| 4 |
A Virtual Environment for the Management and Development of Cyber-Physical Manufacturing Systems
|
Chen, DeJiu
|
|
2015
|
48 |
7 |
p. 29-36
8 p.
|
artikel
|
| 5 |
Contents
|
|
|
2015
|
48 |
7 |
p. i-vi
nvt p.
|
artikel
|
| 6 |
CTL Model Repair for Bounded and Deadlock Free Petri Nets
|
Martínez-Araiza, Ulises
|
|
2015
|
48 |
7 |
p. 154-160
7 p.
|
artikel
|
| 7 |
Diagnosability Analysis of Input/Output Discrete-Event Systems Using Model-Checking
|
Boussif, Abderraouf
|
|
2015
|
48 |
7 |
p. 71-78
8 p.
|
artikel
|
| 8 |
Distributed Execution of Modular Discrete Controllers for Data Center Management
|
Delaval, Gwenaül
|
|
2015
|
48 |
7 |
p. 139-146
8 p.
|
artikel
|
| 9 |
Enforcing Diagnosability in Interpreted Petri Nets
|
Hernández-Rueda, K.
|
|
2015
|
48 |
7 |
p. 58-63
6 p.
|
artikel
|
| 10 |
Executable Specifications of Safety-Critical Systems with S#
|
Habermaier, Axel
|
|
2015
|
48 |
7 |
p. 44-49
6 p.
|
artikel
|
| 11 |
Fault Detection and Recovery by Hybrid Petri Nets for Automated Drug Preparation Systems
|
Fanti, Maria Pia
|
|
2015
|
48 |
7 |
p. 104-109
6 p.
|
artikel
|
| 12 |
Fault-Tolerant Control of Discrete-Event Systems with Lower-Bound Specifications
|
Moor, Thomas
|
|
2015
|
48 |
7 |
p. 161-166
6 p.
|
artikel
|
| 13 |
Fault-Tolerant Supervisory Control
|
Moor, Thomas
|
|
2015
|
48 |
7 |
p. 124-131
8 p.
|
artikel
|
| 14 |
From Modelica models to dependability analysis
|
Bouissou, M.
|
|
2015
|
48 |
7 |
p. 37-43
7 p.
|
artikel
|
| 15 |
Initial study for observers application to Fault Detection and Isolation with continuous timed Petri nets
|
Lefebvre, Dimitri
|
|
2015
|
48 |
7 |
p. 97-103
7 p.
|
artikel
|
| 16 |
I-SafE: An integrated Safety Engineering Tool
|
Antonino, Pablo Oliveira
|
|
2015
|
48 |
7 |
p. 23-28
6 p.
|
artikel
|
| 17 |
Modeling standby redundancies in repairable systems as guarded preemption mechanisms
|
Piriou, Pierre-Yves
|
|
2015
|
48 |
7 |
p. 147-153
7 p.
|
artikel
|
| 18 |
Model Predictive Control for Timed Petri Nets
|
Lefebvre, Dimitri
|
|
2015
|
48 |
7 |
p. 91-96
6 p.
|
artikel
|
| 19 |
Model repair of Time Petri Nets with temporal anomalies
|
Basile, F.
|
|
2015
|
48 |
7 |
p. 85-90
6 p.
|
artikel
|
| 20 |
Nadzoru: A Software Tool for Supervisory Control of Discrete Event Systems
|
Pinheiro, Lucas Preischadt
|
|
2015
|
48 |
7 |
p. 182-187
6 p.
|
artikel
|
| 21 |
On-line optimal compositional controller synthesis for AGV by unfolding
|
Girault, Johan
|
|
2015
|
48 |
7 |
p. 167-173
7 p.
|
artikel
|
| 22 |
On-the-fly Diagnosability Analysis of Labeled Petri Nets Using T-invariants
|
Li, Ben
|
|
2015
|
48 |
7 |
p. 64-70
7 p.
|
artikel
|
| 23 |
Opacity of Discrete Event Systems: models, validation and quantification
|
Jacob, Romain
|
|
2015
|
48 |
7 |
p. 174-181
8 p.
|
artikel
|
| 24 |
Real-Time Management of Complex Resource Allocation Systems: Necessity, Achievements and Further Challenges
|
Reveliotis, Spyros
|
|
2015
|
48 |
7 |
p. 50-57
8 p.
|
artikel
|
| 25 |
Slice or Unfold - Experiments on Checking Synchronous Models with Backwards Slicing
|
Gonschorek, Tim
|
|
2015
|
48 |
7 |
p. 15-22
8 p.
|
artikel
|
| 26 |
Sliding Mode Diagnosers for Leakage Faults on Timed Continuous Petri Nets
|
Fraustro-Valdez, J.
|
|
2015
|
48 |
7 |
p. 110-117
8 p.
|
artikel
|
| 27 |
Structural Fault Detection in Join Free Timed Continuous Petri Nets
|
Navarro-Gutiérrez, Manuel
|
|
2015
|
48 |
7 |
p. 118-123
6 p.
|
artikel
|
| 28 |
Towards Applying Logico-numerical Control to Dynamically Partially Reconfigurable Architectures
|
Berthier, Nicolas
|
|
2015
|
48 |
7 |
p. 132-138
7 p.
|
artikel
|
Tijdschrift beschrijving