یک چارچوب هندسی بر پایه ی جت منیفلدها به سیستم های لاگرانژی غیرهولونومیک وابسته ی زمانی گسترش داده شده است.یک ساختار تقریبا ضربی (p,q) روی فضای تکامل یافته ساخته می شود به گونه ای که تصویر دینامیک آزاد توسط ، دینامیک منحصر به فرد مقید را می دهد. 2-فرمی پوانکاره-کارتان مقید نیز تعریف شده است. اگر سیستم غیر هولونومیک تکین باشد، آن گاه یک الگوریتم مقید ساخته می شود. هم چنین نوع خاصی از سیستم های مقید با عنوان سیستم مقید کپلاین و یک قضیه ی القایی اثبات شده در آن مورد توجه بیش تری قرار گرفته است.