45 citations · 205 across the 65 of their papers we have counts for
Showing 2012Show all
3 papers · 1 filter
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…
cs.MA2012
Graph-Theoretic Characterizations of Structural Controllability for Multi-Agent System with Switching Topology
Xiaomeng Liu, Hai Lin, Ben M. Chen
This paper considers the controllability problem for multi-agent systems. In particular, the structural controllability of multi-agent systems under switching topologies is investi…
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…