45 citations · 205 across the 65 of their papers we have counts for
11 papers · 1 filter
Trajectory Optimization for High-Dimensional Nonlinear Systems under STL Specifications
Vince Kurtz, Hai Lin
Signal Temporal Logic (STL) has gained popularity in recent years as a specification language for cyber-physical systems, especially in robotics. Beyond being expressive and easy t…
Automatic Trajectory Synthesis for Real-Time Temporal Logic
Rafael Rodrigues da Silva, Vince Kurtz, Hai Lin
Many safety-critical systems must achieve high-level task specifications with guaranteed safety and correctness. Much recent progress towards this goal has been made through contro…
Distributed Density Filtering for Large-Scale Systems Using Mean-Filed Models
Tongjia Zheng, Hai Lin
This work studies distributed (probability) density estimation of large-scale systems. Such problems are motivated by many density-based distributed control tasks in which the real…
Opacity of Discrete Event Systems with Active Intruder
Alireza Partovi, Taeho Jung, Lin Hai
Opacity is a security property formalizing the information leakage of a system to an external observer, namely intruder. The conventional opacity that has been studied in the Discr…
Specification mining and automated task planning for autonomous robots based on a graph-based spatial temporal logic
Zhiyu Liu, Meng Jiang, Hai Lin
We aim to enable an autonomous robot to learn new skills from demo videos and use these newly learned skills to accomplish non-trivial high-level tasks. The goal of developing such…
PDE-based Dynamic Density Estimation for Large-scale Agent Systems
Tongjia Zheng, Qing Han, Hai Lin
Large-scale agent systems have foreseeable applications in the near future. Estimating their macroscopic density is critical for many density-based optimization and control tasks,…