5 citations · 7 across the 5 of their papers we have counts for
5 papers
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…
Ensuring Privacy in Location-Based Services: A Model-based Approach
Alireza Partovi, Wei Zheng, Taeho Jung +1
In recent years, the widespread of mobile devices equipped with GPS and communication chips has led to the growing use of location-based services (LBS) in which a user receives a s…