Lazy linear hybrid automaton
आलसी रैखिक संकर स्वचालित मॉडल नियंत्रण प्रणालियों का असतत समय व्यवहार है जिसमें सीमित-परिशुद्धता संवेदक और एक्चुएटर सीमित जड़त्वीय देरी के तहत अपने वातावरण के साथ बातचीत करते हैं। मॉडल केवल रैखिक प्रवाह बाधाओं की अनुमति देता है लेकिन अपरिवर्तनीय और रक्षक कोई भी संगणनीय कार्य हो सकते हैं। यह कम्प्यूटेशनल मॉडल मनिंद्र अग्रवाल और पी. एस. त्यागराजन द्वारा प्रस्तावित किया गया था। यह मॉडल रैखिक संकर ऑटोमेटन के वर्तमान में लोकप्रिय मॉडलिंग प्रतिमान की तुलना में अधिक यथार्थवादी और कम्प्यूटेशनल रूप से उपयुक्त है। बाहरी लिंक मॉडल के पीछे औपचारिकरण और सिद्धांत आलसी रैखिक हाइब्रिड ऑटोमेटा अनुसंधान ऑटोमेटा (गणना) गणना के मॉडल का पहुंच विश्लेषण