id	keyword
hjic-704	system
hjic-704	function
hjic-704	lyapunov
hjic-704	polytope 𝒳