Control of discrete-event systems with partial observations using coalgebra and coinduction
From MaRDI portal
Publication:816696
DOI10.1007/S10626-005-2868-6zbMATH Open1101.93050OpenAlexW2095624968MaRDI QIDQ816696FDOQ816696
Authors: 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
Recommendations
- Coinduction in control of partially observed discrete-event systems
- Modular Control of Discrete-Event Systems With Coalgebra
- A coalgebraic approach to supervisory control of partially observed Mealy automata
- Effective control synthesis for partially observed discrete-event systems
- Decentralized control and coordination of discrete-event systems with partial observation
- scientific article; zbMATH DE number 1820084
- On optimal control of a class of partially observed discrete event systems
- Static-state feedback control of discrete-event systems under partial observation
- On decentralized and distributed control of partially-observed discrete event systems
- Coordination control of discrete-event systems revisited
Cites Work
- Title not available (Why is that?)
- Universal coalgebra: A theory of systems
- Adjoint functors and triples
- A lattice-theoretical fixpoint theorem and its applications
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Behavioural differential equations: a coinductive calculus of streams, automata, and power series
- Title not available (Why is that?)
- On the control of discrete-event dynamical systems
- Bisimulation, the supervisory control problem and strong model matching for finite state machines
- A general architecture for decentralized supervisory control of discrete-event systems
- Think globally, act locally: decentralized supervisory control
- On observability of discrete-event systems
- A complete axiomatisation for observational congruence of finite-state behaviours
- The realization of input-output maps using bialgebras
- Effective computation of an \(L_{m}(G)\)-closed, controllable, and observable sublanguage arising in supervisory control
- Title not available (Why is that?)
- Formulas for calculating supremal controllable and normal sublanguages
- Supervisory control of discrete-event processes with partial observations
- The infimal closed controllable superlanguage and its application in supervisory control
- Decentralized control and coordination of discrete-event systems with partial observation
- On supremal languages of classes of sublanguages that arise in supervisor synthesis problems with partial observation
- The infimal prefix-closed and observable superlanguage of a given language
- A unified approach to control problems in discrete event processes
- Towards an Abstract Internal Model Principle
- Supremal and maximal sublanguages arising in supervisor synthesis problems with partial observations
- Supervisory control of discrete event systems
- Title not available (Why is that?)
- Supervision of Infinite Behavior of Discrete-Event Systems
- Maximal Solutions in Decentralized Supervisory Control
Cited In (9)
- A coalgebraic approach to supervisory control of partially observed Mealy automata
- Supervisory Control with Partial Observations
- Existence and verification for decentralized nondeterministic discrete-event systems under bisimulation equivalence
- Title not available (Why is that?)
- Supervisory control of state-tree structures with partial observation
- Coinduction in control of partially observed discrete-event systems
- Bisimilarity control of partially observed nondeterministic discrete event systems and a test algorithm
- Control of discrete-event systems with modular or distributed structure
- Supervisory control of modular systems with global specification languages
Uses Software
This page was built for publication: Control of discrete-event systems with partial observations using coalgebra and coinduction
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q816696)
