MGF-based SNC for stationary independent Markovian processes with localized application of martingales Anne Bouillard OriginalPaper 08 May 2024
Offline analysis of the relaxed upper boundedness for online estimation ofoptimal event sequences in Partially Observable Petri Nets P. Declerck OriginalPaper 10 April 2024
An algebraic control method to guarantee generalized marking constraints for partially observable timed event graphs Jihene RajahSaid AmariMohamed Haddar OriginalPaper 08 April 2024
Triangulation of diagonally dominant min-plus matrices Yuki NishidaSennosuke WatanabeYoshihide Watanabe OriginalPaper 27 March 2024
Simulations and bisimulations for max-plus automata Miroslav ĆirićIvana MicićAleksandar Stamenković OriginalPaper 02 March 2024
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