𝔖 Bobbio Scriptorium
✦   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

No coin nor oath required. For personal study only.


📜 SIMILAR VOLUMES


Robust supervisory control of a class of
✍ 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