| nr |
titel |
auteur |
tijdschrift |
jaar |
jaarg. |
afl. |
pagina('s) |
type |
| 1 |
Abstraction-Based Verification for Partially Observed Discrete Event Systems
|
Yokotani, Misato
|
|
2014
|
47 |
2 |
p. 356-361
6 p.
|
artikel
|
| 2 |
A conformance relation for model-based testing of PLC
|
Guignard, Anais
|
|
2014
|
47 |
2 |
p. 412-419
8 p.
|
artikel
|
| 3 |
A Constraint Transformation Technique for Petri Nets with Certain Uncontrollable Structures
|
Ma, Ziyue
|
|
2014
|
47 |
2 |
p. 66-72
7 p.
|
artikel
|
| 4 |
A Design Method for Synthesizing Control-Command Systems out of Reusable Components
|
HAJJAR, Salam
|
|
2014
|
47 |
2 |
p. 60-65
6 p.
|
artikel
|
| 5 |
A Framework for Active Fault-Tolerant Control of Deterministic I/O Automata
|
Schmidt, Melanie
|
|
2014
|
47 |
2 |
p. 446-452
7 p.
|
artikel
|
| 6 |
A Framework for Supervisory Control of Probabilistic Discrete Event Systems
|
Pantelic, Vera
|
|
2014
|
47 |
2 |
p. 477-484
8 p.
|
artikel
|
| 7 |
An Active Controller based on Parikh Vectors
|
Abid, C.A.
|
|
2014
|
47 |
2 |
p. 93-98
6 p.
|
artikel
|
| 8 |
An Algorithm for Compositional Nonblocking Verification of Extended Finite-State Machines
|
Mohajerani, Sahar
|
|
2014
|
47 |
2 |
p. 376-382
7 p.
|
artikel
|
| 9 |
Analysis of a Serial Production Line with Single Part-Type and Multiple Parallel-Machine Workstations
|
Wang, Zheng
|
|
2014
|
47 |
2 |
p. 306-313
8 p.
|
artikel
|
| 10 |
A New Hybrid Stochastic Approximation Algorithm
|
Chau, Marie
|
|
2014
|
47 |
2 |
p. 241-246
6 p.
|
artikel
|
| 11 |
An Integrated CP/OR Method for Optimal Control of Modular Hybrid Systems
|
Wigström, Oskar
|
|
2014
|
47 |
2 |
p. 485-491
7 p.
|
artikel
|
| 12 |
A Numerical Analysis of the M/G/1/N Queue with Vacations
|
Ouazine, Sofiane
|
|
2014
|
47 |
2 |
p. 504-509
6 p.
|
artikel
|
| 13 |
A Series Expansion Approach to Risk Analysis of an Inventory System with Sourcing
|
Berkhout, Joost
|
|
2014
|
47 |
2 |
p. 510-515
6 p.
|
artikel
|
| 14 |
A Symbolic Approach for Maximally Permissive Deadlock Avoidance in Complex Resource Allocation Systems
|
Fei, Zhennan
|
|
2014
|
47 |
2 |
p. 362-369
8 p.
|
artikel
|
| 15 |
A Timed Petri Nets Model for Intermodal Freight Transport Terminals
|
Dotoli, Mariagrazia
|
|
2014
|
47 |
2 |
p. 176-181
6 p.
|
artikel
|
| 16 |
Automated Generation of Models of Activities of Daily Living
|
Saives, Jeremie
|
|
2014
|
47 |
2 |
p. 13-20
8 p.
|
artikel
|
| 17 |
Automatic Partitioning of DES Models for Distributed Fault Diagnosis Purposes
|
Schneider, Stefan
|
|
2014
|
47 |
2 |
p. 21-26
6 p.
|
artikel
|
| 18 |
Backward Reachability of Autonomous Max-Plus-Linear Systems
|
Adzkiya, Dieky
|
|
2014
|
47 |
2 |
p. 117-122
6 p.
|
artikel
|
| 19 |
Bridging the Gap between Supervisory Control and Reactive Synthesis: Case of Full Observation and Centralized Control
|
Ehlers, Rüdiger
|
|
2014
|
47 |
2 |
p. 222-227
6 p.
|
artikel
|
| 20 |
Bringing Automated Model Checking to PLC Program Development — A CERN Case Study —
|
Adiego, Borja Fernández
|
|
2014
|
47 |
2 |
p. 394-399
6 p.
|
artikel
|
| 21 |
Causality phenomenon and Compromise Technique for Predictive Control of Timed Event Graphs with Specifications Defined by P-time Event Graphs
|
Declerck, Philippe
|
|
2014
|
47 |
2 |
p. 99-104
6 p.
|
artikel
|
| 22 |
Computation of minimal diagnosis bases of Discrete-Event Systems using verifiers: Method of the ambiguous cyclic paths
|
Santoro, Leonardo P.
|
|
2014
|
47 |
2 |
p. 440-445
6 p.
|
artikel
|
| 23 |
Computation of Supervisors for Fault-Recovery and Repair for Discrete Event Systems
|
SÜLEK, Ayşe Nur
|
|
2014
|
47 |
2 |
p. 428-433
6 p.
|
artikel
|
| 24 |
Control Design of Timed Petri Nets via Model Predictive Control with Continuous Petri Nets
|
Taleb, M.
|
|
2014
|
47 |
2 |
p. 149-154
6 p.
|
artikel
|
| 25 |
Control design pattern based on safety logical constraints for manufacturing systems: application to a palletizer
|
RIERA, B.
|
|
2014
|
47 |
2 |
p. 388-393
6 p.
|
artikel
|
| 26 |
Control experiments for a network of signalized intersections using the ‘.Q' simulator
|
Lioris, Jennie
|
|
2014
|
47 |
2 |
p. 332-337
6 p.
|
artikel
|
| 27 |
Control Optimization of Discontinuous Hybrid Systems Using Embedding
|
Schori, Markus
|
|
2014
|
47 |
2 |
p. 326-331
6 p.
|
artikel
|
| 28 |
Deadlock Analysis of Generalized Parameterized Discrete Event Systems with Ring Topology
|
Zibaeenejad, M.H.
|
|
2014
|
47 |
2 |
p. 370-375
6 p.
|
artikel
|
| 29 |
Decentralized monitors design for Petri net models
|
Basile, Francesco
|
|
2014
|
47 |
2 |
p. 73-79
7 p.
|
artikel
|
| 30 |
Designing smart homes dedicated to disabled people using modular Discrete Controller Synthesis
|
Guillet, Sébastien
|
|
2014
|
47 |
2 |
p. 54-59
6 p.
|
artikel
|
| 31 |
Detectability in Stochastic Discrete Event Systems
|
Keroglou, Christoforos
|
|
2014
|
47 |
2 |
p. 27-32
6 p.
|
artikel
|
| 32 |
Detection of Unusual Human Activities Based on Behavior Modeling
|
Hiraishi, Kunihiko
|
|
2014
|
47 |
2 |
p. 182-187
6 p.
|
artikel
|
| 33 |
Discrete Controller Synthesis for Infinite State Systems with ReaX
|
Berthier, Nicolas
|
|
2014
|
47 |
2 |
p. 46-53
8 p.
|
artikel
|
| 34 |
Discriminability Analysis of Supervision Patterns by Net Unfoldings
|
Gougam, Houssam-Eddine
|
|
2014
|
47 |
2 |
p. 459-464
6 p.
|
artikel
|
| 35 |
Efficient Handling of States in Abstract Interpretation of Industrial Programmable Logic Controller Code
|
Biallas, Sebastian
|
|
2014
|
47 |
2 |
p. 400-405
6 p.
|
artikel
|
| 36 |
Ensuring Privacy in Location-Based Services: An Approach Based on Opacity Enforcement
|
Wu, Yi-Chin
|
|
2014
|
47 |
2 |
p. 33-38
6 p.
|
artikel
|
| 37 |
Evaluation of response time bounds in producer/consumer networked control systems using (Max,+) algebra
|
Ammour, R.
|
|
2014
|
47 |
2 |
p. 123-128
6 p.
|
artikel
|
| 38 |
Extending Supervisory Controller Synthesis to Deterministic Pushdown Automata— Enforcing Controllability Least Restrictively
|
Schmuck, A.-K.
|
|
2014
|
47 |
2 |
p. 286-293
8 p.
|
artikel
|
| 39 |
Fault probability evaluation in DESs with an algorithm of linear complexity and partially observed SPNs
|
Lefebvre, D.
|
|
2014
|
47 |
2 |
p. 453-458
6 p.
|
artikel
|
| 40 |
From Goal Modeling of Real-time Control System to RT-DEVS Safety Properties Analysis
|
DARRAGI, N.
|
|
2014
|
47 |
2 |
p. 162-169
8 p.
|
artikel
|
| 41 |
Generalised Search for the Observer Property in Discrete Event Systems1
|
Bravo, H.J.
|
|
2014
|
47 |
2 |
p. 350-355
6 p.
|
artikel
|
| 42 |
Hidden Markov Model Classification based on Empirical Frequencies of Observed Symbols
|
Keroglou, Christoforos
|
|
2014
|
47 |
2 |
p. 7-12
6 p.
|
artikel
|
| 43 |
How Does Perturbation Analysis Work in Finance and Economics?
|
Cao, Xi-Ren
|
|
2014
|
47 |
2 |
p. 253-258
6 p.
|
artikel
|
| 44 |
Infinitesimal Perturbation Analysis for Quasi-Dynamic Traffic Light Controllers
|
Fleck, Julia L.
|
|
2014
|
47 |
2 |
p. 235-240
6 p.
|
artikel
|
| 45 |
Integrating implementation properties in analysis of Petri nets handling exceptions
|
LEROUX, Helene
|
|
2014
|
47 |
2 |
p. 406-411
6 p.
|
artikel
|
| 46 |
K-diagnosability of Time labeled Petri nets
|
Basile, Francesco
|
|
2014
|
47 |
2 |
p. 135-141
7 p.
|
artikel
|
| 47 |
Liveness Analysis of Petri Nets Using Siphons and Mathematical Programming
|
Liu, GaiYun
|
|
2014
|
47 |
2 |
p. 383-387
5 p.
|
artikel
|
| 48 |
Local control law for live and bounded timed continuous Petri nets
|
Ross-León, Roberto
|
|
2014
|
47 |
2 |
p. 129-134
6 p.
|
artikel
|
| 49 |
Local Modular Supervisory Control of Timed Discrete-Event Systems
|
Schafaschek, Germano
|
|
2014
|
47 |
2 |
p. 271-277
7 p.
|
artikel
|
| 50 |
LP-Based Approaches to Stationary-Constrained Markov Decision Problems
|
Vázquez-Abad, Felisa
|
|
2014
|
47 |
2 |
p. 320-325
6 p.
|
artikel
|
| 51 |
Maximally Permissive Petri Net Supervisors with a Novel Structure
|
Chen, YuFeng
|
|
2014
|
47 |
2 |
p. 80-85
6 p.
|
artikel
|
| 52 |
Maximal Synthesis for Hennessy-Milner Logic with the Box Modality
|
van Hulst, A.C.
|
|
2014
|
47 |
2 |
p. 278-285
8 p.
|
artikel
|
| 53 |
Model Checking Logical Regulatory Networks
|
Monteiro, P.T.
|
|
2014
|
47 |
2 |
p. 170-175
6 p.
|
artikel
|
| 54 |
Model Checking on Fault Diagnosis Graph
|
Wang, Xu
|
|
2014
|
47 |
2 |
p. 434-439
6 p.
|
artikel
|
| 55 |
Modeling and Control for Max-Plus Systems with Partial Synchronization
|
David-Henriet, X.
|
|
2014
|
47 |
2 |
p. 105-110
6 p.
|
artikel
|
| 56 |
Modeling of timed Petri nets using deterministic (max,+) automata
|
Lahaye, Sébastien
|
|
2014
|
47 |
2 |
p. 471-476
6 p.
|
artikel
|
| 57 |
Modeling of Time-Varying (max,+) Systems by means of Weighted Timed Event Graphs
|
Cottenceau, Bertrand
|
|
2014
|
47 |
2 |
p. 465-470
6 p.
|
artikel
|
| 58 |
Model predictive control for max-plus-linear systems via optimistic optimization
|
Xu, J.
|
|
2014
|
47 |
2 |
p. 111-116
6 p.
|
artikel
|
| 59 |
Natural Projections for the Synthesis of Non-Conflicting Supervisory Controllers
|
Moor, Thomas
|
|
2014
|
47 |
2 |
p. 300-305
6 p.
|
artikel
|
| 60 |
Non-Parametric Sensitivity Analysis of the Finite M/M/1 Queue
|
Hamoudi, Zina
|
|
2014
|
47 |
2 |
p. 498-503
6 p.
|
artikel
|
| 61 |
Observation Equivalence of Petri Net Generators
|
Tong, Yin
|
|
2014
|
47 |
2 |
p. 338-343
6 p.
|
artikel
|
| 62 |
On Relative Observability of Timed Discrete-Event Systems
|
Cai, Kai
|
|
2014
|
47 |
2 |
p. 208-213
6 p.
|
artikel
|
| 63 |
Opacity with Orwellian Observers and Intransitive Non-interference
|
Mullins, John
|
|
2014
|
47 |
2 |
p. 344-349
6 p.
|
artikel
|
| 64 |
Pattern Mining for Predicting Critical Events from Sequential Event Data Log
|
Chen, Jun
|
|
2014
|
47 |
2 |
p. 1-6
6 p.
|
artikel
|
| 65 |
Performance Regulation via Integral Control in a Class of Stochastic Discrete Event Dynamic Systems
|
Seatzu, C.
|
|
2014
|
47 |
2 |
p. 259-264
6 p.
|
artikel
|
| 66 |
Reducing an Operational Supervisory Control Problem by Decomposition for Deterministic Pushdown Automata
|
Schneider, S.
|
|
2014
|
47 |
2 |
p. 214-221
8 p.
|
artikel
|
| 67 |
Robust Supervisory Control Against Intermittent Loss of Observations
|
Alves, Marcos Vinícius S.
|
|
2014
|
47 |
2 |
p. 294-299
6 p.
|
artikel
|
| 68 |
Runtime Enforcement of Parametric Timed Properties with Practical Applications
|
Pinisetty, Srinivas
|
|
2014
|
47 |
2 |
p. 420-427
8 p.
|
artikel
|
| 69 |
Sample Path Sharing in Policy Improvement for Indoor Air Temperature Control
|
Wu, Di
|
|
2014
|
47 |
2 |
p. 247-252
6 p.
|
artikel
|
| 70 |
Series expansion techniques for fast evaluation of acyclic finite-capacity queueing networks
|
Fiems, Dieter
|
|
2014
|
47 |
2 |
p. 492-497
6 p.
|
artikel
|
| 71 |
Supervisor Synthesis to Satisfy Safety and Reachability Requirements in Chemical Process Control
|
Rawlings, Blake C.
|
|
2014
|
47 |
2 |
p. 195-200
6 p.
|
artikel
|
| 72 |
Supervisory Control for a Class of Discrete Event Systems for Optimal Throughput
|
Shehabinia, Ahmad Reza
|
|
2014
|
47 |
2 |
p. 201-207
7 p.
|
artikel
|
| 73 |
Supervisory Controller Synthesis for Safe Software Adaptation
|
Khakpour, Narges
|
|
2014
|
47 |
2 |
p. 39-45
7 p.
|
artikel
|
| 74 |
Symbolic Interpretation and Execution of Extended Finite Automata
|
Shoaei, Mohammad Reza
|
|
2014
|
47 |
2 |
p. 228-234
7 p.
|
artikel
|
| 75 |
Testing experiments on unbounded systems: synchronizing sequences using Petri nets
|
Pocci, Marco
|
|
2014
|
47 |
2 |
p. 155-161
7 p.
|
artikel
|
| 76 |
The “bound reaching problem” on the fluidization of timed Petri nets
|
Fraca, Estíbaliz
|
|
2014
|
47 |
2 |
p. 142-148
7 p.
|
artikel
|
| 77 |
Towards Green Shipping with Integrated Bunkering and Cruising Policy
|
Yanyan, Tong
|
|
2014
|
47 |
2 |
p. 314-319
6 p.
|
artikel
|
| 78 |
Towards the removal of synchronous behavior of events in automata
|
Swartjes, L.
|
|
2014
|
47 |
2 |
p. 188-194
7 p.
|
artikel
|
| 79 |
Unified Model for Synthesis and Optimization of Discrete Event and Hybrid Systems
|
Lennartson, Bengt
|
|
2014
|
47 |
2 |
p. 86-92
7 p.
|
artikel
|
| 80 |
Water Supply Optimization: An IPA Approach
|
Heracleous, Constantinos
|
|
2014
|
47 |
2 |
p. 265-270
6 p.
|
artikel
|
Tijdschrift beschrijving