4 papers
A Centralized Planning and Distributed Execution Method for Shape Filling with Homogeneous Mobile Robots
Shuqing Liu, Rong Su, Karl H. Johansson
The pattern formation task is commonly seen in a multi-robot system. In this paper, we study the problem of forming complex shapes with functionally limited mobile robots, which ha…
Collaborative design of fault diagnosis and fault tolerance control under nested signal temporal logic specifications
Penghong Lu, Gang Chen, Rong Su
Signal Temporal Logic (STL) specifications play a crucial role in defining complex temporal properties and behaviors in safety-critical cyber-physical systems (CPS). However, fault…
Multiple noncooperative targets encirclement by relative distance-based positioning and neural antisynchronization control
Fen Liu, Shenghai Yuan, Wei Meng +2
From prehistoric encirclement for hunting to GPS orbiting the earth for positioning, target encirclement has numerous real world applications. However, encircling multiple non-coop…
Timed Discrete-Event Systems are Synchronous Product Structures
Liyong Lin
Timed discrete-event systems (TDES), which is a modelling formalism proposed by Brandin and Wonham, can be used for modelling scheduling and production planning problems. This pape…