وسایل نقلیه ی پروب به عنوان یک راه جمع آوری اطلاعات ترافیکی زمان- حقیقی مورد نیاز سیستم های بهینه سازی، بیشتر توجهات را به خود جلب کرده است. در این پایاننامه یک سری فرمول های ریاضی یکپارچه، برای اعمال کنترل (بر روی) چراغ راهنمایی ارائه شده است. در ابتدا، الگوریتم تشخیص زمان پیش روی خودروها موجود در گروه، برای شناسایی گروه ها با استفاده از اطلاعات بهنگام گرفته شده از وسایل نقلیه ی پروب، ارائه شده است. این الگوریتم ص فهای موجود و گروه هایی که در حال نزدیک شدن به هر تقاطع می باشند را شناسایی می کند.در ادامه یک برنامه ریزی خطی آمیخته با اعداد صحیح برای بدست آوردن جواب های بهینه ی چراغ مبتنی بر کنترلگرهای ترافیک موجود و داده های بهنگام گروه که از یک سری وسایل نقلیه خاص مانند اتوبوس های درون شهری دریافت می شود، حل شده است. شبیه سازی میکروسکوپیک با استفاده نشان می دهد، این فرمول های ریاضی می تواند تأخیر را برای همه ی وسایل نقلیه aimsun از در شرایط غیر اشباع و فوق اشباع ترافیکی در مقایسه با عملکرد کنترل قدیمی هماهنگ- فعال ، کاهش دهد. sy nchro چراغ راهنمایی با بهینه سازی زمان بندی نرم افزار