127 citations · 397 across the 13 of their papers we have counts for
7 papers · 1 filter
Finite-time Stabilization of Circular Formations using Bearing-only Measurements
Shiyu Zhao, Feng Lin, Kemao Peng +2
This paper studies decentralized formation control of multiple vehicles when each vehicle can only measure the local bearings of their neighbors by using bearing-only sensors. Sinc…
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…
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…
Hybrid 3-D Formation Control for Unmanned Helicopters
A. Karimoddini, H. Lin, B. M. Chen +1
Teams of Unmanned Aerial Vehicles (UAVs) form typical networked cyber-physical systems that involve the interaction of discrete logic and continuous dynamics. This paper presents a…