Lazy linear hybrid automaton
অলস রৈখিক সংকর স্বয়ংক্রিয় মডেল সীমাবদ্ধ-নির্ভুলতা সেন্সর এবং অ্যাকিউটিউটর ধারণকারী নিয়ন্ত্রণ ব্যবস্থার বিচ্ছিন্ন সময় আচরণ যা সীমাবদ্ধ জড়তা বিলম্বের অধীনে তাদের পরিবেশের সাথে মিথস্ক্রিয়া করে। মডেলটি শুধুমাত্র রৈখিক প্রবাহের সীমাবদ্ধতার অনুমতি দেয় তবে অপরিবর্তনীয় এবং গার্ডগুলি যে কোনও গণনাযোগ্য ফাংশন হতে পারে। এই গণনামূলক মডেলটি মনিন্দ্র আগরওয়াল এবং পি. এস. থিয়াগারাজন দ্বারা প্রস্তাবিত হয়েছিল। এই মডেলটি লিনিয়ার হাইব্রিড অটোমেটন-এর বর্তমানে জনপ্রিয় মডেলিং দৃষ্টান্তের তুলনায় আরও বাস্তবসম্মত এবং গণনামূলকভাবে উপযোগী। বাহ্যিক সংযোগ মডেলের পিছনে ফর্মালাইজেশন এবং তত্ত্ব অলস রৈখিক হাইব্রিড অটোমাটা গবেষণা অটোমাটা (গণনা) গণনার মডেলগুলির অ্যাক্সেসযোগ্যতা বিশ্লেষণ