| nr |
titel |
auteur |
tijdschrift |
jaar |
jaarg. |
afl. |
pagina('s) |
type |
| 1 |
A Compositional Approach to Abstraction for Planning Problems
|
Vilela, Juliana
|
|
|
53 |
4 |
p. 109-116
|
artikel
|
| 2 |
A Compositional Model for Multi-Rate Max-Plus Linear Systems ⁎ ⁎ This research was supported by the Electronic Components and Systems for European Leadership (ECSEL) Joint Undertaking under grant number H2020- ECSEL-2017-2-783162 through the FitOptiVis project (FitOptiVis (2019)).
|
Elahi, H.
|
|
|
53 |
4 |
p. 54-61
|
artikel
|
| 3 |
Active Learning of Modular Plant Models ⁎ ⁎ Work supported by the Swedish Research Council(VR) project SyTeC, the Chalmers Production Area of Advance, and by the Wallenberg Artificial Intelligence, Autonomous Systems and Software Program (WASP) funded by Knut and Alice Wallenberg Foundation.
|
Farooqui, Ashfaq
|
|
|
53 |
4 |
p. 296-302
|
artikel
|
| 4 |
A Generalized Diagnosability Condition for Diagnosis of Discrete Event Systems Subject to Sensor Failures
|
Takai, Shigemasa
|
|
|
53 |
4 |
p. 344-349
|
artikel
|
| 5 |
A hierarchical approach for discrete-event model identification incorporating expert knowledge
|
de Souza, Ryan P.C.
|
|
|
53 |
4 |
p. 275-281
|
artikel
|
| 6 |
An O(n2) Algorithm for Supervisor Reduction/Localization of Discrete-Event Systems
|
Wu, Lihua
|
|
|
53 |
4 |
p. 211-216
|
artikel
|
| 7 |
A proposal for an active diagnoser for safe fault-tolerant control of Discrete Event Systems
|
Moreira, Benjamin Grando
|
|
|
53 |
4 |
p. 282-287
|
artikel
|
| 8 |
A Reduced Computation of State Space to Enforce GMECs and Deadlock-Freeness on TPN Systems ⁎ ⁎ This work was supported by the National Natural Science Foundation of China under Grant 61873342 and the Science and Technology Development Fund, MSAR, under Grant 0012/2019/A1.
|
Li, Liang
|
|
|
53 |
4 |
p. 166-172
|
artikel
|
| 9 |
A stochastic programming approach for offshore flight scheduling
|
Bastos, Yan Barboza
|
|
|
53 |
4 |
p. 478-484
|
artikel
|
| 10 |
Automatic Translation of Blocking Flexible Job Shop Scheduling Problems to Automata Using the Supervisory Control Theory
|
Sarsur C., Daniel
|
|
|
53 |
4 |
p. 89-94
|
artikel
|
| 11 |
Behaviour Equivalent Max-Plus Automata for a Class of Timed Petri Nets ⁎ ⁎ This work was supported by the German Research Foundation (DFG) under grant MO 1697/4-1.
|
Triska, Lukas
|
|
|
53 |
4 |
p. 75-82
|
artikel
|
| 12 |
Case Study of Hierarchical Interface-Based Supervisory Control for a Mechatronic Platform ⁎ ⁎ This work received support from the Coordenação de Aperfeiçoa-mento de Pessoal de Nível Superior; Brazil (CAPES); the Financing Code 001; Financiadora de Estudos e Projetos (FINEP) and the Brazilian Army Force.
|
Calixto, Igor C.
|
|
|
53 |
4 |
p. 331-337
|
artikel
|
| 13 |
Communication-Free Multi-Agent Coordination in an Unknown Environment ⁎ ⁎ We gratefully acknowledge funding provided by the Natural Sciences and Engineering Research Council of Canada (NSERC) and General Dynamics Land Systems Canada.
|
Kulchyk, Jeremy
|
|
|
53 |
4 |
p. 159-165
|
artikel
|
| 14 |
Conditions for Hierarchical Supervisory Control under Partial Observation ⁎ ⁎ Supported by the Ministry of Education, Youth and Sports under the INTER-EXCELLENCE project LTAUSA19098, by the Czech Science Foundation grant GC19-06175J, by the university grant IGA PrF 2020 019, and by RVO 67985840.
|
Komenda, Jan
|
|
|
53 |
4 |
p. 303-308
|
artikel
|
| 15 |
Contents
|
|
|
|
53 |
4 |
p. i-vi
|
artikel
|
| 16 |
Counting Finite Transition Sequences of Block Structured Workflow Nets
|
López-Mellado, Ernesto
|
|
|
53 |
4 |
p. 193-198
|
artikel
|
| 17 |
Critical Observability of Partially Observed Petri Nets ⁎ ⁎ This work is partially supported by the Fund of China Scholarship Council (no. 201806960023).
|
Cong, X.Y.
|
|
|
53 |
4 |
p. 350-355
|
artikel
|
| 18 |
Depth-first Search Approach for Language-based Opacity Verification Using Petri Nets
|
Saadaoui, I.
|
|
|
53 |
4 |
p. 378-383
|
artikel
|
| 19 |
Detection and Prevention of Cyber-Attacks in Networked Control Systems ⁎ ⁎ (Corresponding Author: Y. Tong) This work was supported by the National Natural Science Foundation of China under Grant No. 61803317, and the Fundamental Research Funds for the Central Universities under Grant No. 2682018CX24.
|
Li, Yike
|
|
|
53 |
4 |
p. 7-13
|
artikel
|
| 20 |
Discrete Event System Control in Max-Plus Algebra: Application to Manufacturing Systems ⁎ ⁎ CAPES-COFECUB
|
Oliveira, Gabriel Freitas
|
|
|
53 |
4 |
p. 143-150
|
artikel
|
| 21 |
Distributed Scheduling of Charging for On-Demand Electric Vehicle Fleets ⁎ ⁎ This research was supported by the Koret Foundation grant for Smart Cities and Digital Living and by the Bits & Watts Initiative at Stanford University.
|
Bistritz, Ilai
|
|
|
53 |
4 |
p. 472-477
|
artikel
|
| 22 |
DSM-based variable ordering heuristic for reduced computational effort of symbolic supervisor synthesis ⁎ ⁎ Research leading to these results has received funding from the EU ECSEL Joint Undertaking under grant agreement n° 826452 (project Arrowhead Tools) and from the partners national programs/funding authorities.
|
Lousberg, Sam
|
|
|
53 |
4 |
p. 429-436
|
artikel
|
| 23 |
Efficient Assessment of State Liveness in Open, Irreversible, Dynamically Routed, Zone-Controlled Guidepath-based Transport Systems: The General Case
|
Reveliotis, S.
|
|
|
53 |
4 |
p. 235-242
|
artikel
|
| 24 |
Efficient Synthesis of Sensor Deception Attacks Using Observation Equivalence-Based Abstraction
|
Mohajerani, Sahar
|
|
|
53 |
4 |
p. 28-34
|
artikel
|
| 25 |
Efficient Validation of Supervisory Controllers using Symmetry Reduction
|
Moormann, Lars
|
|
|
53 |
4 |
p. 288-295
|
artikel
|
| 26 |
Event-driven control for reaching a steady state in controlled Generalized Batches Petri Nets
|
Liu, Ruotian
|
|
|
53 |
4 |
p. 180-186
|
artikel
|
| 27 |
Fault-tolerant cooperative control of networked discrete-event systems
|
Zgorzelski, Markus
|
|
|
53 |
4 |
p. 123-128
|
artikel
|
| 28 |
Formal Analysis of Emergency Department Staffing Based on Stochastic Timed Petri Net Models
|
Wang, Jiacun
|
|
|
53 |
4 |
p. 405-410
|
artikel
|
| 29 |
Formal Synthesis of Safe Stop Tactical Planners for an Automated Vehicle ⁎ ⁎ This work was partially supported by the Wallenberg AI, Autonomous Systems and Software Program (WASP) funded by the Knut and Alice Wallenberg Foundation.
|
Krook, Jonas
|
|
|
53 |
4 |
p. 445-452
|
artikel
|
| 30 |
Framework for Studying Stability of Switching Max-Plus Linear Systems
|
Gupta, Abhimanyu
|
|
|
53 |
4 |
p. 68-74
|
artikel
|
| 31 |
From supervisory control to PLC code: a way to speed-up Constructive/Virtual Commissioning of Manufacturing Systems
|
Basile, F.
|
|
|
53 |
4 |
p. 466-471
|
artikel
|
| 32 |
Global Robustness with q-Step Delay for Max-Plus Linear Systems ⁎ ⁎ This work was supported by National Natural Science Foundation of China under grant numbers 61741307, 61903037 and 61976242.
|
Yin, Yingxuan
|
|
|
53 |
4 |
p. 48-53
|
artikel
|
| 33 |
Guard extraction for modeling and control of a collaborative assembly station ⁎ ⁎ This work has been supported by UNIFICATION, Vinnova, Pro-duktion 2030, and UNICORN, Vinnova, Effektiva och uppkopplade transportsystem.
|
Dahl, Martin
|
|
|
53 |
4 |
p. 223-228
|
artikel
|
| 34 |
How to use Model Checking for Diagnosing Fault Patterns in Petri nets
|
Bakalara, Johanne
|
|
|
53 |
4 |
p. 269-274
|
artikel
|
| 35 |
Identifying Petri Nets with Silent Transitions by Event Traces Classification
|
Alvarez-Pérez, Yolanda
|
|
|
53 |
4 |
p. 199-204
|
artikel
|
| 36 |
Is LTL model-checking effective for Diagnosability Verification? ⁎ ⁎ This work is financed in part by CNPq, CAPES and FAPERJ.
|
Tuxi, Thiago M.
|
|
|
53 |
4 |
p. 256-262
|
artikel
|
| 37 |
Just-in-Time Balancing of Feedback Assembly Lines Via Constrained-Linear Tropical Model
|
Guimarães, Luíza Sernizon
|
|
|
53 |
4 |
p. 62-67
|
artikel
|
| 38 |
K-Loss Robust Diagnosability of Discrete-Event Systems
|
Oliveira, Vinicius S.L.
|
|
|
53 |
4 |
p. 250-255
|
artikel
|
| 39 |
Local Mean Payoff Supervisory Control under Partial Observation ⁎ ⁎ The second author is supported by the National Natural Science Foundation of China under grants (61803259 and 61833012) and by Shanghai Jiao Tong University Scientific and Technological Innovation Funds.
|
Ji, Yiding
|
|
|
53 |
4 |
p. 390-396
|
artikel
|
| 40 |
Makespan optimization using Timed Petri Nets and Mixed Integer Linear Programming Problem
|
Marino, E. Di
|
|
|
53 |
4 |
p. 129-135
|
artikel
|
| 41 |
Max-Plus Matrix Method for Correctness Verification of Communication Protocols ⁎ ⁎ This work was supported by National Natural Science Foundation of China under grant numbers 61741307, 61903037 and 61976242.
|
Wang, Cailu
|
|
|
53 |
4 |
p. 42-47
|
artikel
|
| 42 |
Mitigation of Classes of Attacks using a Probabilistic Discrete Event System Framework ⁎ ⁎ This work was partly supported by the Natural Sciences and Engineering Research Council of Canada (grant RGPIN-2015-04273) and by the US National Science Foundation (grants CNS-1738103 and CNS-1801342).
|
Wang, Ze Yang
|
|
|
53 |
4 |
p. 35-41
|
artikel
|
| 43 |
Modeling of safe time Petri nets by interval weighted automata ⁎ ⁎ Partially supported by RVO 67985840 and by GACR grant GC19-06175J.
|
Komenda, Jan
|
|
|
53 |
4 |
p. 187-192
|
artikel
|
| 44 |
Modular Supervisory Synthesis for Unknown Plant Models Using Active Learning ⁎ ⁎ Work supported by the Swedish Research Council (VR) project SyTeC, the Chalmers Production Area of Advance, and by the Wallenberg Artificial Intelligence, Autonomous Systems and Software Program (WASP) funded by Knut and Alice Wallenberg Foundation.
|
Hagebring, Fredrik
|
|
|
53 |
4 |
p. 324-330
|
artikel
|
| 45 |
Modular Synthesis of Least Restrictive Controllable and Nonblocking Supervisors with Distinguishers
|
Malik, Robi
|
|
|
53 |
4 |
p. 205-210
|
artikel
|
| 46 |
Moving Target Defense based on Switched Supervisory Control: A New Technique for Mitigating Sensor Deception Attacks 1 1 The work of R.M.G. and S.L. was supported in part by US NSF grants CNS-1738103 and CNS-1801342.
|
Meira-Góes, Rômulo
|
|
|
53 |
4 |
p. 317-323
|
artikel
|
| 47 |
Multiple Objective Functions for Falsification of Cyber-Physical Systems
|
Ramezani, Zahra
|
|
|
53 |
4 |
p. 417-422
|
artikel
|
| 48 |
Multi-robot Path Planning with Boolean Specifications and Collision Avoidance ⁎ ⁎ The work of C. Mahulea has been partially supported by the MINECO ”Salvador de Madariaga” mobility program. M. Kloetzer acknowledges the grant PN-III-P1-1.1-TE-2016-0737.
|
Mahulea, Cristian
|
|
|
53 |
4 |
p. 101-108
|
artikel
|
| 49 |
New predictability verification tests for discrete-event systems modeled by finite state automata ⁎ ⁎ This work has been supported in part by the Coordenação de Aperfeiçoamento de Pessoal de Nível Superior (CAPES), Finance Code 001, and the Brazilian Research Council (CNPq), grant number 309.652/2017-0.
|
Barcelos, Raphael J.
|
|
|
53 |
4 |
p. 243-249
|
artikel
|
| 50 |
Non-blocking Supervisory Control of Timed Automata using Forcible Events
|
Rashidinejad, Aida
|
|
|
53 |
4 |
p. 356-362
|
artikel
|
| 51 |
Observer for Weighted Timed Event Graphs
|
Trunk, J.
|
|
|
53 |
4 |
p. 501-507
|
artikel
|
| 52 |
On the Equilibrium Sets of Topologically Equal Conflict Timed Continuous Petri Nets ⁎ ⁎ César Arzola was supported by Conacyt, grant No. 710039.
|
Arzola, César
|
|
|
53 |
4 |
p. 363-370
|
artikel
|
| 53 |
On Verification of Strong Periodic D-Detectability for Discrete Event Systems ⁎ ⁎ This research was partially supported by the Ministry of Education, Youth and Sports under the INTER-EXCELLENCE project LTAUSA19098, by the Czech Science Foundation under the grant GC19-06175J, by the Palacky University under the grant IGA PrF 2020 019, and by RVO 67985840.
|
Balun, JiŘí
|
|
|
53 |
4 |
p. 263-268
|
artikel
|
| 54 |
Optimal Control of Timed Event Graphs with Resource Sharing and Output-Reference Update ⁎ ⁎ Financial support from Deutsche Forschungsgemeinschaft (DFG) via grant RA 516/14-1 is gratefully acknowledged.
|
Schafaschek, Germano
|
|
|
53 |
4 |
p. 397-404
|
artikel
|
| 55 |
Optimization of Ride Sharing Systems Using Event-driven Receding Horizon Control ⁎ ⁎ Supported in part by NSF under grants ECCS-1931600, DMS-1664644, CNS-1645681, by AFOSR under grant FA9550-19-1-0158, by ARPA-E’s NEXTCAR program under grant DE-AR0000796 and by the MathWorks.
|
Chen, Rui
|
|
|
53 |
4 |
p. 411-416
|
artikel
|
| 56 |
Priced Timed Automata Models for Control of Intelligent Product Agents in Manufacturing Systems ⁎ ⁎ This work was supported by NSF 1256260 and NSF 1544678.
|
Kovalenko, Ilya
|
|
|
53 |
4 |
p. 136-142
|
artikel
|
| 57 |
Probabilistic verification of attack detection using logical observer ⁎ ⁎ This paper is partially supported by the Visiting Professor/Scientist Program, Call 2018, funded by Region Sardinia, Italy. It is also partially supported by Project RASSR05871 MOSIMA funded by Region Sardinia, Italy, FSC 2014-2020, 2017, Area 3, Action Line 3.1.
|
Lefebvre, Dimitri
|
|
|
53 |
4 |
p. 95-100
|
artikel
|
| 58 |
Quantifying model quality for supervisory control synthesis - an experimental study ⁎ ⁎ This work is supported by Rijkswaterstaat, part of the Ministry of Infrastructure and Water Management of the Government of The Netherlands.
|
Goorden, Martijn A.
|
|
|
53 |
4 |
p. 437-444
|
artikel
|
| 59 |
Real time scheduler for multiprocessor systems based on continuous control using Timed Continuous Petri Nets ⁎ ⁎ This work has been supported by the Ministerio de Ciencia, Innovación y Universidades and the European ERDF under Grant TIN2016-76635-C2-1-R (AEI/ERDF, EU), and by the Aragon Government (T58_17R research group) and ERDF 2014-2020 “Con-struyendo Europa desde Aragón”.
|
Rubio-Anguiano, L.
|
|
|
53 |
4 |
p. 371-377
|
artikel
|
| 60 |
Reconfiguration of Discrete Event Systems using Synchronizing Words ⁎ ⁎ This work has been supported by the National Council for Scientific and Technological Development – CNPq under grant 443656/2018-5, CAPES, Brazil, under grant 001 and Fapemig.
|
Alves, Lucas V.R.
|
|
|
53 |
4 |
p. 453-458
|
artikel
|
| 61 |
Reinforcement Learning with Temporal Logic Constraints ⁎ ⁎ This work was supported by The Swedish Foundation for Strategic Research, through the Smart Assembly 4.0 project, within the Winquist Laboratory; SyTec - Systematic Testing of Cyber-Physical Systems, a Swedish Science Foundation grant for strong research environment; Wallenberg Artificial Intelligence, Autonomous Systems and Software Program (WASP) funded by Knut and Alice Wallenberg Foundation; NSFC 61673229 and the 111 International Collaboration Project of China (No. BP2018006). The support is gratefully acknowledged.
|
Lennartson, Bengt
|
|
|
53 |
4 |
p. 485-492
|
artikel
|
| 62 |
Revisiting strong detectability of networked discrete-event systems ⁎ ⁎ This work was partially supported by Karl Engvers Foundation.
|
Zhang, Kuize
|
|
|
53 |
4 |
p. 21-27
|
artikel
|
| 63 |
Robot Waiting Time Analysis and Its Impact on Wafer Delay Time of Single-Arm Cluster Tools
|
Xiong, WenQing
|
|
|
53 |
4 |
p. 384-389
|
artikel
|
| 64 |
SMT-based verification of temporal properties for component-based software systems
|
Jonk, R.
|
|
|
53 |
4 |
p. 493-500
|
artikel
|
| 65 |
S3PMR Deadlock Control with Partial Controllability and Observability
|
Cazenave, P.
|
|
|
53 |
4 |
p. 173-179
|
artikel
|
| 66 |
Stealthy Sensor Attacks for Plants Modeled by Labeled Petri Nets ⁎ ⁎ This work is partially supported by the National Key R&D Program of China under Grant 2018YFB1700104, the Natural Science Foundation of China under Grand Nos. 61472295, 61673309, 61873342, the ShaanXi Huashan Scholars, the Science and Technology Development Fund, MSAR, under Grant No. 122/2017/A3. This work is also partially supported by Project RASSR05871 MOSIMA funded by Region Sardinia, FSC 2014-2020, Annualita’ 2017, Area 3, Action Line 3.1.
|
Zhang, Qi
|
|
|
53 |
4 |
p. 14-20
|
artikel
|
| 67 |
Supervisory Control in Construction Robotics: in the Quest for Scalability and Permissiveness
|
Rosa, Marcelo
|
|
|
53 |
4 |
p. 117-122
|
artikel
|
| 68 |
Supervisory Control of Distributed Power Generation Systems with Petri Net-based Customization
|
da R. Maschio, Dierli M.
|
|
|
53 |
4 |
p. 423-428
|
artikel
|
| 69 |
Supervisory Control of Time-Interval Discrete Event Systems ⁎ ⁎ This work is financially supported by Singapore Ministry of Education Tier 1 Academic Research Grant (2018-T1-001-245 (RG91/18)) and the National Research Foundation of Singapore Delta-NTU Corporate Lab Program with the project reference of DELTA-NTU CORP-SMA-RP2, which is gratefully acknowledged.
|
Brandin, Bertil
|
|
|
53 |
4 |
p. 217-222
|
artikel
|
| 70 |
Supervisory Control Synthesis for Safety PLCs
|
Reijnen, Ferdie F.H.
|
|
|
53 |
4 |
p. 151-158
|
artikel
|
| 71 |
Symbolic Reachability Analysis of High Dimensional Max-Plus Linear Systems
|
Mufid, Muhammad Syifa’ul
|
|
|
53 |
4 |
p. 459-465
|
artikel
|
| 72 |
Synthesis and implementation of supervisory control for manufacturing systems under processing uncertainties and time constraints
|
Szpak, Rodrigo
|
|
|
53 |
4 |
p. 229-234
|
artikel
|
| 73 |
Synthesis of Covert Actuator and Sensor Attackers as Supervisor Synthesis ⁎ ⁎ This work is financially supported by Singapore Ministry of Education Tier 1 Academic Research Grant (2018-T1-001-245 (RG91/18)) and the National Research Foundation of Singapore Delta-NTU Corporate Lab Program with the project reference of DELTA-NTU CORP-SMA-RP2, which is gratefully acknowledged.
|
Lin, Liyong
|
|
|
53 |
4 |
p. 1-6
|
artikel
|
| 74 |
Synthesis of Supervisors for a PID-Controlled Industrial Process and Implementation on Foundation Fieldbus
|
de Oliveira, Rafael G.
|
|
|
53 |
4 |
p. 83-88
|
artikel
|
| 75 |
Transformational Supervisor Synthesis for Evolving Systems ⁎ ⁎ Research leading to these results has received funding from the EU ECSEL Joint Undertaking under grant agreement n° 826452 (project Arrowhead Tools) and from the partners national programs/funding authorities.
|
Thuijsman, Sander
|
|
|
53 |
4 |
p. 309-316
|
artikel
|
| 76 |
Weak Diagnosability of Discrete Event Systems
|
Cao, Lin
|
|
|
53 |
4 |
p. 338-343
|
artikel
|
Tijdschrift beschrijving