✦ LIBER ✦

Control synthesis of timed discrete event systems based on predicate invariance

✍ Scribed by Haoxun Chen; Hanisch, H.-M.

Book ID: 117874625
Publisher: IEEE
Year: 2000
Tongue: English
Weight: 315 KB
Volume: 30
Category: Article
ISSN: 1083-4419
DOI: 10.1109/3477.875447

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Diagnosis of quantized systems based on

Diagnosis of quantized systems based on a timed discrete-event model

✍ Lunze, J. 📂 Article 📅 2000 🏛 IEEE 🌐 English ⚖ 716 KB

Supervisory control of timed discrete-ev

Supervisory control of timed discrete-event systems under partial observation

✍ Lin, F.; Wonham, W.M. 📂 Article 📅 1995 🏛 IEEE 🌐 English ⚖ 479 KB

State-Based Control of Fuzzy Discrete-Ev

State-Based Control of Fuzzy Discrete-Event Systems

✍ Yongzhi Cao; Mingsheng Ying; Guoqing Chen 📂 Article 📅 2007 🏛 IEEE 🌐 English ⚖ 297 KB

A control synthesis approach for time di

A control synthesis approach for time discrete event systems

✍ Alexandru Tiberiu Sava; Hassane Alla 📂 Article 📅 2006 🏛 Elsevier Science 🌐 English ⚖ 522 KB

Robust supervisory control of timed disc

Robust supervisory control of timed discrete event systems under partial observation based on eligible time bounds: The existence conditions

✍ Seong-Jin Park; Kwang-Hyun Cho 📂 Article 📅 2008 🏛 Elsevier Science 🌐 English ⚖ 214 KB

Robust supervisory control of a class of

Robust supervisory control of a class of timed discrete event systems under partial observation

✍ Shigemasa Takai 📂 Article 📅 2000 🏛 Elsevier Science 🌐 English ⚖ 119 KB

This paper studies robust supervisory control of timed discrete event systems proposed by Brandin and Wonham. Given a set of possible models which includes the exact model of the plant, the objective is to synthesize a robust supervisor such that it achieves legal behavior for all possible models. W