Table of Contents

• Loss-Tolerant Detectability for Ciphered Discrete Event SystemsJuliana Machado, Públio M. M. Lima, Patrícia C. Mayer, Felipe G. Cabral. 1-6 [doi]
• Attack-Resilient Control of Finite-State Cyber-Physical Systems via Inspection StatesMostafa Tavakkoli Anbarani, Jonghan Lim, Rômulo Meira-Góes, Ilya Kovalenko. 7-12 [doi]
• Secret Protection in Labeled Petri NetsStefan Haar, Tomás Masopust, Jakub Vecera. 13-18 [doi]
• Forbidden-State Supervisory Control of Safe Petri NetsSpyros A. Reveliotis. 19-24 [doi]
• Implementation of discrete event systems controllers and supervisors via StatechartsFrancesco Basile, Giuseppe Marcone. 25-30 [doi]
• Open-Source Software PiTCT for Supervisory Control DesignKai Cai, Masahiro Konishi. 31-36 [doi]
• SynthML: Controller Synthesis of UML ActivitiesWytse Oortwijn, Andrea Peruffo, Dennis Hendriks, Jos Hegge, Dennis Arets. 37-42 [doi]
• Converting Extended Finite-State Machines from Supremica to CIFMartin Fabian, Michel A. Reniers. 43-48 [doi]
• Decoupling Geometric Planning and Execution in Scalable Multi-Agent Path FindingFernando Salanova, Eduardo Montijano, Cristian Mahulea. 48-54 [doi]
• Supervision of Multi-Robot Activity Execution via Synchronized Petri Nets with OutputsCristian Mahulea, Isabel Demongodin. 55-60 [doi]
• From Domain Model to High-Mix Low-Volume Production Line SchedulesJacques Verriet, Bram van der Sanden, Twan Basten. 61-66 [doi]
• Supervisory Control and Model Predictive Multi-Agent Coordination using Stochastic Consensus StrategiesMatheus P. Loures, Guilherme V. Raffo, Patrícia N. Pena. 67-72 [doi]
• Automatic Activity Planning Based on Activity Daily Living and Quality of Life RecommendationsLéo-Paul Dewaele, Gregory Faraut, Xiang Yin 0003. 73-78 [doi]
• Solvability of Implicit Time-Invariant Max-Min-Plus-Scaling Discrete-Event SystemsTon J. J. van den Boom, Sreeshma Markkassery, Vicky van Heijningen, Bart De Schutter. 79-84 [doi]
• On the Computation and Approximation of Backward Reachable Sets for Max-Plus Linear Systems using PolyhedrasYuda Li, Jianing Zhao, Xiang Yin 0003. 85-90 [doi]
• Computing Growth Rates of Periodic Max-Min-Plus-Scaling Systems via Tree SearchSreeshma Markkassery, Mees Bartels, Bart De Schutter, Ton J. J. van den Boom. 91-96 [doi]
• *Gabriel Faria de Oliveira, Carlos Andrey Maia. 97-102 [doi]
• On the Non-Monotonicity of Invariance-Based Resilience in Max-Plus Linear Systems Under Cyber-Physical AttacksAndré Eurico de Morais, Carlos Andrey Maia. 103-108 [doi]
• Probabilistic state estimation for labeled continuous-time Markov models: a uniformizing approachSpyros A. Reveliotis. 109-114 [doi]
• Non-Uniformly Bounded Inference Observability for Decentralized Supervisory Control of Discrete Event SystemsShigemasa Takai, Ratnesh Kumar 0001. 115-120 [doi]
• Network Segmentation with the Aim of Ensuring Current-State OpacityLucas N. R. Reis, Lilian K. Carvalho, Dennis Brandão, Marcos V. Moreira. 121-126 [doi]
• Analysis of k-tail opacity in discrete event systems via a secret verifierKun Peng, Yufeng Chen 0001, Carla Seatzu, Christoforos N. Hadjicostis, Zhiwu Li 0001, Alessandro Giua. 127-132 [doi]
• Action Selection via Reinforcement Learning in Supervisory-Controlled Multi-Robot ConstructionLucas Schmidt, Marcelo Rosa, Luiz Fernando Puttow Southier, Kallil M. C. Zielinski, Lucia V. R. Arruda, Marcelo Teixeira. 133-138 [doi]
• Logic-Based Verification of Task Allocation for LLM-Enabled Multi-Agent Manufacturing SystemsJonghan Lim, Mostafa Tavakkoli Anbarani, Rômulo Meira-Góes, Ilya Kovalenko. 139-144 [doi]
• Q-Learning for Synthesizing Synchronous Communication Protocols for Decentralized Supervisory ControlJ. Kim, S. L. Ricker. 145-150 [doi]
• NeuroSymbolic Robustness Analysis for Discrete Systems with Respect to Transition DeviationsShih-Jie Shih, Jonghan Lim, Ilya Kovalenko, Rômulo Meira-Góes. 151-156 [doi]
• The Effects of Modeling Choices on Supervisory Controller Synthesis Performance: A Case StudyDennis Hendriks, Terence Beijloos, Andrea Peruffo. 157-162 [doi]
• Performance and Applicability of State Estimation Methods for Timed AutomataJulian Boehm, Julian Klein 0001, Maria Ter-Minasyan, Sabine Glesner. 163-168 [doi]
• TSN Schedule Verification with Parametric Variation Based on TCPNAlitzel Galilea Torres-Macías, Antonio Ramírez-Treviño, José Luis Briz, Juan Segarra, Álex Gracia, Héctor Blanco-Alcaine. 169-174 [doi]
• Verifying Nonblockingness and Deadlock-Freeness in Isomorphic Module SystemsAdéla Lastovicková, Tomás Masopust. 175-180 [doi]
• Controller Synthesis Unified by Mu-CalculusBengt Lennartson. 181-186 [doi]
• Interpreted Higher-Dimensional Automata for Concurrent Discrete-Event ControlDylan Bellier, Gregory Faraut, Yan Monier, Philipp Schlehuber-Caissier. 187-192 [doi]
• Supervisory Control of Distributed Discrete Event Systems with Maximal Conditional Decompositions of Specification LanguagesJan Komenda, Feng Lin 0001, Jan H. van Schuppen. 193-198 [doi]
• Active identification of safe Petri nets with interleaving and maximal step semanticsManon Le Moigne, Rémi Parrot, Olivier H. Roux. 199-204 [doi]
• D-Tolerant Decentralized Diagnosability for Discrete Event SystemsYuting Li, Christoforos N. Hadjicostis, Naiqi Wu. 205-210 [doi]
• Diagnosability analysis of deep faults in timed DES under sensor failures and sensor attacksDimitri Lefebvre. 211-216 [doi]
• Weak Prognosability of Discrete Event SystemsShaowen Miao, Petr Jancar, Jan Komenda, Tomás Masopust, Aiwen Lai, Yiding Ji. 217-222 [doi]
• Stuck Fault Diagnosis Method in Probabilistic Discrete Event SystemsZheng Ma, Yufeng Chen 0001, Alessandro Giua. 223-228 [doi]
• A Case Study in Recovery of Drones using Discrete-Event SystemsLiam P. Burns, Dayse M. Cavalcanti, Felipe G. Cabral, Max Hering de Queiroz, Melissa Greeff, Públio M. M. Lima, Karen Rudie. 229-234 [doi]
• Automatic Synthesis of Greenhouse Supervisory Climate Control with Integrated Crop Growth ModelsElia Brentarolli, Davide Quaglia, Tiziano Villa, Luca Benvenuti, Michel A. Reniers. 235-240 [doi]
• Abstraction for Supervisor Synthesis: Industrial Application and InsightsMarijn Minkenberg, Hein J. W. van Dal, Martijn A. Goorden. 241-246 [doi]
• Relative and Exponential Stability of Discrete-Event Networks Governed by a Supervisory Moore AutomatonMohammad Fiuzy, Stefan Rass. 247-252 [doi]
• On Bias in User-Centric Discrete-Event SystemsMartin Fabian, Nishant Parekh, Wolfgang Ahrendt. 253-258 [doi]
• On Detecting Bias in Smart Contracts Using Supervisor SynthesisNishant Parekh, Wolfgang Ahrendt, Martin Fabian. 259-264 [doi]
• Global-optimal State Feedback Control Enforcing Safety and Cooperation of Traffic Lights using Tropical AlgebraGabriel Santos Pereira, Carlos Andrey Maia. 265-270 [doi]
• Initial Condition Synthesis for Balanced Polytopic Timed Event GraphsGuilherme Espindola-Winck, Carlos Andrey Maia, Armand Toguyéni. 271-276 [doi]
• Modeling and Scheduling of Hospital Robot Fleets Using Switching-max-plus AlgebraMirko Van Donkelaar, Ton J. J. van den Boom, Claude Martinez, Olivier Boutin, Abir Ben Bouzaiene. 277-282 [doi]
• Marking Data-Informativity and Data-Driven Nonblocking Supervisory Control of Discrete-Event SystemsYingying Liu, Kuma Fuchiwaki, Kai Cai. 283-288 [doi]
• Data-driven diagnosis of failures in max-plus linear systems: a consistency-based approachIbis Velasquez, Yannick Pencolé. 289-294 [doi]
• System Identification for Fault Detection in Microgrids: A Hybrid Approach via K-Means and EBAMHikari Okatani, Felipe G. Cabral. 295-300 [doi]
• Synthesis of Resilient Supervisors for Discrete Event Systems Susceptible to State AttacksXiaoyan Li, Christoforos N. Hadjicostis. 301-306 [doi]
• Diagnosability Enforcement via Supervisory Control: Two Dual Normality-Based ApproachesShaopeng Hu 0001, Jan Komenda, Zhiwu Li 0001. 307-312 [doi]
• Risk-Averse Supervisory Control of Probabilistic Discrete Event SystemsWei Duan, Yao Lu, Yihui Hu, Ruotian Liu, Maria Pia Fanti. 313-318 [doi]
• *Feng Lin 0001, Ruochen Tai, Rong Su 0001. 319-324 [doi]
• Probabilistic Property Estimation of Timed Probabilistic DES using Artificial Neural NetworksOmar Amri, Carla Seatzu, Alessandro Giua, Dimitri Lefebvre. 325-330 [doi]