Hybrid Systems Verification[edit]Th

Hybrid Systems Verification[edit]
There are approaches to automatically proving properties of hybrid systems (e.g., some of the tools mentioned below). Most verification tasks are undecidable,[1] making verification impossible. Instead, the tools are analyzed for their capabilities on benchmark problems. A possible theoretical characterization of this is algorithms that succeed with hybrid systems verification in all robust cases [2] implying that many problems for hybrid systems, while undecidable, are at least quasi-decidable [3]

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

ไฮบริดระบบการตรวจสอบ [แก้ไข]
มีวิธีให้โดยอัตโนมัติพิสูจน์คุณสมบัติของระบบไฮบริด (เช่นบางส่วนของเครื่องมือที่กล่าวถึงด้านล่าง) ส่วนใหญ่งานการตรวจสอบเป็น undecidable [1] ทำให้การตรวจสอบเป็นไปไม่ได้ แต่เครื่องมือที่มีการวิเคราะห์ความสามารถของพวกเขาเกี่ยวกับปัญหามาตรฐาน ลักษณะที่เป็นไปได้ในทางทฤษฎีนี้เป็นขั้นตอนวิธีการที่ประสบความสำเร็จกับการตรวจสอบระบบไฮบริดในกรณีที่แข็งแกร่งทั้งหมด [2] หมายความว่าปัญหามากสำหรับระบบไฮบริดในขณะที่ตัดสินไม่ได้เป็นอย่างน้อยกึ่ง decidable [3]

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

การตรวจสอบระบบไฮบริด [ แก้ไข ]
มีวิธีการอัตโนมัติพิสูจน์คุณสมบัติของระบบไฮบริด ( เช่นบางส่วนของเครื่องมือที่กล่าวถึงด้านล่าง ) งานตรวจสอบ ส่วนใหญ่จะ undecidable , [ 1 ] ทำให้การตรวจสอบเป็นไปได้ แต่เครื่องมือจะวิเคราะห์ศักยภาพ ปัญหา มาตรฐาน .ลักษณะเฉพาะทางทฤษฎีที่เป็นไปได้นี้เป็นขั้นตอนวิธีที่ประสบความสำเร็จกับระบบการตรวจสอบในกรณีที่แข็งแกร่งไฮบริดทั้งหมด [ 2 ] หมายความว่า ปัญหามากมายสำหรับระบบไฮบริด ในขณะที่ undecidable เป็นอย่างน้อย และ decidable [ 2 ]