| Publication | Date of Publication | Type |
|---|
Verification and enforcement of strong state-based opacity for discrete-event systems
Automatica | 2026-09-10 | Paper |
Interval-constraint multiagent systems: global attractivity and structural stability of equilibria
Automatica | 2025-12-15 | Paper |
Fundamental structures of invariant dual subspaces with respect to a Boolean network
Automatica | 2025-05-23 | Paper |
On the ground state of one-dimensional quantum droplets for large chemical potentials
Journal of Physics A: Mathematical and Theoretical | 2024-10-25 | Paper |
Diagnosability of labeled \(\mathfrak{D}_{\mathfrak{p}}\)-automata
Theoretical Computer Science | 2024-10-07 | Paper |
Embedding cross-dimensional vector space into ^2
Journal of Systems Science and Complexity | 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
Asian Journal of Control | 2024-06-27 | Paper |
On the verification of detectability for timed discrete event systems
Automatica | 2024-06-05 | Paper |
State-based opacity of labeled real-time automata
Theoretical Computer Science | 2024-03-01 | Paper |
A survey on observability of Boolean control networks
Control Theory and Technology | 2023-11-07 | Paper |
A Framework for Output-Feedback Symbolic Control
IEEE Transactions on Automatic Control | 2023-10-09 | Paper |
Agent Transformation of Bayesian Games<i />
IEEE Transactions on Automatic Control | 2023-09-25 | Paper |
Polynomial-Time Verification and Enforcement of Delayed Strong Detectability for Discrete-Event Systems
IEEE Transactions on Automatic Control | 2023-09-04 | Paper |
Strong current-state and initial-state opacity of discrete-event systems
Automatica | 2023-01-31 | Paper |
Detectability of labeled weighted automata over monoids
Discrete Event Dynamic Systems | 2022-10-12 | Paper |
Synthesis for observability of logical control networks
Automatica | 2022-08-23 | Paper |
Controllability of time-variant Boolean control networks and its application to Boolean control networks with finite memories
Science China Information Sciences | 2021-12-15 | Paper |
A Unified Method to Decentralized State Detection and Fault Diagnosis/prediction of Discrete-event Systems
Fundamenta Informaticae | 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
IEEE Transactions on Automatic Control | 2021-03-12 | Paper |
On detectability of labeled Petri nets and finite automata
Discrete Event Dynamic Systems | 2020-09-01 | Paper |
Detectability of labeled weighted automata over monoids
(available as arXiv preprint) | 2020-06-25 | Paper |
Opacity of Nondeterministic Transition Systems: A (Bi)Simulation Relation Approach
IEEE Transactions on Automatic Control | 2020-01-28 | Paper |
A unified method to decentralized state inference and fault diagnosis/prediction of discrete-event systems
(available as arXiv preprint) | 2020-01-14 | Paper |
| Revisiting delayed strong detectability of discrete-event systems | 2019-10-30 | Paper |
Discrete-Time and Discrete-Space Dynamical Systems
Communications and Control Engineering | 2019-08-26 | Paper |
Observability of Boolean control networks with time-variant delays in states
Journal of Systems Science and Complexity | 2018-11-08 | Paper |
| scientific article; zbMATH DE number 6936858 (Why is no real title available?) | 2018-09-14 | Paper |
| Observability and nonsingularity of logical dynamical systems | 2018-01-29 | Paper |
The problem of determining the weak (periodic) detectability of discrete event systems is PSPACE-complete
Automatica | 2017-10-11 | Paper |
Observability of Boolean Control Networks: A Unified Approach Based on Finite Automata
IEEE Transactions on Automatic Control | 2017-05-03 | Paper |
On Decomposed Subspaces of Finite Games
IEEE Transactions on Automatic Control | 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
SIAM Journal on Control and Optimization | 2016-11-18 | Paper |
A weighted pair graph representation for reconstructibility of Boolean control networks
SIAM Journal on Control and Optimization | 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
Journal of 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
Nonlinear Analysis. Hybrid Systems | 2015-12-23 | Paper |
Invertibility and nonsingularity of Boolean control networks
Automatica | 2015-12-21 | Paper |
Group inverse for block matrix with \(t\)-potent subblock
Journal of Applied Mathematics and Computing | 2014-08-05 | Paper |
High-order \(S\)-lemma with application to stability of a class of switched nonlinear systems
SIAM Journal on Control and Optimization | 2014-07-30 | Paper |
\(L_{2}\) stability, \(H_{\infty }\) control of switched homogeneous nonlinear systems and their semi-tensor product of matrices representation
International Journal of Robust and Nonlinear Control | 2013-10-31 | Paper |
Group inverses of matrices over right Ore domains
Applied Mathematics and Computation | 2012-06-19 | Paper |
Representations of the Drazin inverse on solution of a class singular differential equations
Linear and Multilinear Algebra | 2011-09-01 | Paper |
The explicit representations of the Drazin inverses of a class of block matrices
The Electronic Journal of Linear Algebra | 2011-02-10 | Paper |
The explicit representations of the Drazin inverses of a class of block matrices
The Electronic Journal of Linear Algebra | 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
Linear and Multilinear Algebra | 2010-11-30 | Paper |
Group inverse for the block matrices with an invertible subblock
Applied Mathematics and Computation | 2009-10-09 | Paper |
Some results on the group inverse for block matrices over skew fields
The Electronic Journal of Linear Algebra | 2009-09-07 | Paper |
Some results on the group inverse for block matrices over skew fields
The Electronic Journal of Linear Algebra | 2009-09-07 | Paper |
Some results on the group inverse for block matrices over skew fields
The Electronic Journal of Linear Algebra | 2009-09-07 | Paper |
