Zengjie Zhang's Projects
A digital-twinning simulation platform for intelligent industrial manufacturing
Real-time network identification using concurrent learning
Optimal coverage of multiple constant-speed unicycle robots
Using deep learning to predict the motion of a MPC-controlled vehicle
Splitting signal temporal logic (STL) specifications in time
The MATLAB version of the modustl benchmark
Experimental studies on communication rates of an event-triggered network
Intention-aware control using stochastic expansion methods
Model predictive control (MPC) for a stochastic linear system with runtime signal temporal logic (STL) specifications
Benchmarks for risk-aware reward shaping of autonomous driving
sliding mode control and estimation methods for robotic systems
Formal Control Toolbox
A risk-aware framework for Task Allocation among Stochastic Multi-Agent Systems