IBL Tool - Digital Library

Digital Library

Journal description

All volumes of the corresponding journal

All issues of the corresponding volume

All articles of the corresponding issues

53 results found

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

53 results found

Koninklijke Bibliotheek - National Library of the Netherlands