We propose a technique for synthesi

We propose a technique for synthesizing switching guards for hybrid systems to satisfy a given statebased
safety constraint. Using techniques from sum of squares (SOS) optimization, we design guards defined
by semialgebraic sets that trigger mode switches, and we guarantee that the synthesized switching
policy does not allow Zeno executions. We demonstrate our approach on an example of switched affine
systems and on an application to traffic ramp metering.

ผลลัพธ์ (ไทย) 1:

เราเสนอเทคนิคสังเคราะห์เปลี่ยนยามสำหรับระบบไฮบริ statebased ที่กำหนดให้ข้อจำกัดด้านความปลอดภัย เราใช้เทคนิคจากผลรวมของช่องสี่เหลี่ยม (SOS) เพิ่มประสิทธิภาพ ออกแบบยามที่กำหนดไว้โดยชุด semialgebraic ที่โหมดสลับ และเรารับประกันที่สลับสังเคราะห์นโยบายไม่อนุญาต executions ใกล้กับ: แสดงให้เห็นถึงแนวทางของเราในตัวอย่างของสลับ affineระบบและโปรแกรมประยุกต์การจราจรลาดวัด

ผลลัพธ์ (ไทย) 2:

เราเสนอเทคนิคสำหรับการสังเคราะห์ยามเปลี่ยนสำหรับระบบไฮบริดเพื่อตอบสนองความ statebased ที่กำหนด
ข้อ จำกัด ด้านความปลอดภัย โดยใช้เทคนิคจากผลรวมของช่องสี่เหลี่ยม (SOS) การเพิ่มประสิทธิภาพของเราออกแบบยามที่กำหนดไว้
โดยชุด semialgebraic ที่เรียกสวิทช์โหมดและเรารับประกันได้ว่าการเปลี่ยนสังเคราะห์
นโยบายไม่อนุญาตให้มีการประหารชีวิตนักปราชญ์ เราแสดงให้เห็นถึงวิธีการของเราในตัวอย่างของการเปลี่ยนเลียนแบบ
ระบบและการประยุกต์ใช้ในการวัดแสงการจราจรทางลาด

ผลลัพธ์ (ไทย) 3:

เราเสนอเทคนิคสำหรับการเปลี่ยนการ์ดสำหรับระบบไฮบริดที่จะตอบสนองให้ statebasedจำกัดความปลอดภัย การใช้เทคนิคจากผลรวมของสี่เหลี่ยม ( SOS ) ให้เหมาะสม เราออกแบบการ์ดกำหนดโดย semialgebraic ชุดที่เรียกสวิตช์โหมดและเรารับประกันว่าได้เปลี่ยนนโยบายไม่อนุญาตให้เซโนการสังหารหมู่ เราแสดงวิธีการของเราในตัวอย่างเปลี่ยนสัมพรรคระบบและโปรแกรมประยุกต์เพื่อเข้าชมวัดลาด .