Abstract: Advanced airborne equipment liquid cooling system presents the development trend of multiple pumps in parallel, centralised heat dissipation and high efficiency circulation, but this type of ...
This repository includes software compatible with MATLAB and GNU Octave for calculating marine CO2 system variables (CO2SYS.m), computing partial derivatives of calculated CO2 system variables with ...
Abstract: 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 for STL is ...
Some results have been hidden because they may be inaccessible to you
Show inaccessible results