Digitale Bibliotheek
Sluiten Bladeren door artikelen uit een tijdschrift
 
Zoeken naar met titel:
ABCDEFGHIJKLMNOPQRSTUVWXYZ

     Tijdschrift beschrijving
       Alle jaargangen van het bijbehorende tijdschrift
         Alle afleveringen van het bijbehorende jaargang
                                       Alle artikelen van de bijbehorende aflevering
 
                             53 gevonden resultaten
nr titel auteur tijdschrift jaar jaarg. afl. pagina('s) type
1 Abstraction Based Supervisory Control for Non-Regular -Languages∗ Triska, Lukas
55 28 p. 142-149
 artikel
2 Active Diagnosis Algorithm for the Localization of Time Failures in (Max,+)-Linear Systems Velasquez, Ibis
55 28 p. 276-283
 artikel
3 A Formal Modular Synthesis Approach for the Coordination of Multi-Agent Systems Rosa, Marcelo
55 28 p. 150-157
 artikel
4 A Matlab toolbox implementing MSCG computation Basile, F.
55 28 p. 303-308
 artikel
5 A Novel Approach to the Modeling and Control of Timed Event Graphs with Partial Synchronization Schafaschek, Germano
55 28 p. 204-211
 artikel
6 A Security Testbed for Networked DES Control Systems Alves, Michel R.C.
55 28 p. 128-134
 artikel
7 Assume-Guarantee Synthesis of Decentralised Supervisory Control Mainhardt, Ana Maria
55 28 p. 165-172
 artikel
8 Attackable detectability of partially-observed discrete-event systems under sensor attack Chen, Qinrui
55 28 p. 121-127
 artikel
9 Compositional Verification of Non-Blockingness with Prioritised Events Tang, Yiheng
55 28 p. 236-243
 artikel
10 Contents
55 28 p. i-vi
 artikel
11 Critical pairs based diagnosability analysis of timed fault in Time Petri Nets Coquand, Camille
55 28 p. 297-302
 artikel
12 Derivation and Hardware-in-the-loop Testing for a Road Tunnel Controller Moormann, Lars
55 28 p. 363-370
 artikel
13 Detection of cyber-attacks in network control planes using Hidden Markov Model Desgeorges, Loïc
55 28 p. 66-72
 artikel
14 Distributed Identification of Discrete-Event Systems with the Aim of Fault Detection de Castro, José G.V.
55 28 p. 309-314
 artikel
15 Efficient Safe Control via Deep Reinforcement Learning and Supervisory Control – Case Study on Multi-Robot Warehouse Automation Konishi, Masahiro
55 28 p. 16-21
 artikel
16 Efficient State-Estimation of Uncertain Max-Plus Linear Systems with High Observation Noise Espindola-Winck, Guilherme
55 28 p. 228-235
 artikel
17 Event-based cryptography for automation networks of cyber-physical systems using the stream cipher ChaCha20 Lima, Públio M.
55 28 p. 58-65
 artikel
18 Eventual strong detectability of labeled weighted automata over monoids Zhang, Tianchen
55 28 p. 270-275
 artikel
19 Expressiveness and analysis of Delayable Timed Petri Net* Parrot, Rémi
55 28 p. 284-290
 artikel
20 Fault tolerance makespan synthesis in multi-process systems via resource sharing and backtracking Chen, Gang
55 28 p. 30-37
 artikel
21 Implementation of procedures for optimal control of timed event graphs with resource sharing Zorzenon, Davide
55 28 p. 220-227
 artikel
22 Job Shop Sequencing in Manufacturing Plants by Timed Coloured Petri Nets and Particle Swarm Optimization Volpe, Gaetano
55 28 p. 350-355
 artikel
23 Lessons learned in the application of formal methods to the design of a storm surge barrier control system∗ Goorden, Martijn
55 28 p. 93-99
 artikel
24 Leveraging Conflicting Constraints in Solving Vehicle Routing Problems Roselli, Sabino Francesco
55 28 p. 22-29
 artikel
25 Machine learning-based approach for online fault Diagnosis of Discrete Event System Saddem, R.
55 28 p. 337-343
 artikel
26 Malicious Origin of Deadlocks in Flexible Manufacturing Systems Beaudet, Amaury
55 28 p. 100-107
 artikel
27 Modeling and Security Verification of State-Based Smart Contracts Mohajerani, Sahar
55 28 p. 356-362
 artikel
28 Modeling of safe timed Petri nets by two-level (max,+) automata Komenda, Jan
55 28 p. 212-219
 artikel
29 Multi-level control for mobile robot systems * Roszkowska, Elzbieta
55 28 p. 87-92
 artikel
30 Mutual Opacity between Multiple Adversaries Sharpe, C.K.
55 28 p. 114-120
 artikel
31 Observer design for labeled finite automata with inputs under stealthy actuators attacks Ammour, Rabah
55 28 p. 46-51
 artikel
32 Online Fault Diagnosis of Discrete Event Systems Modeled by Labeled Petri Nets Using Labeled Priority Petri Nets* de Freitas, Braian Igreja
55 28 p. 329-336
 artikel
33 On liveness analysis in mono-T-semiflow Petri nets based on choice-join pairs García-Adame, R.I.
55 28 p. 322-328
 artikel
34 On synthesizing tolerable and permissive controllers for labeled transition systems Meira-Góes, Rômulo
55 28 p. 158-164
 artikel
35 On Verification of Weak and Strong k-step Opacity for Discrete-Event Systems* Balun, Jiří
55 28 p. 108-113
 artikel
36 Optimal Multi-Robot Path Planning for Cyclic Tasks using Petri Nets Lv, Peng
55 28 p. 9-15
 artikel
37 Optimal output feedback control of Timed Event Graphs including disturbances in a resource sharing environment Goltz, Philipp
55 28 p. 188-195
 artikel
38 Parallel Motion Execution and Path Rerouting for a Team of Mobile Robots Hustiu, Sofia
55 28 p. 73-78
 artikel
39 PNBA: A Software for Marking Estimation and Reconfiguration in Petri Nets Using Basis Marking Analysis Zou, Minqiang
55 28 p. 180-187
 artikel
40 Quotient Petri nets* Ramírez-Treviño, A.
55 28 p. 315-321
 artikel
41 Reductions and Abstractions for Optimization of Modular Timed Automata Lennartson, Bengt
55 28 p. 344-349
 artikel
42 Resilience in Discrete Event Systems Fabre, E.
55 28 p. 250-255
 artikel
43 Sensor and Actuator Attacks in Discrete Event Systems Zhang, Qi
55 28 p. 38-45
 artikel
44 Some structural results for the problem of Min-Time Coverage in Constricted Environments Kim, Y.-I.
55 28 p. 1-8
 artikel
45 Supervisory control of roadside units Verbakel, Jeroen J.
55 28 p. 79-86
 artikel
46 Supervisory control with absent-state explanations for coloured finite automata Reniers, Michel
55 28 p. 173-179
 artikel
47 Switched Max-Plus Linear-Dual Inequalities: Application in Scheduling of Multi-Product Processing Networks Zorzenon, Davide
55 28 p. 196-203
 artikel
48 Tamper-Tolerant Diagnosability Under Bounded or Unbounded Attacks Li, Yuting
55 28 p. 52-57
 artikel
49 Transformational Nonblocking Verification* Thuijsman, Sander
55 28 p. 256-263
 artikel
50 Verification of Reliable Inference-Diagnosability for Decentralized Diagnosis with Single-Level Inference Hamada, Takumi
55 28 p. 244-249
 artikel
51 Verifiers for the detection of timed patterns in discrete event systems Lefebvre, Dimitri
55 28 p. 264-269
 artikel
52 Weight-deterministic max-plus automata LAHAYE, Sébastien
55 28 p. 291-296
 artikel
53 You Don't Know What I Know: On Notion of High-Order Opacity in Discrete-Event Systems Cui, Bohan
55 28 p. 135-141
 artikel
                             53 gevonden resultaten
 
 Koninklijke Bibliotheek - Nationale Bibliotheek van Nederland