✦ LIBER ✦

Polynomial-time verification of diagnosability of partially observed discrete-event systems

✍ Scribed by Tae-Sic Yoo, ; Lafortune, S.

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Verification of robust diagnosability fo

✍ Shigemasa Takai 📂 Article 📅 2012 🏛 Elsevier Science 🌐 English ⚖ 459 KB

Polynomial-time verification of diagnosa

✍ Liu, FuChun 📂 Article 📅 2014 🏛 Science in China Press (SCP) 🌐 English ⚖ 394 KB

A polynomial algorithm for testing diagn

✍ Shengbing Jiang; Zhongdong Huang; V. Chandra; R. Kumar 📂 Article 📅 2001 🏛 IEEE 🌐 English ⚖ 148 KB

Comments on “Polynomial Time Veri

✍ Kumar, Ratnesh; Takai, Shigemasa 📂 Article 📅 2014 🏛 IEEE 🌐 English ⚖ 254 KB

Verification of Modular Diagnosability W

✍ Schmidt, Klaus Werner 📂 Article 📅 2013 🏛 Institute of Electrical and Electronics Engineers 🌐 English ⚖ 591 KB

Diagnosability of fair discrete event sy

✍ Santosh Biswas; Dipankar Sarkar; Siddhartha Mukhopadhyay; Amit Patra 📂 Article 📅 2008 🏛 John Wiley and Sons 🌐 English ⚖ 305 KB