Coalgebra and Coinduction in Decentralized Supervisory Control
نویسندگان
چکیده
منابع مشابه
Automata and Coinduction (an Exercise in Coalgebra) Automata and Coinduction (an Exercise in Coalgebra)
The classical theory of deterministic automata is presented in terms of the notions of homomor-phism and bisimulation, which are the cornerstones of the theory of (universal) coalgebra. This leads to a transparent and uniform presentation of automata theory and yields some new insights, amongst which coinduction proof methods for language equality and language inclusion. At the same time, the p...
متن کاملCoalgebra and coinduction in discrete - event control with partial observations
CWI's research has a theme-oriented structure and is grouped into four clusters. Listed below are the names of the clusters and in parentheses their acronyms. ABSTRACT Coalgebra and coinduction provide new results and insights for the supervisory control of discrete-event systems (DES) with partial observations. The paper is based on the formalism developed for supervisory control of DES in the...
متن کاملCoalgebra and Supervisory Control with Partial Observations
Coalgebraic techniques are applied to the supervisory control of discrete-event systems with partial observations. Classical notions from concurrency theory are specialized to control theory. The concept of weak transitions enables the relational characterization of observability and gives rise to a coalgebraic formulation of the necessary and sufficient conditions for the existence of a superv...
متن کاملDecentralized Supervisory Control Using Dynamic Default Control
The conventional decentralized supervisory control architectures for discrete event systems assume that default control of controllable events is static. In this paper, we propose a new decentralized supervisory control architecture using dynamic default control of controllable events. We present necessary and sufficient conditions for the existence of a decentralized supervisor in the proposed...
متن کاملDecentralized supervisory control with communicating controllers
The decentralized control problem for discrete-event systems addressed in this paper is that of several communicating supervisory controllers, each with different information, working in concert to exactly achieve a given legal sublanguage of the uncontrolled system’s languagemodel. A novel information structure model is presented for dealing with this class of problems. Existence results are g...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: IFAC Proceedings Volumes
سال: 2003
ISSN: 1474-6670
DOI: 10.1016/s1474-6670(17)34667-0