| Publication | Date of Publication | Type |
|---|
| Noninterference analysis of bounded Petri nets using basis reachability graph | 2025-01-21 | Paper |
| 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 |
| Verification of pattern-pattern diagnosability in partially observed discrete event systems | 2024-07-21 | Paper |
| Tracking control by the Newton–Raphson method with output prediction and controller speedup | 2024-03-20 | Paper |
| Codiagnosability Enforcement in Labeled Petri Nets | 2023-09-26 | Paper |
| Prognosability Analysis and Enforcement of Bounded Labeled Petri Nets | 2023-09-24 | 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 |
| Verification of \(K\)-step and infinite-step opacity of bounded labeled Petri nets | 2022-04-14 | Paper |
| Analysis of strong and strong periodic detectability of bounded labeled Petri nets | 2021-12-13 | Paper |
| Verification of C-detectability using Petri nets | 2021-05-03 | Paper |
| Supervisory control of a class of Petri nets with unobservable and uncontrollable transitions | 2021-02-04 | Paper |
| Divergence Properties of Labeled Petri Nets and Their Relevance for Diagnosability Analysis | 2020-10-07 | Paper |
| A decision making procedure for robust train rescheduling based on mixed integer linear programming and data envelopment analysis | 2020-02-12 | Paper |
| Some Remarks on “State Estimation and Fault Diagnosis of Labeled Time Petri Net Systems With Unobservable Transitions” | 2020-01-28 | Paper |
| Verification of Fault-predictability in Labeled Petri Nets Using Predictor Graphs | 2020-01-28 | Paper |
| Basis coverability graph for partially observable Petri nets with application to diagnosability analysis | 2019-12-18 | Paper |
| Enforcement of Diagnosability in Labeled Petri Nets via Optimal Sensor Selection | 2019-07-18 | Paper |
| Current-state opacity enforcement in discrete event systems under incomparable observations | 2018-10-08 | Paper |
| Performance regulation in discrete event and hybrid dynamical systems using IPA | 2018-08-21 | Paper |
| Codiagnosability Analysis of Bounded Petri Nets | 2018-06-27 | 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 |
| A New Approach for Diagnosability Analysis of Petri Nets Using Verifier Nets | 2017-09-08 | Paper |
| Verification of State-Based Opacity Using Petri Nets | 2017-09-08 | Paper |
| A Gossip-Based Algorithm for Discrete Consensus Over Heterogeneous Networks | 2017-08-25 | Paper |
| Performance Regulation and Tracking via Lookahead Simulation: Preliminary Results and Validation | 2017-08-14 | 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 |
| Marking Estimation of Petri Nets With Silent Transitions | 2017-07-27 | Paper |
| Diagnosability Analysis of Labeled Time Petri Net Systems | 2017-07-27 | Paper |
| Marking Observer in Labeled Petri Nets With Application to Supervisory Control | 2017-07-27 | Paper |
| Observer-Based State-Feedback Control of Timed Petri Nets With Deadlock Recovery | 2017-07-12 | Paper |
| Observability of place/transition nets | 2017-06-20 | Paper |
| Optimal sensor selection for ensuring diagnosability in labeled Petri nets | 2017-06-02 | Paper |
| State Estimation and Fault Diagnosis of Labeled Time Petri Net Systems With Unobservable Transitions | 2017-05-16 | Paper |
| Probabilistic Marking Estimation in Labeled Petri Nets | 2017-05-16 | Paper |
| Characterization of Admissible Marking Sets in Petri Nets with Uncontrollable Transitions | 2017-05-03 | Paper |
| Performance regulation of event-driven dynamical systems using infinitesimal perturbation analysis | 2016-09-09 | 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 |
| Congestion management in traffic-light intersections via Infinitesimal Perturbation Analysis | 2015-07-28 | Paper |
| Fault model identification and synthesis in Petri nets | 2015-06-12 | Paper |
| Structural Analysis of Petri Nets | 2015-01-29 | Paper |
| Petri Nets with Time | 2015-01-29 | Paper |
| Diagnosis of Petri Nets | 2015-01-29 | Paper |
| Introduction to Petri Nets | 2015-01-29 | Paper |
| Infinitesimal Perturbation Analysis of Stochastic Hybrid Systems: Application to Congestion Management in Traffic-Light Intersections | 2014-07-27 | Paper |
| Gossip algorithms for heterogeneous multi-vehicle routing problems | 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 |
| Quantized consensus in Hamiltonian graphs | 2011-11-17 | 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 |
| A system theory view of Petri nets | 2007-08-29 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3437549 | 2007-05-09 | Paper |
| Optimal control of discrete-time hybrid automata under safety and liveness constraints | 2006-07-20 | Paper |
| Design of decentralized constant-volume controllers for open-channels by solving a least squares problem | 2006-02-14 | 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 |
| 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 |
| A decentralized volume variations observer for open channels | 2003-03-10 | 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 |
| Design and robustness analysis of decentralized constant volume-control for open-channels | 2002-02-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 |
| Decentralized controllers design for open-channel hydraulic systems via eigenstructure assignment | 2001-07-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4486927 | 2000-06-21 | Paper |
