Showing results 1 to 4 of 4
A hierarchical consistency framework for real-time supervisory control Quang Ha Ngo; Seow, Kiam Tian, DISCRETE EVENT DYNAMIC SYSTEMS-THEORY AND APPLICATIONS, v.28, no.3, pp.375 - 426, 2018-09 |
Supervisory Control of Blockchain Networks Seow, Kiam Tian, IEEE TRANSACTIONS ON SYSTEMS MAN CYBERNETICS-SYSTEMS, v.50, no.1, pp.159 - 171, 2020-01 |
Supervisory Control of Fair Discrete-Event Systems: A Canonical Temporal Logic Foundation Seow, Kiam Tian, IEEE TRANSACTIONS ON AUTOMATIC CONTROL, v.66, no.11, pp.5269 - 5282, 2021-11 |
Supremal Marker-Controllable Subformula of a Given Canonical Temporal-Safety Formula Seow, Kiam Tian, IEEE ACCESS, v.10, pp.66300 - 66320, 2022 |
Discover