Yiding Ji

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Temporal logic guided coverage control and path planning for unmanned aerial-ground vehicle systems Nonlinear Analysis. Hybrid Systems	2026-09-18	Paper
On robust supervisory control of metric discrete event systems for scLTL specifications Discrete Event Dynamic Systems	2026-06-30	Paper
Optimal supervisory control of discrete event systems for cyclic tasks Automatica	2024-06-05	Paper
Enforcing opacity by insertion functions under multiple energy constraints Automatica	2024-02-20	Paper
Local Mean Payoff Supervisory Control for Discrete Event Systems IEEE Transactions on Automatic Control	2022-07-28	Paper
Optimal supervisory control with mean payoff objectives and under partial observation Automatica	2021-04-12	Paper
Compositional and Abstraction-Based Approach for Synthesis of Edit Functions for Opacity Enforcement IEEE Transactions on Automatic Control	2020-10-07	Paper
Opacity Enforcement Using Nondeterministic Publicly Known Edit Functions IEEE Transactions on Automatic Control	2020-01-28	Paper
Enforcement of opacity by public and private insertion functions Automatica	2018-10-17	Paper

Research outcomes over time

This page was built for person: Yiding Ji