Control of discrete-event systems with partial observations using coalgebra and coinduction
From MaRDI portal
Publication:816696
DOI10.1007/s10626-005-2868-6zbMath1101.93050OpenAlexW2095624968MaRDI QIDQ816696
Jan Komenda, Jan H. van Schuppen
Publication date: 23 February 2006
Published in: Discrete Event Dynamic Systems (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s10626-005-2868-6
Related Items
Supervisory control of state-tree structures with partial observation, Supervisory control of modular systems with global specification languages, Control of discrete-event systems with modular or distributed structure, Bisimilarity control of partially observed nondeterministic discrete event systems and a test algorithm, Existence and Verification for Decentralized Nondeterministic Discrete-Event Systems Under Bisimulation Equivalence, Supervisory Control with Partial Observations
Uses Software
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Formulas for calculating supremal controllable and normal sublanguages
- On observability of discrete-event systems
- On supremal languages of classes of sublanguages that arise in supervisor synthesis problems with partial observation
- On the control of discrete-event dynamical systems
- A complete axiomatisation for observational congruence of finite-state behaviours
- Bisimulation, the supervisory control problem and strong model matching for finite state machines
- Universal coalgebra: A theory of systems
- A general architecture for decentralized supervisory control of discrete-event systems
- The infimal prefix-closed and observable superlanguage of a given language
- Behavioural differential equations: a coinductive calculus of streams, automata, and power series
- Supervisory control of discrete event systems
- Effective computation of an \(L_{m}(G)\)-closed, controllable, and observable sublanguage arising in supervisory control
- Adjoint functors and triples
- A lattice-theoretical fixpoint theorem and its applications
- The infimal closed controllable superlanguage and its application in supervisory control
- Supervisory control of discrete-event processes with partial observations
- The realization of input-output maps using bialgebras
- Think globally, act locally: decentralized supervisory control
- Towards an Abstract Internal Model Principle
- Supervision of Infinite Behavior of Discrete-Event Systems
- A unified approach to control problems in discrete event processes
- Maximal Solutions in Decentralized Supervisory Control
- Supremal and maximal sublanguages arising in supervisor synthesis problems with partial observations
- Decentralized control and coordination of discrete-event systems with partial observation
