Yiding Ji

IEEE Trans. Autom. Control., 2022

2021

Optimal supervisory control with mean payoff objectives and under partial observation.

[BibT_eX]

[DOI]

Autom., 2021

A Game-Theoretical Approach for Optimal Supervisory Control of Discrete Event Systems for Cyclic Tasks.

[BibT_eX]

[DOI]

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

Supervisory Control for Stabilization under Multiple Local Average Payoff Constraints.

[BibT_eX]

[DOI]

Wei Xiao

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

2020

Compositional and Abstraction-Based Approach for Synthesis of Edit Functions for Opacity Enforcement.

[BibT_eX]

[DOI]

Sahar Mohajerani

IEEE Trans. Autom. Control., 2020

2019

Opacity Enforcement Using Nondeterministic Publicly Known Edit Functions.

[BibT_eX]

[DOI]

IEEE Trans. Autom. Control., 2019

Enforcing opacity by insertion functions under multiple energy constraints.

[BibT_eX]

[DOI]

Autom., 2019

Supervisory Control under Local Mean Payoff Constraints.

[BibT_eX]

[DOI]

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

2018

Enforcement of opacity by public and private insertion functions.

[BibT_eX]

[DOI]

Yi-Chin Wu

Autom., 2018

Efficient Synthesis of Edit Functions for Opacity Enforcement Using Bisimulation-Based Abstractions.

[BibT_eX]

[DOI]

Sahar Mohajerani

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

Mean Payoff Supervisory Control Under Partial Observation.

[BibT_eX]

[DOI]

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

2017

Enforcing opacity by publicly known edit functions.

[BibT_eX]

[DOI]