Control of discrete-event systems with partial observations using coalgebra and coinduction
From MaRDI portal
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
- scientific article; zbMATH DE number 2186713 (Why is no real title available?)
- scientific article; zbMATH DE number 5595151 (Why is no real title available?)
- scientific article; zbMATH DE number 3664335 (Why is no real title available?)
- scientific article; zbMATH DE number 3687544 (Why is no real title available?)
- scientific article; zbMATH DE number 42735 (Why is no real title available?)
- scientific article; zbMATH DE number 3497806 (Why is no real title available?)
- scientific article; zbMATH DE number 1304993 (Why is no real title available?)
- scientific article; zbMATH DE number 1383199 (Why is no real title available?)
- scientific article; zbMATH DE number 1836352 (Why is no real title available?)
- A complete axiomatisation for observational congruence of finite-state behaviours
- A general architecture for decentralized supervisory control of discrete-event systems
- A lattice-theoretical fixpoint theorem and its applications
- A unified approach to control problems in discrete event processes
- Adjoint functors and triples
- Behavioural differential equations: a coinductive calculus of streams, automata, and power series
- Bisimulation, the supervisory control problem and strong model matching for finite state machines
- Decentralized control and coordination of discrete-event systems with partial observation
- Effective computation of an \(L_{m}(G)\)-closed, controllable, and observable sublanguage arising in supervisory control
- Formulas for calculating supremal controllable and normal sublanguages
- Maximal Solutions in Decentralized Supervisory Control
- 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
- Supervision of Infinite Behavior of Discrete-Event Systems
- Supervisory control of discrete event systems
- Supervisory control of discrete-event processes with partial observations
- Supremal and maximal sublanguages arising in supervisor synthesis problems with partial observations
- The infimal closed controllable superlanguage and its application in supervisory control
- The infimal prefix-closed and observable superlanguage of a given language
- The realization of input-output maps using bialgebras
- Think globally, act locally: decentralized supervisory control
- Towards an Abstract Internal Model Principle
- Universal coalgebra: A theory of systems
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
- scientific article; zbMATH DE number 1836352 (Why is no real title available?)
- 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
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)
