5 citations · 7 across the 5 of their papers we have counts for
6 papers · 1 filter
Structural Balance of Complex Weighted Graphs and Multi-partite Consensus
Honghui Wu, Ahmet Taha Koru, Guanxuan Wu +2
The structural balance of a signed graph is known to be necessary and sufficient to obtain a bipartite consensus among agents with friend-foe relationships. In the real world, rela…
Smooth Robustness Measures for Symbolic Control Via Signal Temporal Logic
Shirantha Welikala, Hai Lin, Panos J. Antsaklis
Symbolic control problems aim to synthesize control policies for dynamical systems under complex temporal specifications. For such problems, Signal Temporal Logic (STL) is increasi…
Mixed-Integer Programming for Signal Temporal Logic with Fewer Binary Variables
Vince Kurtz, Hai Lin
Signal Temporal Logic (STL) provides a convenient way of encoding complex control objectives for robotic and cyber-physical systems. The state-of-the-art in trajectory synthesis fo…
On-line Estimation of Stability and Passivity Metrics
Shirantha Welikala, Hai Lin, Panos J. Antsaklis
We consider the problem of on-line evaluation of critical characteristic parameters such as the L_2-gain (L2G), input feedforward passivity index (IFP) and output feedback passivit…
Robust Approximate Simulation for Hierarchical Control of Piecewise Affine Systems under Bounded Disturbances
Zihao Song, Vince Kurtz, Shirantha Welikala +2
Piecewise affine (PWA) systems are widely applied in many practical cases such as the control of nonlinear systems and hybrid dynamics. However, most of the existing PWA control me…
The Stackelberg Equilibrium for One-sided Zero-sum Partially Observable Stochastic Games
Wei Zheng, Taeho Jung, Hai Lin
Formulating cyber-security problems with attackers and defenders as a partially observable stochastic game has become a trend recently. Among them, the one-sided two-player zero-su…