✦ LIBER ✦

Symbolic Supervisory Control of Infinite Transition Systems Under Partial Observation Using Abstract Interpretation

✍ Scribed by Gabriel Kalyon; Tristan Le Gall; Hervé Marchand; Thierry Massart

Book ID: 113064448
Publisher: Springer
Year: 2011
Tongue: English
Weight: 903 KB
Volume: 22
Category: Article
ISSN: 0924-6703
DOI: 10.1007/s10626-011-0101-3

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

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

Centralized and Decentralized Supervisor

Centralized and Decentralized Supervisory Control of Nondeterministic Systems Under Partial Observation

✍ Kumar, Ratnesh; Shayman, Mark A. 📂 Article 📅 1997 🏛 Society for Industrial and Applied Mathematics 🌐 English ⚖ 414 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

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