On the Computation of Backward Reachable Sets for Max-Plus Linear Systems with Disturbances
यह शोध पत्र एडिटिव डिस्टर्बेंस (additive disturbances) वाले अनसर्टेन मैक्स-प्लस लीनियर सिस्टम्स के लिए वन-स्टेप बैकवर्ड रीचेबल सेट्स को कुशलतापूर्वक गणना करने हेतु ट्रॉपिकल पॉलीहेड्रा पर आधारित एक कम्प्यूटेशनल फ्रेमवर्क प्रस्तुत करता है, जो यह प्रदर्शित करता है कि बैकवर्ड ऑपरेटर्स ट्रॉपिकल-पॉलीहेड्रल संरचना को संरक्षित करते हैं ताकि रचनात्मक सुरक्षा विश्लेषण (constructive safety analysis) सक्षम हो सके।