✦ LIBER ✦

Failure Diagnosis of Discrete-Event Systems With Linear-Time Temporal Logic Specifications

✍ Scribed by S. Jiang; R. Kumar

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Supervisory Control of Discrete Event Sy

✍ Jiang, Shengbing; Kumar, Ratnesh 📂 Article 📅 2006 🏛 Society for Industrial and Applied Mathematics 🌐 English ⚖ 267 KB

Piecewise output feedback control for af

✍ Min Wu; Gangfeng Yan; Zhiyun Lin 📂 Article 📅 2011 🏛 South China University of Technology and Academy o 🌐 English ⚖ 221 KB

Comments on “Polynomial Time Veri

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

Specification of intelligent controllers

📂 Article 📅 1993 🏛 Elsevier Science 🌐 English ⚖ 126 KB