𝔖 Bobbio Scriptorium

✦ LIBER ✦

A temporal logic approach to discrete event control for the safety canonical class

✍ Scribed by Kiam Tian Seow; R. Devanathan

Publisher: Elsevier Science
Year: 1996
Tongue: English
Weight: 841 KB
Volume: 28
Category: Article
ISSN: 0167-6911
DOI: 10.1016/0167-6911(96)00032-1

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Specification of intelligent controllers

Specification of intelligent controllers for discrete event systems in a temporal logic framework : D. Ionescu, Jing-Yue Lin, Hyung Soo Hwang, pp 237–242

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