| nr |
titel |
auteur |
tijdschrift |
jaar |
jaarg. |
afl. |
pagina('s) |
type |
| 1 |
A Discrete-Event and Hybrid Simulation Framework Based on SimEvents for Intelligent Transportation System Analysis ⁎ ⁎ Supported in part by NSF under grants ECCS-1509084, CNS-1645681, and IIP-1430145, by AFOSR under grant FA9550-15-1-0471, by DOE under grant DOE-46100, by MathWorks and by Bosch.
|
Zhang, Yue
|
|
|
51 |
7 |
p. 323-328
|
artikel
|
| 2 |
Air Robust Routes: analysis of the direct costs
|
Adacher, Ludovica
|
|
|
51 |
7 |
p. 70-75
|
artikel
|
| 3 |
An Abstraction Method of Interpreted Petri Nets Preserving the Equivalence of the Controllable Observable Language
|
Chavarín-Aguirre, Pedro
|
|
|
51 |
7 |
p. 367-373
|
artikel
|
| 4 |
An algebraic characterization of language-based opacity in labeled Petri nets
|
Basile, F.
|
|
|
51 |
7 |
p. 329-336
|
artikel
|
| 5 |
An Efficient Method of Matrix Multiplication for Heaps of Pieces
|
Ware, Simon
|
|
|
51 |
7 |
p. 206-211
|
artikel
|
| 6 |
An Engineering Perspective on Model-Based Design of Supervisors
|
Reniers, M.A.
|
|
|
51 |
7 |
p. 257-264
|
artikel
|
| 7 |
A new approach to tracking control of networked discrete-event systems
|
Zgorzelski, Markus
|
|
|
51 |
7 |
p. 448-455
|
artikel
|
| 8 |
Approximated Timed Reachability Graphs for performance evaluation and control of DES
|
Lefebvre, Dimitri
|
|
|
51 |
7 |
p. 224-229
|
artikel
|
| 9 |
A relative identification method for reactive systems
|
Galetta, Clement
|
|
|
51 |
7 |
p. 152-159
|
artikel
|
| 10 |
A Signal-Interpreted Approach to the Supervisory Control Theory – Extension to Partially Controllable Signals
|
Desgeorges, Loïc
|
|
|
51 |
7 |
p. 442-447
|
artikel
|
| 11 |
A Three Steps Approach for Surgery Planning of Elective and Urgent Patients ⁎ ⁎ This paper has been partially supported by CICYT - FEDER projects DPI2014-57252-R and DPI2017-88233-R.
|
Clavel, Daniel
|
|
|
51 |
7 |
p. 243-250
|
artikel
|
| 12 |
Centralized Fault Detection of Complex Uncertain Hybrid Systems ⁎ ⁎ This work has been supported by the European Union’s Horizon 2020 research and innovation programme under grant agreement No 739551 (KIOS CoE) and from the Government of the Republic of Cyprus through the Directorate General for European Programmes, Coordination and Development.
|
Heracleous, Constantinos
|
|
|
51 |
7 |
p. 76-81
|
artikel
|
| 13 |
Complexity reduction techniques for quantified diagnosability of stochastic systems
|
Bazille, Hugo
|
|
|
51 |
7 |
p. 82-87
|
artikel
|
| 14 |
Component-wise Supervisory Controller Synthesis in a Client/Server Architecture
|
Loose, Robin
|
|
|
51 |
7 |
p. 381-387
|
artikel
|
| 15 |
Compositional Verification of PLC Software using Horn Clauses and Mode Abstraction
|
Bohlender, Dimitri
|
|
|
51 |
7 |
p. 428-433
|
artikel
|
| 16 |
Compositional Visible Bisimulation Abstraction Applied to Opacity Verification ⁎ ⁎ This work was carried out within the project SyTec - Systematic Testing of Cyber-Physical Systems, a Swedish Science Foundation grant for strong research environment. The support is gratefully acknowledged.
|
Noori-Hosseini, Mona
|
|
|
51 |
7 |
p. 434-441
|
artikel
|
| 17 |
Contents
|
|
|
|
51 |
7 |
p. i-viii
|
artikel
|
| 18 |
Controller Design for Avoiding Collisions in Automated Guided Vehicle Systems via Labeled Petri Nets
|
Wan, YaXin
|
|
|
51 |
7 |
p. 139-144
|
artikel
|
| 19 |
Counterexample Computation in Compositional Nonblocking Verification
|
Malik, Robi
|
|
|
51 |
7 |
p. 416-421
|
artikel
|
| 20 |
Decentralized Supervision and Coordination of Concurrent Discrete Event Systems under LTL Constraints ⁎ ⁎ This work was supported by JST ERATO Grant Number JPM-JER1603, Japan.
|
Sakakibara, Ami
|
|
|
51 |
7 |
p. 7-12
|
artikel
|
| 21 |
Demonstration of Indoor Location Privacy Enforcement using Obfuscation ⁎ ⁎ This work was supported in part by TerraSwarm, one of six centers of STARnet, a Semiconductor Research Corporation program sponsored by MARCO and DARPA, and in part by the National Science Foundation under grant CNS-1421122.
|
Góes, Rômulo Meira
|
|
|
51 |
7 |
p. 145-151
|
artikel
|
| 22 |
Design of control sequences for timed Petri nets based on tree encoding
|
Lefebvre, Dimitri
|
|
|
51 |
7 |
p. 218-223
|
artikel
|
| 23 |
Design of Monitor-based Supervisors in Labelled Petri Nets
|
Ma, Ziyue
|
|
|
51 |
7 |
p. 374-380
|
artikel
|
| 24 |
Detectable and Undetectable Network Attack Security of Cyber-physical Systems
|
Lima, Públio M.
|
|
|
51 |
7 |
p. 179-185
|
artikel
|
| 25 |
Deterministic Finite-Automata Abstractions of Time-Variant Sequential Behaviours
|
Moor, Thomas
|
|
|
51 |
7 |
p. 388-393
|
artikel
|
| 26 |
Discrete-event demonstrator HANS
|
Zgorzelski, Markus
|
|
|
51 |
7 |
p. 298-303
|
artikel
|
| 27 |
Distributed computation of vector clocks in Petri nets unfolding for test selection
|
Jezequel, Loïg
|
|
|
51 |
7 |
p. 106-111
|
artikel
|
| 28 |
Distributed Synchronous Diagnosability of Discrete-Event Systems ⁎ ⁎ This work has been partially supported by the Brazilian Research Council, CNPq, under grants 200536/2017-6 and 309084/2014-8.
|
Veras, Maria Z.M.
|
|
|
51 |
7 |
p. 88-93
|
artikel
|
| 29 |
Efficient Updating of Node Importance in Dynamic Real-Life Networks
|
Berkhout, J.
|
|
|
51 |
7 |
p. 64-69
|
artikel
|
| 30 |
Energy-Efficient Thermal-Aware Scheduling for RT Tasks Using TCPN
|
Rubio-Anguiano, L.
|
|
|
51 |
7 |
p. 236-242
|
artikel
|
| 31 |
Enforcing current-state opacity through shuffle in event observations ⁎ ⁎ This work has been partially supported by the Brazilian Research Council, CNPq, grant number 462307/2014-0, and by Carlos Chagas Foundation, FAPERJ, grant number E-26/010.002890/2014.
|
Barcelos, Raphael Julio
|
|
|
51 |
7 |
p. 100-105
|
artikel
|
| 32 |
Enhanced discrete event model for system identification with the aim of fault detection ⁎ ⁎ This work has been partially supported by the Brazilian Research Council, CNPq, under grants 200536/2017-6 and 309084/2014-8.
|
Moreira, Marcos V.
|
|
|
51 |
7 |
p. 160-166
|
artikel
|
| 33 |
Exercising Symbolic Discrete Control for Designing Low-power Hardware Circuits: an Application to Clock-gating ⁎ ⁎ This work was supported by the EPSRC through grant EP/M027287/1.
|
Özbaltan, Mete
|
|
|
51 |
7 |
p. 120-126
|
artikel
|
| 34 |
Exploiting Approximations in Supervisory Control with Distinguishers ⁎ ⁎ This work has been supported by the National Council for Scientific and Technological Development (CNPq), under grant number 402145/2016-0, by CAPES, FINEP and Araucária Foundation.
|
Rosa, Marcelo
|
|
|
51 |
7 |
p. 13-18
|
artikel
|
| 35 |
Factorization-Based Approach for Computing a Minimum Makespan Controllable Sublanguage ⁎ ⁎ This work has been supported by the Brazilian agency CAPES.
|
Bravo, Hugo J.
|
|
|
51 |
7 |
p. 19-24
|
artikel
|
| 36 |
Hybrid Petri Nets to Re-design Low-Automated Production Processes: the Case Study of a Sardinian Bakery
|
Cavone, G.
|
|
|
51 |
7 |
p. 265-270
|
artikel
|
| 37 |
Insertion Functions with Memory for Opacity Enforcement ⁎ ⁎ The research of L. Ricker was supported in part by an NSERC Discovery Grant. The research of S. Lafortune was supported in part by the US National Science Foundation under grant CNS-1421122.
|
Keroglou, Christoforos
|
|
|
51 |
7 |
p. 394-399
|
artikel
|
| 38 |
Localization of time shift failures in (max,+)-linear systems
|
Corronc, Euriell Le
|
|
|
51 |
7 |
p. 186-191
|
artikel
|
| 39 |
Local Refinement of l-complete Approximations for Supervisory Control of Hybrid Systems ⁎ ⁎ The work of J.–M. Yang was supported in part by Researcher Exchange Program under Memorandum of Understanding between the NRF–DAAD and in part by Basic Science Research Program through the National Research Foundation of Korea (NRF) funded by the Ministry of Education (No. 2015R1D1A1A01056764).
|
Yang, Jung–Min
|
|
|
51 |
7 |
p. 472-479
|
artikel
|
| 40 |
Logical Control of Complex Resource Allocation Systems
|
Reveliotis, Spyros
|
|
|
51 |
7 |
p. 501-504
|
artikel
|
| 41 |
LQG Control via Wireless Sensor Networks with Minimal Transmission Power
|
Soleymani, Touraj
|
|
|
51 |
7 |
p. 51-56
|
artikel
|
| 42 |
(Max,+)-automata with partial observations
|
Komenda, J.
|
|
|
51 |
7 |
p. 192-197
|
artikel
|
| 43 |
Minimizing Deterministic Timed Finite State Machines
|
Bresolin, Davide
|
|
|
51 |
7 |
p. 486-492
|
artikel
|
| 44 |
Model Decomposition of Timed Event Graphs under Partial Synchronization in Dioids
|
Trunk, J.
|
|
|
51 |
7 |
p. 198-205
|
artikel
|
| 45 |
Modeling and detection of cyber attacks on discrete event systems
|
Fritz, Raphael
|
|
|
51 |
7 |
p. 285-290
|
artikel
|
| 46 |
Modeling and Synthesis of the Lane Change Function of an Autonomous Vehicle
|
Krook, Jonas
|
|
|
51 |
7 |
p. 133-138
|
artikel
|
| 47 |
New Approach for Differential Harvest Problem: The model checking way
|
Yagoubi, Rim Saddem
|
|
|
51 |
7 |
p. 57-63
|
artikel
|
| 48 |
On-line Algorithm for Current State Opacity Enforcement in a Petri Net Framework
|
Cong, X.Y.
|
|
|
51 |
7 |
p. 349-354
|
artikel
|
| 49 |
On-line Optimization of Power Efficiency in 3D Multicore Processors
|
Chen, X.
|
|
|
51 |
7 |
p. 127-132
|
artikel
|
| 50 |
On monotonicity and continuity: computing problematic configurations in timed continuous Petri nets
|
Navarro-Gutiérrez, Manuel
|
|
|
51 |
7 |
p. 493-500
|
artikel
|
| 51 |
On Scalable Supervisory Control of Multi-Agent Discrete-Event Systems ⁎ ⁎ This work was partially supported by the National Natural Science Foundation of China under Grant Nos. 61374068, 61472295, 61672400; the Science and Technology Development Fund, MSAR, under Grant No. 078/2015/A3; JSPS KAKENHI, under Grant No. JP16K18122
|
Liu, Yingying
|
|
|
51 |
7 |
p. 25-30
|
artikel
|
| 52 |
On the Relation between Reactive Synthesis and Supervisory Control of Input/Output Behaviours
|
Schmuck, Anne-Kathrin
|
|
|
51 |
7 |
p. 31-38
|
artikel
|
| 53 |
Opacity Enforcement by Insertion Functions under Energy Constraints ⁎ ⁎ Research supported in part by the US National Science Foundation under grants CNS-1421122 and CNS-1738103.
|
Ji, Yiding
|
|
|
51 |
7 |
p. 291-297
|
artikel
|
| 54 |
Opacity with powerful attackers
|
Hélouët, Loïc
|
|
|
51 |
7 |
p. 464-471
|
artikel
|
| 55 |
Optimal Task Scheduling in a Flexible Manufacturing System using Model Checking
|
Malik, Robi
|
|
|
51 |
7 |
p. 230-235
|
artikel
|
| 56 |
Partially observed discrete-event systems: from state estimation to intrusion detection
|
Seatzu, Carla
|
|
|
51 |
7 |
p. 508-511
|
artikel
|
| 57 |
Performability evaluation of server virtualized systems under bursty workload
|
Escheikh, Mohamed
|
|
|
51 |
7 |
p. 45-50
|
artikel
|
| 58 |
PetriBaR: A MATLAB Toolbox for Petri Nets Implementing Basis Reachability Approaches
|
Liu, Siqi
|
|
|
51 |
7 |
p. 316-322
|
artikel
|
| 59 |
PLC Implementation of Symbolic, Modular Supervisory Controllers
|
Prenzel, Laurin
|
|
|
51 |
7 |
p. 304-309
|
artikel
|
| 60 |
Predictability for Finite State Machines: a set-membership approach
|
Fiore, Gabriella
|
|
|
51 |
7 |
p. 355-360
|
artikel
|
| 61 |
Qualitative Assessment of the Exceeding Behaviour of Discovered Petri Nets
|
Pérez, Rubén-Barragán
|
|
|
51 |
7 |
p. 172-178
|
artikel
|
| 62 |
Robust production scheduling under machine failures - A DES based evaluation approach
|
Himmiche, S.
|
|
|
51 |
7 |
p. 271-276
|
artikel
|
| 63 |
SATE: Model-Based Testing with Design-to-Test and Plant Features
|
Ma, Canlong
|
|
|
51 |
7 |
p. 310-315
|
artikel
|
| 64 |
Scheduling and Control of Start-up Process for Time-Constrained Single-Arm Cluster Tools with Parallel Chambers
|
Yang, FaJun
|
|
|
51 |
7 |
p. 251-256
|
artikel
|
| 65 |
Stochastic Flow Models with Delays and Applications to Multi-Intersection Traffic Light Control ⁎ ⁎ Supported in part by NSF under grants ECCS-1509084, CNS-1645681, and IIP-1430145, by AFOSR under grant FA9550-15-1-0471, by the DOE under grant DE-AR0000796, by the MathWorks and by Bosch.
|
Chen, Rui
|
|
|
51 |
7 |
p. 39-44
|
artikel
|
| 66 |
Structural Concolic Testing for Sequential Function Chart
|
Simon, Hendrik
|
|
|
51 |
7 |
p. 422-427
|
artikel
|
| 67 |
Supervisor Aware Service Composition Framework: An Implementation and Evaluation ⁎ ⁎ The authors gratefully acknowledge financial support from the Natural Sciences and Engineering Research Council of Canada
|
Atampore, Francis
|
|
|
51 |
7 |
p. 277-284
|
artikel
|
| 68 |
Supervisor Localization of Discrete-Event Systems with Infinite Behavior ⁎ ⁎ This work was supported in part by the National Nature Science Foundation of China, Grant no. 11772264; the Natural Science Foundation of Shaanxi Province, China, Grant no. 2017JM5061; JSPS KAKENHI Grant no. JP16K18122.
|
Zhang, Renyuan
|
|
|
51 |
7 |
p. 361-366
|
artikel
|
| 69 |
Supervisory Control of Timed Discrete-Event Systems Subject to Communication Delays and Non-FIFO Observations
|
Rashidinejad, Aida
|
|
|
51 |
7 |
p. 456-463
|
artikel
|
| 70 |
Symbolic Limited Lookahead Control for Best-effort Dynamic Computing Resource Management ⁎ ⁎ This work was partially supported by the EPSRC through grant EP/M027287/1.
|
Berthier, Nicolas
|
|
|
51 |
7 |
p. 112-119
|
artikel
|
| 71 |
Synthesis of Bisimilarity Enforcing Supervisors for Nondeterministic Discrete Event Systems
|
Takai, Shigemasa
|
|
|
51 |
7 |
p. 1-6
|
artikel
|
| 72 |
Synthesis of Dynamic Masks for Infinite-Step Opacity
|
Yin, Xiang
|
|
|
51 |
7 |
p. 343-348
|
artikel
|
| 73 |
The interaction between scheduling and control of semi-cyclic hybrid systems
|
den Boom, Ton J.J. van
|
|
|
51 |
7 |
p. 212-217
|
artikel
|
| 74 |
The Science of Software and System Design ⁎ ⁎ Some of the ideas in this paper appear also in Tripakis (2016, 2018).
|
Tripakis, Stavros
|
|
|
51 |
7 |
p. 505-507
|
artikel
|
| 75 |
Timed pattern diagnosis in timed workflows: a model checking approach
|
Pencolé, Yannick
|
|
|
51 |
7 |
p. 94-99
|
artikel
|
| 76 |
Towards Evolving Petri Nets: a Symmetric Nets-based Framework
|
Capra, Lorenzo
|
|
|
51 |
7 |
p. 480-485
|
artikel
|
| 77 |
Trajectory Planning under Current-State Opacity Constraints ⁎ ⁎ This material is based upon work supported in part by a grant by the University of Cyprus (UCY). Any opinions, findings, and conclusions or recommendations expressed in this publication are those of the author and do not necessarily reflect the views of UCY.
|
Hadjicostis, Christoforos N.
|
|
|
51 |
7 |
p. 337-342
|
artikel
|
| 78 |
Using Valued Booleans to Find Simpler Counterexamples in Random Testing of Cyber-Physical Systems
|
Claessen, Koen
|
|
|
51 |
7 |
p. 408-415
|
artikel
|
| 79 |
Visible Bisimulation Equivalence — A Unified Abstraction for Temporal Logic Verification ⁎ ⁎ This work was carried out within the project SyTec - Systematic Testing of Cyber-Physical Systems, a Swedish Science Foundation grant for strong research environment. The support is gratefully acknowledged.
|
Lennartson, Bengt
|
|
|
51 |
7 |
p. 400-407
|
artikel
|
| 80 |
Weak (approximate) detectability of labeled Petri net systems with inhibitor arcs ⁎ ⁎ This work was supported by Knut and Alice Wallenberg Foundation, Swedish Foundation for Strategic Research, and Swedish Research Council.
|
Zhang, Kuize
|
|
|
51 |
7 |
p. 167-171
|
artikel
|
Tijdschrift beschrijving