45 citations · 205 across the 65 of their papers we have counts for
Showing 2012 · eess.SYShow all
2 papers · 2 filters
eess.SY2012
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…
eess.SY2012
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…