1 citations · 1 across the 4 of their papers we have counts for
4 papers
An Input-Output Simulation Approach to Controlling Multi-AffineSystems for Linear Temporal Logic Specifications
Yajuan Sun, Hai Lin, Ben M. Chen
This paper presents an input-output simulation approach to controlling multi-affine systems for linear temporal logic (LTL) specifications, which consists of the following steps. F…
Bisimilarity Enforcing Supervisory Control for Deterministic Specifications
Yajuan Sun, Hai Lin, Ben M. Chen
This paper investigates the supervisory control of nondeterministic discrete event systems to enforce bisimilarity with respect to deterministic specifications. A notion of synchro…
Decentralized Supervisory Control of Discrete Event Systems for Bisimulation Equivalence
Yajuan Sun, Hai Lin, Ben. M. Chen
In decentralized systems, branching behaviors naturally arise due to communication, unmodeled dynamics and system abstraction, which can not be adequately captured by the tradition…
Computation for Supremal Simulation-Based Controllable and Strong Observable Subautomata
Yajuan Sun, Hai Lin, Fuchun Liu
Bisimulation relation has been successfully applied to computer science and control theory. In our previous work, simulation-based controllability and simulation-based observabilit…