Abstract: Signal Temporal Logic (STL) is a formal language over continuous-time signals (such as trajectories of a multiagent system) that allows for the specification of complex spatial and temporal ...
LAWRENCE — The momentum Kansas basketball has in recruiting has led to another commitment, as Davion Adkins announced his decision Sunday to join the Jayhawks. Adkins revealed his decision during a ...
Abstract: This paper presents an observer-based finite-time bounded control scheme for the vertical motion of a kind of mutil-mode underwater vehicle (MMUV) subject to external disturbances.
Some results have been hidden because they may be inaccessible to you
Show inaccessible results
Feedback