Lazy linear hybrid automaton
આળસુ રેખીય વર્ણસંકર ઓટોમેટા મોડેલ મર્યાદિત-ચોકસાઇ સેન્સર ધરાવતી નિયંત્રણ પ્રણાલીઓની સ્વતંત્ર સમય વર્તણૂક અને બંધાયેલ જડતા વિલંબ હેઠળ તેમના પર્યાવરણ સાથે ક્રિયાપ્રતિક્રિયા કરતા એક્ટ્યુએટર્સ. આ મોડેલ માત્ર રેખીય પ્રવાહ અવરોધોને મંજૂરી આપે છે પરંતુ અપરિવર્તનશીલ અને રક્ષકો કોઈપણ ગણતરીપાત્ર કાર્ય હોઈ શકે છે. આ કોમ્પ્યુટેશનલ મોડેલની દરખાસ્ત મણીન્દ્ર અગ્રવાલ અને પી. એસ. થિયાગરાજન દ્વારા કરવામાં આવી હતી. આ મોડેલ રેખીય વર્ણસંકર ઓટોમેટનના હાલમાં લોકપ્રિય મોડેલિંગ દાખલા કરતાં વધુ વાસ્તવિક અને ગણતરીત્મક રીતે અનુકૂળ પણ છે. બાહ્ય કડીઓ મોડેલ પાછળના ઔપચારિકરણ અને સિદ્ધાંત આળસુ રેખીય હાઇબ્રિડ ઓટોમેટા સંશોધન ઓટોમેટા (ગણતરી) ગણતરીના નમૂનાઓનું પહોંચ વિશ્લેષણ