| Publication | Date of Publication | Type |
|---|
| On tolerance of discrete systems with respect to transition perturbations | 2024-03-25 | Paper |
| Enforcing opacity by insertion functions under multiple energy constraints | 2024-02-20 | Paper |
| Automated synthesis of secure platform mappings | 2024-02-16 | Paper |
| Introduction to Traveling Waves | 2023-02-13 | Paper |
| The stability of the b-family of peakon equations | 2023-01-17 | Paper |
| Synthesis of winning attacks on communication protocols using supervisory control theory: two case studies | 2022-12-14 | Paper |
| Dealing with sensor and actuator deception attacks in supervisory control | 2022-12-09 | Paper |
| Stability of smooth solitary waves in the \(b\)-Camassa-Holm equation | 2022-10-11 | Paper |
| Spectral Instability of Peakons in the $b$-Family of the Camassa--Holm Equations | 2022-08-30 | Paper |
| Local Mean Payoff Supervisory Control for Discrete Event Systems | 2022-07-28 | Paper |
| Synthesis of Optimal Multiobjective Attack Strategies for Controlled Systems Modeled by Probabilistic Automata | 2022-07-28 | Paper |
| A Compact and Uniform Approach for Synthesizing State-Based Property-Enforcing Supervisors for Discrete-Event Systems | 2022-07-28 | Paper |
| A general language-based framework for specifying and verifying notions of opacity | 2022-06-13 | Paper |
| Synthesis of Supervisors Robust Against Sensor Deception Attacks | 2022-02-23 | Paper |
| Flame propagation in a porous medium | 2022-02-21 | Paper |
| A Guide to Signals and Systems in Continuous Time | 2022-02-07 | Paper |
| Divergent stutter bisimulation abstraction for controller synthesis with linear temporal logic specifications | 2021-11-19 | Paper |
| Embedded Insertion Functions for Opacity Enforcement | 2021-09-09 | Paper |
| Introduction to Discrete Event Systems | 2021-05-27 | Paper |
| Authors' reply to ``Comments on: ``A new approach for the verification of infinite-step and \(K\)-step opacity using two-way observers'' | 2021-04-20 | Paper |
| Optimal supervisory control with mean payoff objectives and under partial observation | 2021-04-12 | Paper |
| Transforming Opacity Verification to Nonblocking Verification in Modular Systems | 2020-10-07 | Paper |
| Divergence Properties of Labeled Petri Nets and Their Relevance for Diagnosability Analysis | 2020-10-07 | Paper |
| Compositional and Abstraction-Based Approach for Synthesis of Edit Functions for Opacity Enforcement | 2020-10-07 | Paper |
| Synthesis of sensor deception attacks at the supervisory layer of cyber-physical systems | 2020-10-05 | Paper |
| Opacity Enforcement Using Nondeterministic Publicly Known Edit Functions | 2020-01-28 | Paper |
| Stability of solitons on vortex filaments | 2020-01-13 | Paper |
| Spectral Analysis of Fronts in a Marangoni-Driven Thin Liquid Film Flow Down a Slope | 2020-01-10 | Paper |
| A general approach for optimizing dynamic sensor activation for discrete event systems | 2019-12-19 | Paper |
| Corrections to “On the Decidability and Complexity of Diagnosability for Labeled Petri Nets” [Nov 17 5931-5938] | 2019-07-18 | Paper |
| Combustion waves in hydraulically resistant porous media in a special parameter regime | 2019-06-27 | Paper |
| Detection and mitigation of classes of attacks in supervisory control systems | 2019-02-05 | Paper |
| Synthesis of Maximally Permissive Nonblocking Supervisors for the Lower Bound Containment Problem | 2018-12-18 | Paper |
| Minimization of Sensor Activation in Decentralized Discrete-Event Systems | 2018-12-04 | Paper |
| Stability of nonlinear waves and patterns and related topics | 2018-12-04 | Paper |
| Enforcement of opacity by public and private insertion functions | 2018-10-17 | Paper |
| On the Decidability and Complexity of Diagnosability for Labeled Petri Nets | 2018-06-27 | Paper |
| Stability of closed solutions to the vortex filament equation hierarchy with application to the Hirota equation | 2018-03-08 | Paper |
| Synthesis of obfuscation policies to ensure privacy and utility | 2018-02-02 | Paper |
| Supervisory control and reactive synthesis: a comparative introduction | 2018-01-31 | Paper |
| Synthesis of Maximally-Permissive Supervisors for the Range Control Problem | 2017-11-10 | Paper |
| Verification complexity of a class of observational properties for modular discrete events systems | 2017-11-08 | Paper |
| A new approach for the verification of infinite-step and \(K\)-step opacity using two-way observers | 2017-09-28 | Paper |
| A New Approach for Diagnosability Analysis of Petri Nets Using Verifier Nets | 2017-09-08 | Paper |
| Optimal Liveness-Enforcing Control for a Class of Petri Nets Arising in Multithreaded Software | 2017-09-08 | Paper |
| Minimization of Dynamic Sensor Activation in Discrete Event Systems for the Purpose of Control | 2017-08-25 | Paper |
| On Codiagnosability and Coobservability With Dynamic Observations | 2017-08-25 | Paper |
| Designing Compact and Maximally Permissive Deadlock Avoidance Policies for Complex Resource Allocation Systems Through Classification Theory: The Linear Case | 2017-08-25 | Paper |
| Minimization of Communication of Event Occurrences in Acyclic Discrete Event Systems | 2017-08-08 | Paper |
| Verification of Nonconflict of Supervisors Using Abstractions | 2017-08-08 | Paper |
| Minimal Communication for Essential Transitions in a Distributed Discrete-Event System | 2017-07-27 | Paper |
| Decentralized Supervisory Control With Conditional Decisions: Supervisor Existence | 2017-07-12 | Paper |
| Decentralized supervisory control with conditional decisions: supervisor realization | 2017-07-12 | Paper |
| Deciding co-observability is pspace-complete | 2017-06-20 | Paper |
| Minimal communication in a distributed discrete-event system | 2017-06-20 | Paper |
| On the synthesis of safe control policies in decentralized control of discrete-event systems | 2017-06-20 | Paper |
| Polynomial-time verification of diagnosability of partially observed discrete-event systems | 2017-06-20 | Paper |
| NP-completeness of sensor selection problems arising in partially observed discrete-event systems | 2017-06-20 | Paper |
| Stability of front solutions in a model for a surfactant driven flow on an inclined plane | 2017-06-07 | Paper |
| Optimal sensor selection for ensuring diagnosability in labeled Petri nets | 2017-06-02 | Paper |
| SAT-Based Control of Concurrent Software for Deadlock Avoidance | 2017-05-16 | Paper |
| Verification of the Observer Property in Discrete Event Systems | 2017-05-16 | Paper |
| On Most Permissive Observers in Dynamic Sensor Activation Problems | 2017-05-16 | Paper |
| Decentralized Supervisory Control With Intersection-Based Architecture | 2017-05-03 | Paper |
| A Uniform Approach for Synthesizing Property-Enforcing Supervisors for Partially-Observed Discrete-Event Systems | 2017-05-03 | Paper |
| Synthesis of Maximally Permissive Supervisors for Partially-Observed Discrete-Event Systems | 2017-05-03 | Paper |
| Synthesis of Optimal Insertion Functions for Opacity Enforcement | 2017-05-03 | Paper |
| Supervisory control for collision avoidance in vehicular networks using discrete event abstractions | 2017-03-03 | Paper |
| Matrix integral solutions to the discrete KP hierarchy and its Pfaffianized version | 2016-12-22 | Paper |
| A semi-discrete Kadomtsev-Petviashvili equation and its coupled integrable system | 2016-06-20 | Paper |
| Codiagnosability and coobservability under dynamic observations: transformation and verification | 2015-12-22 | Paper |
| Erratum to: ``Diagnosis of discrete event systems using decentralized architectures | 2015-12-09 | Paper |
| The theory of deadlock avoidance via discrete control | 2015-07-03 | Paper |
| Stability Analysis for Combustion Fronts Traveling in Hydraulically Resistant Porous Media | 2015-06-12 | Paper |
| Synthesis of insertion functions for enforcement of opacity security properties | 2014-10-08 | Paper |
| Stability of stationary solutions for nonintegrable peakon equations | 2014-05-05 | Paper |
| Comparative analysis of related notions of opacity in centralized and coordinated architectures | 2013-10-21 | Paper |
| Concurrency bugs in multithreaded software: modeling and analysis using Petri nets | 2013-08-07 | Paper |
| Special issue on recent trends in discrete event systems | 2013-07-09 | Paper |
| Eliminating Concurrency Bugs in Multithreaded Software: An Approach Based on Control of Petri Nets | 2013-06-28 | Paper |
| Robust diagnosis of discrete-event systems against permanent loss of observations | 2013-03-04 | Paper |
| Computation of minimal event bases that ensure diagnosability | 2012-12-05 | Paper |
| Instability of Local Deformations of an Elastic Rod: Numerical Evaluation of the Evans Function | 2012-02-11 | Paper |
| Squared eigenfunctions and linear stability properties of closed vortex filaments | 2011-12-28 | Paper |
| Active fault tolerant control of discrete event systems using online diagnostics | 2011-05-17 | Paper |
| Modular supervisory control with equivalence-based abstraction and covering-based conflict resolution | 2010-09-16 | Paper |
| Multi-level hierarchical interface-based supervisory control | 2010-08-13 | Paper |
| Optimal sensor activation for diagnosing discrete event systems | 2010-08-13 | Paper |
| Distributed Diagnosis of Discrete-Event Systems Using Petri Nets | 2010-03-31 | Paper |
| Diagnosability analysis of a class of hierarchical state machines | 2009-10-09 | Paper |
| On the minimization of communication in networked systems with a central station | 2009-10-09 | Paper |
| Predictability of event occurrences in partially-observed discrete-event systems | 2009-04-22 | Paper |
| Hirota bilinear formalism and ultra-discrete singularity analysis | 2009-04-16 | Paper |
| An algorithm for calculating indistinguishable states and clusters in finite-state automata with partially observable transitions | 2009-02-09 | Paper |
| An algorithm for maximising covered area | 2008-12-01 | Paper |
| Spectral stability analysis for periodic traveling wave solutions of NLS and CGL perturbations | 2008-08-14 | Paper |
| On a discrete version of the Korteweg-de Vries equation | 2008-07-29 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3596096 | 2007-08-29 | Paper |
| Discrete systems related to some equations of the Painlevé-Gambier classification | 2007-08-08 | Paper |
| Diagnosis of discrete event systems using decentralized architectures | 2007-06-07 | Paper |
| When is negativity not a problem for the ultradiscrete limit? | 2007-05-16 | Paper |
| High Lewis Number Combustion Wavefronts: A Perturbative Melnikov Analysis | 2007-05-03 | Paper |
| The Verification and Control of Interacting Similar Discrete-Event Systems | 2007-03-27 | Paper |
| Introduction to Discrete Event Systems | 2007-03-09 | Paper |
| Solvability of centralized supervisory control under partial observation | 2007-01-08 | Paper |
| Diagnosability of discrete event systems with modular structure | 2006-11-17 | Paper |
| The dynamics of stretchable rods in the inertial case | 2006-10-25 | Paper |
| Integrable ultra-discrete equations and singularity analysis | 2006-09-25 | Paper |
| Safe diagnosability for fault-tolerant supervision of discrete-event systems | 2005-12-08 | Paper |
| Spectral Stability of Local Deformations of an Elastic Rod: Hamiltonian Formalism | 2005-09-16 | Paper |
| How to detect integrability in cellular automata | 2005-09-12 | Paper |
| PSPACE-completeness of modular supervisory control problems | 2005-04-25 | Paper |
| Diagnosis of intermittent faults | 2005-01-19 | Paper |
| Singularity confinement and algebraic integrability | 2004-12-15 | Paper |
| The discrete Chazy III system of Labrunie Conte is not integrable | 2004-06-10 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3152829 | 2003-09-09 | Paper |
| Schlesinger transformations for linearizable equations | 2003-08-27 | Paper |
| On the effect of communication delays in failure diagnosis of decentralized discrete event systems | 2003-08-21 | Paper |
| Instability of local deformations of an elastic rod | 2003-07-06 | Paper |
| On an optimization problem in sensor selection | 2003-03-12 | Paper |
| Integrable third-order mappings and their growth properties | 2003-02-24 | Paper |
| On optimal control of a class of partially observed discrete event systems | 2003-02-17 | Paper |
| The last remake of the Gambier mapping | 2003-01-06 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2781698 | 2002-09-04 | Paper |
| A general architecture for decentralized supervisory control of discrete-event systems | 2002-08-19 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4517606 | 2001-08-07 | Paper |
| Decentralized supervisory control with communicating controllers | 2001-08-05 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4517626 | 2001-05-01 | Paper |
| Coordinated decentralized protocols for failure diagnosis of discrete event systems | 2001-04-26 | Paper |
| Linearizable mappings and the low-growth criterion | 2000-12-13 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4517615 | 2000-11-19 | Paper |
| On the Synthesis of Optimal Schedulers in Discrete Event Control Problems with Multiple Goals | 2000-10-18 | Paper |
| Active diagnosis of discrete-event systems | 2000-10-17 | Paper |
| Design of nonblocking modular supervisors using event priority functions | 2000-10-17 | Paper |
| Point symmetries of generalized Toda field theories | 2000-08-13 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4763563 | 2000-07-06 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4952737 | 2000-05-10 | Paper |
| Incremental model evolution and reusability of supervisors for discrete event systems | 2000-04-10 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4719062 | 2000-01-04 | Paper |
| Point symmetries of generalized Toda field theories: II. Symmetry reduction | 2000-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4782030 | 2000-01-01 | Paper |
| Symmetries of discrete dynamical systems involving two species | 1999-11-21 | Paper |
| Bisimulation, the supervisory control problem and strong model matching for finite state machines | 1999-09-05 | Paper |
| Constructing integrable third-order systems: the Gambier approach | 1998-11-08 | Paper |
| The Gambier mapping, revisited | 1998-05-26 | Paper |
| An Optimal Control Theory for Discrete Event Systems | 1998-05-10 | Paper |
| Again, linearizable mappings | 1998-03-25 | Paper |
| Superposition formulas for pseudounitary matrix Riccati equations | 1997-07-14 | Paper |
| Centralized and distributed algorithms for on-line synthesis of maximal control policies under partial observation | 1997-01-22 | Paper |
| Diagnosability of discrete-event systems | 1995-10-30 | Paper |
| Variable lookahead supervisory control with state information | 1995-05-18 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3139829 | 1995-03-15 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3139834 | 1994-12-12 | Paper |
| Supervisory control using variable lookahead policies | 1994-08-29 | Paper |
| Recursive computation of limited lookahead supervisory controls for discrete event systems | 1993-08-17 | Paper |
| Limited lookahead policies in supervisory control of discrete event systems | 1993-08-12 | Paper |
| A graph-theoretic optimal control problem for terminating discrete event processes | 1993-01-17 | Paper |
| On nonconflicting languages that arise in supervisory control of discrete event systems | 1992-06-28 | Paper |
| On tolerable and desirable behaviors in supervisory control of discrete event systems | 1992-06-27 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3361896 | 1990-01-01 | Paper |
| The infimal closed controllable superlanguage and its application in supervisory control | 1990-01-01 | Paper |
| Some results on Petri net languages | 1990-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3821560 | 1988-01-01 | Paper |
| A state transition model for distributed query processing | 1986-01-01 | Paper |
| Adaptive control with recursive identification for stochastic linear systems | 1984-01-01 | Paper |
