Lazy linear hybrid automaton
سست لکیری ہائبرڈ آٹومیٹا ماڈل کنٹرول سسٹم کا مجرد وقت کا طرز عمل ہے جس میں محدود صحت سے متعلق سینسرز اور ایکچوایٹرز ہوتے ہیں جو پابند جمود تاخیر کے تحت اپنے ماحول کے ساتھ تعامل کرتے ہیں۔ ماڈل صرف لکیری بہاؤ کی رکاوٹوں کی اجازت دیتا ہے لیکن غیر متغیر اور محافظ کوئی بھی کمپیوٹیبل فنکشن ہو سکتے ہیں۔ یہ کمپیوٹیشنل ماڈل منیندر اگروال اور پی ایس تھیاگراجن نے تجویز کیا تھا۔ یہ ماڈل لکیری ہائبرڈ آٹومیٹن کے موجودہ مقبول ماڈلنگ پیراڈائم سے زیادہ حقیقت پسندانہ اور کمپیوٹیشنل طور پر قابل قبول ہے۔ بیرونی روابط ماڈل کے پیچھے فارملائزیشن اور تھیوری سست لکیری ہائبرڈ آٹومیٹا ریسرچ آٹومیٹا (کمپیوٹیشن) کمپیوٹیشن کے ماڈل کا رسائی تجزیہ