✦ LIBER ✦

Abstraction-based verification of codiagnosability for discrete event systems

✍ Scribed by K. Schmidt

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

Conflict-preserving abstraction of discr

✍ Simon Ware,Robi Malik 📂 Article 📅 2012 🏛 Springer 🌐 English ⚖ 564 KB

Verification of Modular Diagnosability W

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

The SH-Verification Tool — Abstraction-B

✍ P. Ochsenschläger; J. Repp; R. Rieke; U. Nitsche 📂 Article 📅 1998 🏛 Springer 🌐 English ⚖ 193 KB

The Verification and Control of Interact

✍ Rohloff, Kurt; Lafortune, Stéphane 📂 Article 📅 2006 🏛 Society for Industrial and Applied Mathematics 🌐 English ⚖ 347 KB

Generalized Discrete Event Abstraction o

✍ Jean Claude Carmona; Norbert Giambiasi; Aziz Naamane 📂 Article 📅 2004 🏛 Springer Netherlands 🌐 English ⚖ 465 KB