Pages that link to "Item:Q5202104"
From MaRDI portal
The following pages link to Decentralized control and coordination of discrete-event systems with partial observation (Q5202104):
Displaying 37 items.
- Decentralized supervisory control of fuzzy discrete event systems (Q522738) (← links)
- Building reduced Petri net models of discrete manufacturing systems (Q814230) (← links)
- Control of discrete-event systems with partial observations using coalgebra and coinduction (Q816696) (← links)
- Supervisory control of discrete event systems with distinguishers (Q889009) (← links)
- Synthesizing bounded-time 2-phase fault recovery (Q903518) (← links)
- Reliable decentralized supervisory control of fuzzy discrete event systems (Q983035) (← links)
- The hierarchical control of ST-finite-state machines (Q1127555) (← links)
- Control of large scale discrete event systems: task allocation and coordination (Q1190394) (← links)
- Decentralized supervisory control of discrete event systems with nonhomogeneous control structure (Q1208142) (← links)
- Decentralized state feedback control of discrete event systems (Q1323633) (← links)
- On-line control of partially observed discrete event systems (Q1332442) (← links)
- Decentralized observability of discrete event systems with synchronizations (Q1679893) (← links)
- Distributed inversion in timed discrete event systems (Q1901411) (← links)
- Symbolic synthesis of masking fault-tolerant distributed programs (Q1938357) (← links)
- Incremental model evolution and reusability of supervisors for discrete event systems (Q1962005) (← links)
- Epistemic interpretations of decentralized discrete-event system problems (Q2081081) (← links)
- Supervisory control of state-tree structures with partial observation (Q2200558) (← links)
- A branch and bound approach for the design of decentralized supervisors in Petri net models (Q2342792) (← links)
- Hierarchical modelling of manufacturing systems using discrete event systems and the conflict preorder (Q2348366) (← links)
- The complexity of automated addition of fault-tolerance without explicit legitimate states (Q2355327) (← links)
- Compositional synthesis of maximally permissive supervisors using supervision equivalence (Q2465421) (← links)
- Multi-model approach to discrete events systems: application to operating mode management (Q2489621) (← links)
- Theorem of abstraction for equivalent controllers in hybrid systems (Q2568275) (← links)
- Modular supervisory control and coordination of state tree structures (Q2871681) (← links)
- (Q3152829) (← links)
- Compositional Control Synthesis for Partially Observable Systems (Q3184691) (← links)
- Absolute controllability of predicates in discrete event systems (Q4841432) (← links)
- State-space supervisory control of reconfigurable discrete event systems (Q4876792) (← links)
- Supervisor localisation for large-scale discrete-event systems under partial observation (Q4960167) (← links)
- Decentralized Control of Discrete-Event Systems When Supervisors Observe Particular Event Occurrences (Q4974135) (← links)
- Decentralized Control of Discrete Event Systems Using Prioritized Composition With Exclusion (Q4974389) (← links)
- A learning-based synthesis approach to decentralized supervisory control of discrete event systems with unknown plants (Q5257774) (← links)
- On the synthesis of safe control policies in decentralized control of discrete-event systems (Q5266836) (← links)
- (Q5389839) (← links)
- From Asynchronous to Synchronous Specifications for Distributed Program Synthesis (Q5448644) (← links)
- Logical models of discrete even systems: a comparative exposition (Q5955794) (← links)
- Modeling and state estimation for supervisory control of networked timed discrete-event systems and their application in supervisor synthesis (Q6575258) (← links)