✦ LIBER ✦

Supervisory Control of Discrete Event Systems with CTL* Temporal Logic Specifications

✍ Scribed by Jiang, Shengbing; Kumar, Ratnesh

Book ID: 118205908
Publisher: Society for Industrial and Applied Mathematics
Year: 2006
Tongue: English
Weight: 267 KB
Volume: 44
Category: Article
ISSN: 0363-0129
DOI: 10.1137/s0363012902409982

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Modular supervisory control of discrete-

Modular supervisory control of discrete-event systems

✍ W. M. Wonham; P. J. Ramadge 📂 Article 📅 1988 🏛 Springer 🌐 English ⚖ 878 KB

Supervisory control of fuzzy discrete ev

Supervisory control of fuzzy discrete event systems

✍ Yongzhi Cao; Mingsheng Ying 📂 Article 📅 2005 🏛 IEEE 🌐 English ⚖ 271 KB

Control Reconfiguration of Discrete Even

Control Reconfiguration of Discrete Event Systems With Dynamic Control Specifications

✍ Sampath, R.; Darabi, H.; Buy, U.; Liu Jing, 📂 Article 📅 2008 🏛 IEEE 🌐 English ⚖ 658 KB

Mutually nonblocking supervisory control

Mutually nonblocking supervisory control of discrete event systems

✍ M. Fabian; R. Kumar 📂 Article 📅 2000 🏛 Elsevier Science 🌐 English ⚖ 154 KB

A single maximally permissive and nonblocking supervisor to simultaneously ful"ll several marked speci"cations pertaining to a single plant is investigated. Given a plant G and two marked speci"cation languages K and K , a supervisor S is said to be (K , K )-mutually nonblocking if (for i, j"1,2) ¸(

Robust supervisory control of fuzzy disc

Robust supervisory control of fuzzy discrete event systems

✍ Wang, F.; Feng, Z.R.; Liu, S.; Jiang, P. 📂 Article 📅 2008 🏛 The Institution of Engineering and Technology 🌐 English ⚖ 190 KB

Reliable decentralized supervisory contr

Reliable decentralized supervisory control of discrete event systems

✍ Takai, S.; Ushio, T. 📂 Article 📅 2000 🏛 IEEE 🌐 English ⚖ 251 KB