127 citations · 397 across the 13 of their papers we have counts for
Showing 2012 · eess.SYShow all
3 papers · 2 filters
eess.SY2012★ 3 cited
Distributed Control of Angle-constrained Circular Formations using Bearing-only Measurements
Shiyu Zhao, Feng Lin, Kemao Peng +2
This paper studies distributed formation control of multiple agents in the plane using bearing-only measurements. It is assumed that each agent only measures the local bearings of…
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…