✦ LIBER ✦

Verification of Modular Diagnosability With Local Specifications for Discrete-Event Systems

✍ Scribed by Schmidt, Klaus Werner

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

Polynomial-time verification of diagnosa

✍ Tae-Sic Yoo, ; Lafortune, S. 📂 Article 📅 2002 🏛 IEEE 🌐 English ⚖ 321 KB

Diagnosability of discrete event systems

✍ Biswas, Santosh 📂 Article 📅 2012 🏛 Elsevier Science 🌐 English ⚖ 561 KB

Safe diagnosability for fault-tolerant s

✍ Andrea Paoli; Stéphane Lafortune 📂 Article 📅 2005 🏛 Elsevier Science 🌐 English ⚖ 309 KB

A polynomial algorithm for testing diagn

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