| nr |
titel |
auteur |
tijdschrift |
jaar |
jaarg. |
afl. |
pagina('s) |
type |
| 1 |
Abstraction-based Supervisory Control for Reconfigurable Manufacturing Systems *
|
Khalid, Harith M.
|
|
2013
|
46 |
22 |
p. 157-162
6 p.
|
artikel
|
| 2 |
Active Diagnosis of Deterministic I/O Automata
|
Schmidt, Melanie
|
|
2013
|
46 |
22 |
p. 79-84
6 p.
|
artikel
|
| 3 |
A Discrete Time Consensus Approach for Fault Detection and Recovery in Unreliable Networks
|
Fanti, Maria Pia
|
|
2013
|
46 |
22 |
p. 85-90
6 p.
|
artikel
|
| 4 |
Algebraic Synthesis for Online Adaptation of Dependable Discrete Control Systems
|
Hillmann, Christian
|
|
2013
|
46 |
22 |
p. 61-66
6 p.
|
artikel
|
| 5 |
A methodology for qualitative/quantitative analysis of weighted attack trees
|
Bobbio, Andrea
|
|
2013
|
46 |
22 |
p. 133-138
6 p.
|
artikel
|
| 6 |
AN ANALYTIC EXPRESSION OF THE RELIABILITY OF TRANSMISSIONS IN FIELDBUSES WITH PROPAGATED FAILURES
|
AZA-VALLINA, Damien
|
|
2013
|
46 |
22 |
p. 103-108
6 p.
|
artikel
|
| 7 |
An Interdisciplinary Perspective to the Design and Decision Support of Integral Safety Systems
|
Berger, Christian
|
|
2013
|
46 |
22 |
p. 145-150
6 p.
|
artikel
|
| 8 |
Boolean and Modular Abstractions for Programmable Logic Controllers
|
Biallas, Sebastian
|
|
2013
|
46 |
22 |
p. 97-102
6 p.
|
artikel
|
| 9 |
Combined Optimisation of System Architecture and Maintenance
|
Nggada, Shawulu H.
|
|
2013
|
46 |
22 |
p. 25-30
6 p.
|
artikel
|
| 10 |
Computation of Fault-Tolerant Supervisors for Discrete Event Systems *
|
SÜLEK, Ayse Nur
|
|
2013
|
46 |
22 |
p. 115-120
6 p.
|
artikel
|
| 11 |
Conjunctive Decentralized Diagnosis of Discrete Event Systems *
|
Yamamoto, Takashi
|
|
2013
|
46 |
22 |
p. 67-72
6 p.
|
artikel
|
| 12 |
Content List
|
|
|
2013
|
46 |
22 |
p. i-xiii
nvt p.
|
artikel
|
| 13 |
Discrete Control for Reconfigurable FPGA-based Embedded Systems *
|
An, Xin
|
|
2013
|
46 |
22 |
p. 151-156
6 p.
|
artikel
|
| 14 |
Engineering Conditional Safety Certificates for Open Adaptive Systems
|
Schneider, Daniel
|
|
2013
|
46 |
22 |
p. 139-144
6 p.
|
artikel
|
| 15 |
Fault-Hiding Control Reconfiguration for a Class of Discrete Event Systems
|
Wittmann, Th.
|
|
2013
|
46 |
22 |
p. 49-54
6 p.
|
artikel
|
| 16 |
Heuristic Search of Supervisors by Approximated Distinguishers *
|
Aguiar, Raquel S.S.
|
|
2013
|
46 |
22 |
p. 121-126
6 p.
|
artikel
|
| 17 |
Implementing the functional requirements for determining the optimal arrangement of a distributed charging infrastructure
|
Kurczveil, Tamás
|
|
2013
|
46 |
22 |
p. 37-42
6 p.
|
artikel
|
| 18 |
Integrated Monitoring Tasks for the Safety of Critical Systems
|
Dheedan,, Amer
|
|
2013
|
46 |
22 |
p. 43-48
6 p.
|
artikel
|
| 19 |
Introducing Temporal Behaviour into Binary Decision Diagrams
|
Edifor, Ernest E.
|
|
2013
|
46 |
22 |
p. 7-12
6 p.
|
artikel
|
| 20 |
Multi-objective Architecture Optimisation Modelling for Dependable Systems
|
Mian, Zhibao
|
|
2013
|
46 |
22 |
p. 31-36
6 p.
|
artikel
|
| 21 |
On Formal Verification of Function Block Applications in Safety-related Software Development
|
Soliman, Doaa
|
|
2013
|
46 |
22 |
p. 109-114
6 p.
|
artikel
|
| 22 |
Preliminary System Safety Analysis with Limited Markov Chain Generation
|
Brameret, P.-A.
|
|
2013
|
46 |
22 |
p. 13-18
6 p.
|
artikel
|
| 23 |
State-Stability Analysis of Discrete Event Systems using Petri-net Branching Processes
|
Lutz-Ley, Alberto
|
|
2013
|
46 |
22 |
p. 163-168
6 p.
|
artikel
|
| 24 |
Supervision Patterns: Formal Diagnosability Checking by Petri Net Unfolding
|
Gougam, Houssam-Eddine
|
|
2013
|
46 |
22 |
p. 73-78
6 p.
|
artikel
|
| 25 |
Synthesizing bounded-delay communication protocols for decentralized discrete-event systems
|
Maguire, J.D.
|
|
2013
|
46 |
22 |
p. 55-60
6 p.
|
artikel
|
| 26 |
Systems Modeling with EAST-ADL for Fault Tree Analysis through HiP-HOPS *
|
Chen, DeJiu
|
|
2013
|
46 |
22 |
p. 91-96
6 p.
|
artikel
|
| 27 |
The AltaRica 3.0 Project for Model-Based Safety Assessment
|
Prosvirnova, Tatiana
|
|
2013
|
46 |
22 |
p. 127-132
6 p.
|
artikel
|
| 28 |
Towards a unified definition of Minimal Cut Sequences
|
Chaux, Pierre-Yves
|
|
2013
|
46 |
22 |
p. 1-6
6 p.
|
artikel
|
| 29 |
Using Coloured Petri Nets for integrated reliability and safety evaluations
|
Pinna, B.
|
|
2013
|
46 |
22 |
p. 19-24
6 p.
|
artikel
|
Tijdschrift beschrijving