| Publication | Date of Publication | Type |
|---|
| Concealability analysis for current-state opacity enforcement via editing functions | 2025-01-21 | Paper |
| A joint diagnoser approach for diagnosability of discrete event systems under attack | 2025-01-16 | Paper |
| Novel Stability Conditions for Nonlinear Monotone Systems and Consensus in Multiagent Networks | 2024-02-29 | Paper |
| Dynamic Min and Max Consensus and Size Estimation of Anonymous Multiagent Networks | 2023-09-04 | Paper |
| Discrete-Time Dynamic Consensus on the Max Value | 2022-11-29 | Paper |
| Correction to: ``Probabilistic state estimation for labeled continuous time Markov models with applications to attack detection | 2022-10-12 | Paper |
| Consistent reduction in discrete-event systems | 2022-07-05 | Paper |
| Probabilistic state estimation for labeled continuous time Markov models with applications to attack detection | 2022-04-21 | Paper |
| Design of supervisors for linear marking specifications in labeled Petri nets | 2022-01-03 | Paper |
| Diagnosability enforcement in labeled Petri nets using supervisory control | 2021-11-19 | Paper |
| Verification of Detectability for Unambiguous Weighted Automata | 2021-05-28 | Paper |
| Comments on: ``A new approach for the verification of infinite-step and \(K\)-step opacity using two-way observers | 2020-11-03 | Paper |
| Marking Estimation in a Class of Time Labeled Petri Nets | 2020-10-07 | Paper |
| Computation of Admissible Marking Sets in Weighted Synchronization-Free Petri Nets by Dynamic Programming | 2020-10-07 | Paper |
| Divergence Properties of Labeled Petri Nets and Their Relevance for Diagnosability Analysis | 2020-10-07 | Paper |
| On detectability of labeled Petri nets and finite automata | 2020-09-01 | Paper |
| Active Diagnosis for Switched Systems Using Mealy Machine Modeling | 2020-08-20 | Paper |
| A nonlinear Perron-Frobenius approach for stability and consensus of discrete-time multi-agent systems | 2020-06-10 | Paper |
| Correction to: ``Synchronizing sequences on a class of unbounded systems using synchronized Petri nets | 2020-05-06 | Paper |
| Some Remarks on “State Estimation and Fault Diagnosis of Labeled Time Petri Net Systems With Unobservable Transitions” | 2020-01-28 | Paper |
| An improved approach for marking optimization of timed weighted marked graphs | 2020-01-22 | Paper |
| State estimation of max-plus automata with unobservable events | 2019-12-19 | Paper |
| Basis coverability graph for partially observable Petri nets with application to diagnosability analysis | 2019-12-18 | Paper |
| Revisiting delayed strong detectability of discrete-event systems | 2019-10-30 | Paper |
| Enforcement of Diagnosability in Labeled Petri Nets via Optimal Sensor Selection | 2019-07-18 | Paper |
| Influence minimization in linear threshold networks | 2019-04-24 | Paper |
| On the complexity and dynamical properties of mixed logical dynamical systems via an automaton‐based realization of discrete‐time hybrid automaton | 2018-11-16 | Paper |
| Current-state opacity enforcement in discrete event systems under incomparable observations | 2018-10-08 | Paper |
| Performance Optimization for Timed Weighted Marked Graphs Under Infinite Server Semantics | 2018-09-18 | Paper |
| Codiagnosability Analysis of Bounded Petri Nets | 2018-06-27 | Paper |
| On the enforcement of a class of nonlinear constraints on Petri nets | 2018-01-12 | Paper |
| Decentralized observability of discrete event systems with synchronizations | 2017-11-22 | Paper |
| Gossip based asynchronous and randomized distributed task assignment with guaranteed performance on heterogeneous networks | 2017-11-16 | Paper |
| Decidability of opacity verification problems in labeled Petri net systems | 2017-09-28 | Paper |
| Verification of State-Based Opacity Using Petri Nets | 2017-09-08 | Paper |
| A New Approach for Diagnosability Analysis of Petri Nets Using Verifier Nets | 2017-09-08 | Paper |
| A Gossip-Based Algorithm for Discrete Consensus Over Heterogeneous Networks | 2017-08-25 | Paper |
| Optimal Model Predictive Control of Timed Continuous Petri Nets | 2017-08-08 | Paper |
| Optimal Control of Continuous-Time Switched Affine Systems | 2017-07-27 | Paper |
| An Optimization Approach to Petri Net Monitor Design | 2017-07-27 | Paper |
| Marking Estimation of Petri Nets With Silent Transitions | 2017-07-27 | Paper |
| Basis Marking Representation of Petri Net Reachability Spaces and Its Application to the Reachability Problem | 2017-07-27 | Paper |
| Characterization of Admissible Marking Sets in Petri Nets With Conflicts and Synchronizations | 2017-07-27 | Paper |
| Finite-Time Consensus on the Median Value With Robustness Properties | 2017-07-27 | Paper |
| Observer-Based State-Feedback Control of Timed Petri Nets With Deadlock Recovery | 2017-07-12 | Paper |
| Counterexamples to “Liveness-Enforcing Supervision of Bounded Ordinary Petri Nets Using Partial-Order Methods” | 2017-07-12 | Paper |
| Observability of place/transition nets | 2017-06-20 | Paper |
| Design of Optimal Petri Net Controllers for Disjunctive Generalized Mutual Exclusion Constraints | 2017-05-16 | Paper |
| Finite-Time Consensus With Disturbance Rejection by Discontinuous Local Interactions in Directed Graphs | 2017-05-16 | Paper |
| On the Equivalence of Observation Structures for Petri Net Generators | 2017-05-03 | Paper |
| Leader-follower formation via complex Laplacian | 2017-04-19 | Paper |
| Petri net controllers for generalized mutual exclusion constraints with floor operators | 2016-11-14 | Paper |
| Synchronizing sequences on a class of unbounded systems using synchronized Petri nets | 2016-03-29 | Paper |
| Fast discrete consensus based on gossip for makespan minimization in networked systems | 2015-11-05 | Paper |
| IPA for continuous stochastic marked graphs | 2015-08-27 | Paper |
| Fault model identification and synthesis in Petri nets | 2015-06-12 | Paper |
| Comments on ``Maximally permissive supervisor synthesis based on a new constraint transformation method [Automatica 48 (2012), 1097-1101] | 2015-04-28 | Paper |
| Supervisor synthesis for discrete event systems under partial observation and arbitrary forbidden state specifications | 2015-02-23 | Paper |
| Introduction to Petri Nets | 2015-01-29 | Paper |
| Structural Analysis of Petri Nets | 2015-01-29 | Paper |
| Supervisory Control of Petri Nets with Language Specifications | 2015-01-29 | Paper |
| Diagnosis of Petri Nets | 2015-01-29 | Paper |
| Petri Nets with Time | 2015-01-29 | Paper |
| Dynamics and steady state analysis of controlled generalized batches Petri nets | 2014-07-25 | Paper |
| Finite-time consensus for switching network topologies with disturbances | 2014-07-24 | Paper |
| Stabilization of switched systems via optimal control | 2014-07-24 | Paper |
| Decentralized estimation of Laplacian eigenvalues in multi-agent systems | 2014-04-14 | Paper |
| In memoriam of Professor V. Lakshmikantham | 2013-08-27 | Paper |
| Special issue on recent trends in discrete event systems | 2013-07-09 | Paper |
| Quantized consensus in Hamiltonian graphs | 2011-11-17 | Paper |
| State Estimation and Fault Detection Using Petri Nets | 2011-06-29 | Paper |
| Robust reconstruction of the discrete state for a class of nonlinear uncertain switched systems | 2011-06-27 | Paper |
| Fault detection for discrete event systems using Petri nets with unobservable transitions | 2010-10-22 | Paper |
| Constrained optimal control: an application to semiactive suspension systems | 2010-10-15 | Paper |
| Analisi dei sistemi dinamici | 2010-03-09 | Paper |
| First-order hybrid Petri nets. An application to distributed manufacturing systems | 2009-03-04 | Paper |
| HYPENS: A Matlab Tool for Timed Discrete, Continuous and Hybrid Petri Nets | 2008-07-03 | Paper |
| Identification of Petri nets from knowledge of their language | 2008-01-04 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3596093 | 2007-08-29 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3437549 | 2007-05-09 | Paper |
| Suboptimal supervisory control of Petri nets in presence of uncontrollable transitions via monitor places | 2006-12-14 | Paper |
| Optimal control of discrete-time hybrid automata under safety and liveness constraints | 2006-07-20 | Paper |
| Control of safe ordinary Petri nets using unfolding | 2006-02-23 | Paper |
| Modelling and simulation of a bottling plant using hybrid Petri nets | 2005-08-25 | Paper |
| State estimation of \(\lambda\)-free labeled Petri nets with contact-free nondeterministic transitions | 2005-04-25 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4657057 | 2005-03-14 | Paper |
| Optimal stationary behavior for a class of timed continuous Petri nets | 2004-10-04 | Paper |
| Modelling and simulation of manufacturing systems with first-order hybrid Petri nets | 2003-08-26 | Paper |
| Firing rate optimization of cyclic timed event graphs by token allocations | 2003-07-13 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4782041 | 2003-04-24 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3152837 | 2002-12-16 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3152839 | 2002-12-16 | Paper |
| Observer-Controller Design for Three Dimensional Overhead Cranes Using Time-Scaling | 2002-10-31 | Paper |
| Model reduction of finite-state machines by contraction | 2002-07-21 | Paper |
| Observer-controller design for cranes via Lyapunov equivalence | 2002-02-13 | Paper |
| Decidability results in first-order hybrid Petri nets | 2001-10-16 | Paper |
| A mixed suspension system for a half-car vehicle model | 2001-09-06 | Paper |
| Petri net languages and infinite subsets of \(\mathbb{N}^m\) | 2000-03-19 | Paper |
| Deterministic weak-and-marked Petri net languages are regular | 1997-07-16 | Paper |
| Decidability and closure properties of weak Petri net languages in supervisory control | 1995-11-09 | Paper |
| Blocking and controllability of Petri nets in supervisory control | 1994-11-01 | Paper |
