Academic Journal
Problems And Examples Of Decentralized Observation And Control For Discrete Event Systems
| العنوان: | Problems And Examples Of Decentralized Observation And Control For Discrete Event Systems |
|---|---|
| المؤلفون: | Anuj Puri, Stavros Tripakis, Pravin Varaiya |
| المساهمون: | The Pennsylvania State University CiteSeerX Archives |
| المصدر: | http://www-verimag.imag.fr/~tripakis/problems-dec-control.ps.gz. |
| بيانات النشر: | Kluwer Academic Publisher |
| سنة النشر: | 2001 |
| المجموعة: | CiteSeerX |
| مصطلحات موضوعية: | Decentralized Observation, Decentralized Control, Protocol Synthesis, Alternating Bit Protocol. 1 |
| الوصف: | We study decentralized observation control problems for discrete event systems. For problems with a single observer or controller, it is well known that if a solution exists, then a finite-state solution also exists. We show that in the decentralized case there might not exist finite-state observers and controllers, even though infinite-state ones exist and the plant is finite-state. We also give necessary and sufficient conditions for finite-state observers to exist. We then formulate the problem of synthesizing a reliable transmission protocol on top of unreliable channels as a decentralized control problem, and present the well known alternating bit protocol (ABP) as a solution. We finally study the existence of solutions for variations of the reliable transmission problem, where one or both channels can carry only one symbol and are of finite or infinite capacity. We show that a solution exists if one the forward or backward channel is two-symbol and the other one-symbol, whereas no solution exists if both are one-symbol. |
| نوع الوثيقة: | text |
| وصف الملف: | application/postscript |
| اللغة: | English |
| Relation: | http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.22.4293; http://www-verimag.imag.fr/~tripakis/problems-dec-control.ps.gz |
| الاتاحة: | http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.22.4293 http://www-verimag.imag.fr/~tripakis/problems-dec-control.ps.gz |
| Rights: | Metadata may be used without restrictions as long as the oai identifier remains attached to it. |
| رقم الانضمام: | edsbas.30F5CA18 |
| قاعدة البيانات: | BASE |
| الوصف غير متاح. |