MGF-based SNC for stationary independent Markovian processes with localized application of martingales Anne Bouillard OriginalPaper 08 May 2024 Pages: 375 - 401
Offline analysis of the relaxed upper boundedness for online estimation ofoptimal event sequences in Partially Observable Petri Nets P. Declerck OriginalPaper 10 April 2024 Pages: 351 - 374
An algebraic control method to guarantee generalized marking constraints for partially observable timed event graphs Jihene RajahSaid AmariMohamed Haddar OriginalPaper 08 April 2024 Pages: 333 - 350
Triangulation of diagonally dominant min-plus matrices Yuki NishidaSennosuke WatanabeYoshihide Watanabe OriginalPaper 27 March 2024 Pages: 297 - 332
Simulations and bisimulations for max-plus automata Miroslav ĆirićIvana MicićAleksandar Stamenković OriginalPaper 02 March 2024 Pages: 269 - 295
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
Switched max-plus linear-dual inequalities: cycle time analysis and applications Davide ZorzenonJan KomendaJörg Raisch OriginalPaper Open access 01 February 2024 Pages: 199 - 250
A modular synthesis approach for the coordination of multi-agent systems: the multiple team case Marcelo RosaJosé E. R. CuryFabio L. Baldissera OriginalPaper 26 January 2024 Pages: 163 - 198
Compositional non-blockingness verification of finite automata with prioritised events Yiheng TangThomas Moor OriginalPaper Open access 25 January 2024 Pages: 125 - 161
\(\pi \)HyFlow: formalism, semantics, and applications Fernando Barros Manuscript Open access 24 January 2024 Pages: 95 - 124
Analysis and control of timed event graphs in (max,+) algebra for the active localization of time failures Ibis VelasquezYannick PencoléEuriell Le Corronc OriginalPaper 16 January 2024 Pages: 53 - 93
Conflict-free electric vehicle routing problem: an improved compositional algorithm Sabino Francesco RoselliMartin FabianKnut Åkesson OriginalPaper Open access 18 December 2023 Pages: 21 - 51
Generation of mathematical programming representations for discrete event simulation models of timed petri nets Mengyi ZhangArianna AlfieriAndrea Matta OriginalPaper Open access 06 December 2023 Pages: 1 - 19
Mixed Nondeterministic-Probabilistic Automata Albert BenvenisteJean-Baptiste Raclet OriginalPaper 19 October 2023 Pages: 455 - 505
Multi-level control for multiple mobile robot systems Elzbieta RoszkowskaPiotr Makowski-CzerskiLukasz Janiec OriginalPaper Open access 18 October 2023 Pages: 425 - 453
On tolerance of discrete systems with respect to transition perturbations Rômulo Meira-GóesEunsuk KangStavros Tripakis OriginalPaper 17 October 2023 Pages: 395 - 424
A multi-objective approach for manufacturing systems with multiple production routes based on supervisory control theory and heuristic algorithms Lucas V. R. AlvesGustavo C. RafaelPatrícia N. Pena OriginalPaper 13 October 2023 Pages: 373 - 394
Correction to: Transformational supervisor synthesis for evolving systems Sander ThuijsmanMichel Reniers OriginalPaper Open access 03 October 2023 Pages: 509 - 513
Correction to: Local and global robustness with q-step delay for max-plus linear systems Yingxuan YinYuegang TaoHaiyong Chen Correction 07 September 2023 Pages: 507 - 507
Modeling and analysis of switching max-plus linear systems with discrete-event feedback Alireza MohamadkhaniMarc GeilenTwan Basten OriginalPaper Open access 29 August 2023 Pages: 341 - 372
A survey on compositional algorithms for verification and synthesis in supervisory control Robi MalikSahar MohajeraniMartin Fabian OriginalPaper Open access 21 August 2023 Pages: 279 - 340
Do what you know: coupling knowledge with action in discrete-event systems K. RitsukaK. Rudie OriginalPaper 21 August 2023 Pages: 257 - 277
Average criteria in denumerable semi-Markov decision chains under risk-aversion Rolando Cavazos-CadenaHugo Cruz-SuárezRaúl Montes-De-Oca OriginalPaper 21 August 2023 Pages: 221 - 256
Extending the network calculus algorithmic toolbox for ultimately pseudo-periodic functions: pseudo-inverse and composition Raffaele ZippoPaul NikolausGiovanni Stea OriginalPaper Open access 18 August 2023 Pages: 181 - 219
A novel fully adaptive neural network modeling and implementation using colored Petri nets Rosângela AlbuquerqueCorneli JúniorGuilherme Barreto OriginalPaper 30 June 2023 Pages: 129 - 160
Supervisory control to maximize mean time to failure in discrete event systems Feng LinCaisheng WangWenyuan Li OriginalPaper 10 June 2023 Pages: 105 - 127
Dynamics of products of matrices in max algebra Shrihari SridharanSachindranath JayaramanYogesh Kumar Prajapaty OriginalPaper 10 August 2023 Pages: 161 - 179
On comparison of steady-state infinitesimal perturbation analysis and likelihood ratio derivative estimates Jian-Qiang HuTeng Lian OriginalPaper 23 May 2023 Pages: 95 - 104
Cost-optimal timed trace synthesis for scheduling of intermittent embedded systems Antoine BernabeuJean-Luc BéchennecOlivier Roux OriginalPaper 20 December 2022 Pages: 63 - 93
Overview of networked supervisory control with imperfect communication channels Yuting ZhuLiyong LinRong Su OriginalPaper 16 December 2022 Pages: 25 - 61
Design and verification of pipelined circuits with Timed Petri Nets Rémi ParrotMikaël BridayOlivier H. Roux OriginalPaper 15 December 2022 Pages: 1 - 24
Zero-sum semi-Markov games with state-action-dependent discount factors Zhihui YuXianping GuoLi Xia OriginalPaper 05 November 2022 Pages: 545 - 571
Synthesis of winning attacks on communication protocols using supervisory control theory: two case studies Shoma MatsuiStéphane Lafortune OriginalPaper 20 October 2022 Pages: 573 - 610
Using Subobservers to Synthesize Opacity-Enforcing Supervisors Richard Hugh MoultonBehnam Behinaein HamginiKaren Rudie OriginalPaper 19 September 2022 Pages: 611 - 640
Correction to: Formal specification and verification of decentralized self-adaptive systems using symmetric nets Matteo CamilliLorenzo Capra Correction Open access 06 September 2022 Pages: 641 - 641
Epistemic interpretations of decentralized discrete-event system problems K. RitsukaKaren Rudie OriginalPaper 22 June 2022 Pages: 359 - 398
Correction to: Probabilistic state estimation for labeled continuous time Markov models with applications to attack detection Dimitri LefebvreCarla SeatzuAlessandro Giua Correction 20 June 2022 Pages: 539 - 544
Detectability of labeled weighted automata over monoids Kuize Zhang OriginalPaper Open access 23 May 2022 Pages: 435 - 494
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
Diagnosability verification using LTL model checking Thiago M. TuxiLilian K. CarvalhoAntonio E. C. da Cunha OriginalPaper 04 April 2022 Pages: 399 - 433
Observation-assisted heuristic synthesis of covert attackers against unknown supervisors Liyong LinRuochen TaiRong Su OriginalPaper 09 March 2022 Pages: 495 - 520
Transformational supervisor synthesis for evolving systems Sander ThuijsmanMichel Reniers T.C.: Control 2022 Open access 23 February 2022 Pages: 317 - 358
Discovering petri nets including silent transitions. A repairing approach based on structural patterns Román Pomares-AngelinoErnesto López-Mellado OriginalPaper 07 February 2022 Pages: 291 - 315
A general language-based framework for specifying and verifying notions of opacity Andrew WintenbergMatthew BlischkeNecmiye Ozay OriginalPaper 02 February 2022 Pages: 253 - 289
Local and global robustness with q-step delay for max-plus linear systems Yingxuan YinYuegang TaoHaiyong Chen OriginalPaper 20 December 2021 Pages: 231 - 251
Discrete-event systems subject to unknown sensor attacks Michel R. C. AlvesPatrícia N. PenaKaren Rudie OriginalPaper 10 December 2021 Pages: 143 - 158
Parallel decomposition and concurrent satisfaction for heterogeneous multi-robot task and motion planning under temporal logic specifications Huanfei ZhengYue Wang OriginalPaper 27 November 2021 Pages: 195 - 230
Decentralized diagnosis of discrete event systems subject to permanent sensor failures Akihito WadaShigemasa Takai OriginalPaper 08 November 2021 Pages: 159 - 193
Supervisory controller synthesis and implementation for safety PLCs Ferdie F. H. ReijnenToby R. ErensJacobus E. Rooda OriginalPaper Open access 06 November 2021 Pages: 115 - 141
Hierarchical planning in a supervisory control context with compositional abstraction Juliana VilelaRichard Hill OriginalPaper Open access 14 September 2021 Pages: 89 - 113