✦ LIBER ✦

Compositional Verification in Supervisory Control

✍ Scribed by Flordal, Hugo; Malik, Robi

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

A verification methodology for real-time

✍ Sengoda G. Shanmugham; Chell A. Roberts 📂 Article 📅 1995 🏛 Elsevier Science 🌐 English ⚖ 455 KB

Control situations in supervisory contro

✍ Johannes Petersen 📂 Article 📅 2004 🏛 Springer 🌐 English ⚖ 298 KB

Maximal Solutions in Decentralized Super

✍ Overkamp, Ard; van Schuppen, Jan H. 📂 Article 📅 2000 🏛 Society for Industrial and Applied Mathematics 🌐 English ⚖ 222 KB

Understanding Perceived Complexity in Hu

✍ K. Li; P. A. Wieringa 📂 Article 📅 2000 🏛 Springer 🌐 English ⚖ 213 KB

Predicting Controller Capacity in Superv

✍ Cummings, M.L.; Mitchell, P.J. 📂 Article 📅 2008 🏛 IEEE 🌐 English ⚖ 892 KB

Predicting Controller Capacity in Superv

✍ Cummings, M.L.; Mitchell, P.J. 📂 Article 📅 2008 🏛 IEEE 🌐 English ⚖ 892 KB