Kuize Zhang

Jörg Raisch

Theor. Comput. Sci., 2024

State-based opacity of labeled real-time automata.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 2024

[Draft] High-order observers and high-order state-estimation-based properties of discrete-event systems.

[BibT_eX]

[DOI]

CoRR, 2024

Verification and Enforcement of Strong State-Based Opacity for Discrete-Event Systems.

[BibT_eX]

[DOI]

Xiaoguang Han

Zhiwu Li

CoRR, 2024

On the verification of detectability for timed discrete event systems.

[BibT_eX]

[DOI]

Autom., 2024

2023

Embedding Cross-Dimensional Vector Space into ℓ<sup>2</sup>.

[BibT_eX]

[DOI]

J. Syst. Sci. Complex., December, 2023

A Framework for Output-Feedback Symbolic Control.

[BibT_eX]

[DOI]

Mahmoud Khaled

IEEE Trans. Autom. Control., September, 2023

Strong current-state and initial-state opacity of discrete-event systems.

[BibT_eX]

[DOI]

Autom., February, 2023

A unified concurrent-composition method to state/event inference and concealment in labeled finite-state automata as discrete-event systems.

[BibT_eX]

[DOI]

Annu. Rev. Control., January, 2023

Polynomial-Time Verification and Enforcement of Delayed Strong Detectability for Discrete-Event Systems.

[BibT_eX]

[DOI]

IEEE Trans. Autom. Control., 2023

A New Framework for Discrete-Event Systems.

[BibT_eX]

[DOI]

Found. Trends Syst. Control., 2023

Removing Two Fundamental Assumptions in Verifying Strong Periodic (D-)Detectability of Discrete-Event Systems.

[BibT_eX]

[DOI]

IEEE Control. Syst. Lett., 2023

Structural Properties of Invariant Dual Subspaces of Boolean Networks.

[BibT_eX]

[DOI]

Dongyao Bi

CoRR, 2023

2022

Agent Transformation of Bayesian Games.

[BibT_eX]

[DOI]

IEEE Trans. Autom. Control., 2022

Detectability of labeled weighted automata over monoids.

[BibT_eX]

[DOI]

Discret. Event Dyn. Syst., 2022

Synthesis for observability of logical control networks.

[BibT_eX]

[DOI]

Autom., 2022

Verification of Strong K-Step Opacity for Discrete-Event Systems.

[BibT_eX]

[DOI]

Xiaoguang Han

Zhiwu Li

Proceedings of the 61st IEEE Conference on Decision and Control, 2022

How attacks affect detectability in discrete-event systems?

[BibT_eX]

[DOI]

Proceedings of the American Control Conference, 2022

On the Verification of Detectability for Timed Systems.

[BibT_eX]

[DOI]

Proceedings of the American Control Conference, 2022

2021

A Unified Method to Decentralized State Detection and Fault Diagnosis/prediction of Discrete-event Systems.

[BibT_eX]

[DOI]

Fundam. Informaticae, 2021

A unified concurrent-composition method to state/event inference and concealment in discrete-event systems.

[BibT_eX]

[DOI]

CoRR, 2021

Diagnosability of labeled max-plus automata.

[BibT_eX]

[DOI]

Jörg Raisch

CoRR, 2021

Diagnosability of labeled weighted automata over the monoid (ℚ⩾0, +, 0).

[BibT_eX]

[DOI]

Jörg Raisch

Proceedings of the 2021 60th IEEE Conference on Decision and Control (CDC), 2021

State-Based Opacity of Real-Time Automata.

[BibT_eX]

[DOI]

Proceedings of the 27th IFIP WG 1.5 International Workshop on Cellular Automata and Discrete Complex Systems, 2021

2020

Efficient Verification of Observability and Reconstructibility for Large Boolean Control Networks With Special Structures.

[BibT_eX]

[DOI]

Karl Henrik Johansson

IEEE Trans. Autom. Control., 2020

On detectability of labeled Petri nets and finite automata.

[BibT_eX]

[DOI]

Alessandro Giua

Discret. Event Dyn. Syst., 2020

Output-Feedback Symbolic Control.

[BibT_eX]

[DOI]

Mahmoud Khaled

CoRR, 2020

Detectability of labeled weighted (max-plus) automata.

[BibT_eX]

[DOI]

CoRR, 2020

A unified method to decentralized state inference and fault diagnosis/prediction of discrete-event systems.

[BibT_eX]

[DOI]

CoRR, 2020

Basis for the quotient space of matrices under equivalence.

[BibT_eX]

[DOI]

Sci. China Inf. Sci., 2020

Dynamics and control of evolutionary congestion games.

[BibT_eX]

[DOI]

Xiaoye Gao

Jinhuan Wang

Sci. China Inf. Sci., 2020

2019

Opacity of Nondeterministic Transition Systems: A (Bi)Simulation Relation Approach.

[BibT_eX]

[DOI]

Xiang Yin

IEEE Trans. Autom. Control., 2019

Synthesis for controllability and observability of logical control networks.

[BibT_eX]

[DOI]

Karl Henrik Johansson

Proceedings of the 58th IEEE Conference on Decision and Control, 2019

K-delayed strong detectability of discrete-event systems.

[BibT_eX]

[DOI]

Alessandro Giua

Proceedings of the 58th IEEE Conference on Decision and Control, 2019

2018

Observability of Finite Labeled Transition Systems.

[BibT_eX]

[DOI]

Ting Liu

Daizhan Cheng

IEEE Trans. Autom. Control., 2018

Reconstructibility of Boolean control networks with time delays in states.

[BibT_eX]

[DOI]

Ping Sun

Kybernetika, 2018

Observability of Boolean Control Networks with Time-Variant Delays in States.

[BibT_eX]

[DOI]

Dapeng Jiang

J. Syst. Sci. Complex., 2018

On detectability of labeled Petri nets with inhibitor arcs.

[BibT_eX]

[DOI]

Alessandro Giua

CoRR, 2018

An algorithm for computing explicit expressions for orthogonal projections onto finite-game subspaces.

[BibT_eX]

[DOI]

Karl Henrik Johansson

Proceedings of the 57th IEEE Conference on Decision and Control, 2018

2017

An Application of Invertibility of Boolean Control Networks to the Control of the Mammalian Cell Cycle.

[BibT_eX]

[DOI]

Shaoshuai Mou

IEEE ACM Trans. Comput. Biol. Bioinform., 2017

The problem of determining the weak (periodic) detectability of discrete event systems is PSPACE-complete.

[BibT_eX]

[DOI]

Autom., 2017

A note on stationary stable profiles of networked evolutionary games.

[BibT_eX]

[DOI]

Proceedings of the 13th IEEE International Conference on Control & Automation, 2017

Infinite-step opacity of nondeterministic finite transition systems: A bisimulation relation approach.

[BibT_eX]

[DOI]

Proceedings of the 56th IEEE Annual Conference on Decision and Control, 2017

On eventual periodicity of networked evolutionary games.

[BibT_eX]

[DOI]

Proceedings of the 13th IEEE Conference on Automation Science and Engineering, 2017

2016

Observability of Boolean Control Networks: A Unified Approach Based on Finite Automata.

[BibT_eX]

[DOI]

IEEE Trans. Autom. Control., 2016

On Decomposed Subspaces of Finite Games.

[BibT_eX]

[DOI]

IEEE Trans. Autom. Control., 2016

A Weighted Pair Graph Representation for Reconstructibility of Boolean Control Networks.

[BibT_eX]

[DOI]

Rong Su

SIAM J. Control. Optim., 2016

Controllability of probabilistic Boolean control networks with time-variant delays in states.

[BibT_eX]

[DOI]

Sci. China Inf. Sci., 2016

On nonsingularity of Boolean control networks.

[BibT_eX]

[DOI]

Proceedings of the 2016 American Control Conference, 2016

2015

Generalized Reversibility of Topological Dynamical Systems and Cellular Automata.

[BibT_eX]

[DOI]

J. Cell. Autom., 2015

Invertibility and nonsingularity of Boolean control networks.

[BibT_eX]

[DOI]

Lihua Xie

Autom., 2015

Using the theories of finite automata and formal languages to determine observability of switched Boolean control networks.

[BibT_eX]

[DOI]

Proceedings of the 54th IEEE Conference on Decision and Control, 2015

Convergence speed analysis for evolutionary congestion games.

[BibT_eX]

[DOI]

Proceedings of the 10th Asian Control Conference, 2015

2014

High-Order S-Lemma with Application to Stability of a Class of Switched Nonlinear Systems.

[BibT_eX]

[DOI]

Fuchun Sun

SIAM J. Control. Optim., 2014

2013

Controllability and Observability of Boolean Control Networks With Time-Variant Delays in States.

[BibT_eX]

[DOI]

IEEE Trans. Neural Networks Learn. Syst., 2013

Controllability of time-variant Boolean control networks and its application to Boolean control networks with finite memories.

[BibT_eX]

[DOI]

Sci. China Inf. Sci., 2013

2012

Group inverses of matrices over right Ore domains.

[BibT_eX]

[DOI]