Zengjie Zhang's Projects
Real-time network identification using concurrent learning
Optimal coverage of multiple constant-speed unicycle robots
Intention-Aware Control Using Stochastic Expansion Methods
Splitting signal temporal logic specifications in time
The MATLAB version of the modustl benchmark
Experimental studies on communication rates of an event-triggered network
Model Predictive Control for a stochastic linear system with runtime Signal Temporal Logic specifications
Benchmarks for risk-aware reward shaping of autonomous driving
sliding mode control and estimation methods for robotic systems
Task allocation of stochastic multi-agent systems with signal temporal logic
Formal Control Toolbox