Articles

1. Offline analysis of the relaxed upper boundedness for online estimation ofoptimal event sequences in Partially Observable Petri Nets

   • P. Declerck

   OriginalPaper 10 April 2024

   

2. An algebraic control method to guarantee generalized marking constraints for partially observable timed event graphs

   • Jihene Rajah
   • Said Amari
   • Mohamed Haddar

   OriginalPaper 08 April 2024

   

3. Triangulation of diagonally dominant min-plus matrices

   • Yuki Nishida
   • Sennosuke Watanabe
   • Yoshihide Watanabe

   OriginalPaper 27 March 2024

   

4. Simulations and bisimulations for max-plus automata

   • Miroslav Ćirić
   • Ivana Micić
   • Aleksandar Stamenković

   OriginalPaper 02 March 2024

5. Cycle times in D/D/S series queues with single multi-server bottlenecks

   • Lonnie Turpin Jr.
   • Morgan Turpin

   OriginalPaper 03 February 2024 Pages: 251 - 268

   

6. Switched max-plus linear-dual inequalities: cycle time analysis and applications

   • Davide Zorzenon
   • Jan Komenda
   • Jörg Raisch

   OriginalPaper Open access 01 February 2024 Pages: 199 - 250

   

7. A modular synthesis approach for the coordination of multi-agent systems: the multiple team case

   • Marcelo Rosa
   • José E. R. Cury
   • Fabio L. Baldissera

   OriginalPaper 26 January 2024 Pages: 163 - 198

   

8. Compositional non-blockingness verification of finite automata with prioritised events

   • Yiheng Tang
   • Thomas Moor

   OriginalPaper Open access 25 January 2024 Pages: 125 - 161

   

9. \(\pi \)HyFlow: formalism, semantics, and applications

   • Fernando Barros

   Manuscript Open access 24 January 2024 Pages: 95 - 124

   

10. Analysis and control of timed event graphs in (max,+) algebra for the active localization of time failures

    • Ibis Velasquez
    • Yannick Pencolé
    • Euriell Le Corronc

    OriginalPaper 16 January 2024 Pages: 53 - 93

    

11. Conflict-free electric vehicle routing problem: an improved compositional algorithm

    • Sabino Francesco Roselli
    • Martin Fabian
    • Knut Åkesson

    OriginalPaper Open access 18 December 2023 Pages: 21 - 51

    

12. Generation of mathematical programming representations for discrete event simulation models of timed petri nets

    • Mengyi Zhang
    • Arianna Alfieri
    • Andrea Matta

    OriginalPaper Open access 06 December 2023 Pages: 1 - 19

    

13. Mixed Nondeterministic-Probabilistic Automata

    • Albert Benveniste
    • Jean-Baptiste Raclet

    OriginalPaper 19 October 2023 Pages: 455 - 505

    

14. Multi-level control for multiple mobile robot systems

    • Elzbieta Roszkowska
    • Piotr Makowski-Czerski
    • Lukasz Janiec

    OriginalPaper Open access 18 October 2023 Pages: 425 - 453

    

15. On tolerance of discrete systems with respect to transition perturbations

    • Rômulo Meira-Góes
    • Eunsuk Kang
    • Stavros Tripakis

    OriginalPaper 17 October 2023 Pages: 395 - 424

    

16. A multi-objective approach for manufacturing systems with multiple production routes based on supervisory control theory and heuristic algorithms

    • Lucas V. R. Alves
    • Gustavo C. Rafael
    • Patrícia N. Pena

    OriginalPaper 13 October 2023 Pages: 373 - 394

    

17. Correction to: Transformational supervisor synthesis for evolving systems

    • Sander Thuijsman
    • Michel Reniers

    OriginalPaper Open access 03 October 2023 Pages: 509 - 513

18. Correction to: Local and global robustness with q-step delay for max-plus linear systems

    • Yingxuan Yin
    • Yuegang Tao
    • Haiyong Chen

    Correction 07 September 2023 Pages: 507 - 507

19. Modeling and analysis of switching max-plus linear systems with discrete-event feedback

    • Alireza Mohamadkhani
    • Marc Geilen
    • Twan Basten

    OriginalPaper Open access 29 August 2023 Pages: 341 - 372

    

20. A survey on compositional algorithms for verification and synthesis in supervisory control

    • Robi Malik
    • Sahar Mohajerani
    • Martin Fabian

    OriginalPaper Open access 21 August 2023 Pages: 279 - 340

    

21. Do what you know: coupling knowledge with action in discrete-event systems

    • K. Ritsuka
    • K. Rudie

    OriginalPaper 21 August 2023 Pages: 257 - 277

    

22. Average criteria in denumerable semi-Markov decision chains under risk-aversion

    • Rolando Cavazos-Cadena
    • Hugo Cruz-Suárez
    • Raúl Montes-De-Oca

    OriginalPaper 21 August 2023 Pages: 221 - 256

23. Extending the network calculus algorithmic toolbox for ultimately pseudo-periodic functions: pseudo-inverse and composition

    • Raffaele Zippo
    • Paul Nikolaus
    • Giovanni Stea

    OriginalPaper Open access 18 August 2023 Pages: 181 - 219

    

24. A novel fully adaptive neural network modeling and implementation using colored Petri nets

    • Rosângela Albuquerque
    • Corneli Júnior
    • Guilherme Barreto

    OriginalPaper 30 June 2023 Pages: 129 - 160

    

25. Supervisory control to maximize mean time to failure in discrete event systems

    • Feng Lin
    • Caisheng Wang
    • Wenyuan Li

    OriginalPaper 10 June 2023 Pages: 105 - 127

    

26. Dynamics of products of matrices in max algebra

    • Shrihari Sridharan
    • Sachindranath Jayaraman
    • Yogesh Kumar Prajapaty

    OriginalPaper 10 August 2023 Pages: 161 - 179

    

27. On comparison of steady-state infinitesimal perturbation analysis and likelihood ratio derivative estimates

    • Jian-Qiang Hu
    • Teng Lian

    OriginalPaper 23 May 2023 Pages: 95 - 104

28. Cost-optimal timed trace synthesis for scheduling of intermittent embedded systems

    • Antoine Bernabeu
    • Jean-Luc Béchennec
    • Olivier Roux

    OriginalPaper 20 December 2022 Pages: 63 - 93

    

29. Overview of networked supervisory control with imperfect communication channels

    • Yuting Zhu
    • Liyong Lin
    • Rong Su

    OriginalPaper 16 December 2022 Pages: 25 - 61

    

30. Design and verification of pipelined circuits with Timed Petri Nets

    • Rémi Parrot
    • Mikaël Briday
    • Olivier H. Roux

    OriginalPaper 15 December 2022 Pages: 1 - 24

    

31. Zero-sum semi-Markov games with state-action-dependent discount factors

    • Zhihui Yu
    • Xianping Guo
    • Li Xia

    OriginalPaper 05 November 2022 Pages: 545 - 571

    

32. Synthesis of winning attacks on communication protocols using supervisory control theory: two case studies

    • Shoma Matsui
    • Stéphane Lafortune

    OriginalPaper 20 October 2022 Pages: 573 - 610

    

33. Using Subobservers to Synthesize Opacity-Enforcing Supervisors

    • Richard Hugh Moulton
    • Behnam Behinaein Hamgini
    • Karen Rudie

    OriginalPaper 19 September 2022 Pages: 611 - 640

    

34. Correction to: Formal specification and verification of decentralized self-adaptive systems using symmetric nets

    • Matteo Camilli
    • Lorenzo Capra

    Correction Open access 06 September 2022 Pages: 641 - 641

35. Epistemic interpretations of decentralized discrete-event system problems

    • K. Ritsuka
    • Karen Rudie

    OriginalPaper 22 June 2022 Pages: 359 - 398

    

36. Correction to: Probabilistic state estimation for labeled continuous time Markov models with applications to attack detection

    • Dimitri Lefebvre
    • Carla Seatzu
    • Alessandro Giua

    Correction 20 June 2022 Pages: 539 - 544

    

37. Detectability of labeled weighted automata over monoids

    • Kuize Zhang

    OriginalPaper Open access 23 May 2022 Pages: 435 - 494

    

38. Max-plus steady states in discrete event dynamic systems with inexact data

    • Helena Myšková
    • Ján Plavka

    OriginalPaper 07 April 2022 Pages: 521 - 538

39. Diagnosability verification using LTL model checking

    • Thiago M. Tuxi
    • Lilian K. Carvalho
    • Antonio E. C. da Cunha

    OriginalPaper 04 April 2022 Pages: 399 - 433

    

40. Observation-assisted heuristic synthesis of covert attackers against unknown supervisors

    • Liyong Lin
    • Ruochen Tai
    • Rong Su

    OriginalPaper 09 March 2022 Pages: 495 - 520

    

41. Transformational supervisor synthesis for evolving systems

    • Sander Thuijsman
    • Michel Reniers

    T.C.: Control 2022 Open access 23 February 2022 Pages: 317 - 358

    

42. Discovering petri nets including silent transitions. A repairing approach based on structural patterns

    • Román Pomares-Angelino
    • Ernesto López-Mellado

    OriginalPaper 07 February 2022 Pages: 291 - 315

    

43. A general language-based framework for specifying and verifying notions of opacity

    • Andrew Wintenberg
    • Matthew Blischke
    • Necmiye Ozay

    OriginalPaper 02 February 2022 Pages: 253 - 289

    

44. Local and global robustness with q-step delay for max-plus linear systems

    • Yingxuan Yin
    • Yuegang Tao
    • Haiyong Chen

    OriginalPaper 20 December 2021 Pages: 231 - 251

    

45. Discrete-event systems subject to unknown sensor attacks

    • Michel R. C. Alves
    • Patrícia N. Pena
    • Karen Rudie

    OriginalPaper 10 December 2021 Pages: 143 - 158

    

46. Parallel decomposition and concurrent satisfaction for heterogeneous multi-robot task and motion planning under temporal logic specifications

    • Huanfei Zheng
    • Yue Wang

    OriginalPaper 27 November 2021 Pages: 195 - 230

    

47. Decentralized diagnosis of discrete event systems subject to permanent sensor failures

    • Akihito Wada
    • Shigemasa Takai

    OriginalPaper 08 November 2021 Pages: 159 - 193

    

48. Supervisory controller synthesis and implementation for safety PLCs

    • Ferdie F. H. Reijnen
    • Toby R. Erens
    • Jacobus E. Rooda

    OriginalPaper Open access 06 November 2021 Pages: 115 - 141

    

49. Hierarchical planning in a supervisory control context with compositional abstraction

    • Juliana Vilela
    • Richard Hill

    OriginalPaper Open access 14 September 2021 Pages: 89 - 113

    

50. Weakly linear systems for matrices over the max-plus quantale

    • Aleksandar Stamenković
    • Miroslav Ćirić
    • Dragan Djurdjanović

    OriginalPaper 13 September 2021 Pages: 1 - 25