| Publication | Date of Publication | Type |
|---|
| On the ground state of one-dimensional quantum droplets for large chemical potentials | 2024-10-25 | Paper |
| Diagnosability of labeled \(\mathfrak{D}_{\mathfrak{p}}\)-automata | 2024-10-07 | Paper |
| Embedding cross-dimensional vector space into \(\ell^2\) | 2024-08-29 | Paper |
| State-based opacity of real-time automata | 2024-08-13 | Paper |
| Modeling, reachability and controllability of bounded Petri nets based on semi-tensor product of matrices | 2024-06-27 | Paper |
| On the verification of detectability for timed discrete event systems | 2024-06-05 | Paper |
| State-based opacity of labeled real-time automata | 2024-03-01 | Paper |
| A survey on observability of Boolean control networks | 2023-11-07 | Paper |
| A Framework for Output-Feedback Symbolic Control | 2023-10-09 | Paper |
| Agent Transformation of Bayesian Games | 2023-09-25 | Paper |
| Polynomial-Time Verification and Enforcement of Delayed Strong Detectability for Discrete-Event Systems | 2023-09-04 | Paper |
| Strong current-state and initial-state opacity of discrete-event systems | 2023-01-31 | Paper |
| Detectability of labeled weighted automata over monoids | 2022-10-12 | Paper |
| Synthesis for observability of logical control networks | 2022-08-23 | Paper |
| Controllability of time-variant Boolean control networks and its application to Boolean control networks with finite memories | 2021-12-15 | Paper |
| A Unified Method to Decentralized State Detection and Fault Diagnosis/prediction of Discrete-event Systems | 2021-10-25 | Paper |
| New methods for verifying strong periodic detectability and strong periodic D-detectability of discrete-event systems | 2021-09-18 | Paper |
| Efficient Verification of Observability and Reconstructibility for Large Boolean Control Networks With Special Structures | 2021-03-12 | Paper |
| On detectability of labeled Petri nets and finite automata | 2020-09-01 | Paper |
| Detectability of labeled weighted automata over monoids | 2020-06-25 | Paper |
| Opacity of Nondeterministic Transition Systems: A (Bi)Simulation Relation Approach | 2020-01-28 | Paper |
| A unified method to decentralized state inference and fault diagnosis/prediction of discrete-event systems | 2020-01-14 | Paper |
| Revisiting delayed strong detectability of discrete-event systems | 2019-10-30 | Paper |
| Discrete-Time and Discrete-Space Dynamical Systems | 2019-08-26 | Paper |
| Observability of Boolean control networks with time-variant delays in states | 2018-11-08 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5375247 | 2018-09-14 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3132181 | 2018-01-29 | Paper |
| The problem of determining the weak (periodic) detectability of discrete event systems is PSPACE-complete | 2017-10-11 | Paper |
| On Decomposed Subspaces of Finite Games | 2017-05-03 | Paper |
| Observability of Boolean Control Networks: A Unified Approach Based on Finite Automata | 2017-05-03 | Paper |
| Observability and reconstructibility of large-scale Boolean control networks via network aggregations | 2017-04-11 | Paper |
| A weighted pair graph representation for reconstructibility of Boolean control networks | 2016-11-18 | Paper |
| Basis for the linear space of matrices under equivalence | 2016-08-04 | Paper |
| Generalized reversibility of topological dynamical systems and cellular automata | 2016-06-23 | Paper |
| Polynomial representation for orthogonal projections onto subspaces of finite games | 2015-12-28 | Paper |
| Finite automata approach to observability of switched Boolean control networks | 2015-12-23 | Paper |
| Invertibility and nonsingularity of Boolean control networks | 2015-12-21 | Paper |
| Group inverse for block matrix with \(t\)-potent subblock | 2014-08-05 | Paper |
| High-Order S-Lemma with Application to Stability of a Class of Switched Nonlinear Systems | 2014-07-30 | Paper |
| \(L_{2}\) stability, \(H_{\infty }\) control of switched homogeneous nonlinear systems and their semi-tensor product of matrices representation | 2013-10-31 | Paper |
| Group inverses of matrices over right Ore domains | 2012-06-19 | Paper |
| Representations of the Drazin inverse on solution of a class singular differential equations | 2011-09-01 | Paper |
| The explicit representations of the Drazin inverses of a class of block matrices | 2011-02-10 | Paper |
| Some results on the group inverse of the block matrix with a sub-block of linear combination or product combination of matrices over skew fields | 2010-11-30 | Paper |
| Group inverse for the block matrices with an invertible subblock | 2009-10-09 | Paper |
| Some results on the group inverse for block matrices over skew fields | 2009-09-07 | Paper |
