Aiwen Lai

From MaRDI portal
Person:2177783



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!

PublicationDate of PublicationType
Timed initial-state detectability of discrete-event systems by algebraic method
Nonlinear Analysis. Hybrid Systems
2025-12-12Paper
State estimation for discrete-event systems with reliable states under sequential attacks
European Journal of Control
2025-09-25Paper
Always guarding you: strong initial-and-final-state opacity of discrete-event systems
Automatica
2025-02-14Paper
Observer Construction for Polynomially Ambiguous Max-Plus Automata
IEEE Transactions on Automatic Control
2022-07-21Paper
Verification of Detectability for Unambiguous Weighted Automata
IEEE Transactions on Automatic Control
2021-05-28Paper
Initial-state detectability and initial-state opacity of unambiguous weighted automata
Automatica
2021-04-20Paper
A contribution to the determinization of max-plus automata
Discrete Event Dynamic Systems
2020-05-06Paper
State estimation of max-plus automata with unobservable events
Automatica
2019-12-19Paper


Research outcomes over time


This page was built for person: Aiwen Lai