Pages that link to "Item:Q1102899"
From MaRDI portal
The following pages link to On observability of discrete-event systems (Q1102899):
Displaying 36 items.
- A Summary of Some Discrete-Event System Control Problems (Q3073615) (← links)
- (Q3103050) (← links)
- Generalised projections in finite state automata and decidability of state determinacy (Q3603720) (← links)
- Implementation of supervisory control using extended finite-state machines (Q3612766) (← links)
- Discrete events and general systems theory (Q4020636) (← links)
- A unified approach to control problems in discrete event processes (Q4304556) (← links)
- A uniform approach to mixed-signal circuit test (Q4367096) (← links)
- Exploiting symmetry in the synthesis of supervisors for discrete event systems (Q4540504) (← links)
- Robust and fault-tolerant supervisory control of discrete event systems with partial observation and model uncertainty (Q4546772) (← links)
- On the corrective control of sequential machines (Q4714640) (← links)
- Supremal and maximal sublanguages arising in supervisor synthesis problems with partial observations (Q4733422) (← links)
- Distributed Control of Discrete-Event Systems: A First Step (Q4909348) (← links)
- Supervisor localisation for large-scale discrete-event systems under partial observation (Q4960167) (← links)
- Relative coobservability for decentralised supervisory control of discrete-event systems (Q4967658) (← links)
- Robust supervisory control of discrete event systems against intermittent loss of observations (Q5018811) (← links)
- Optimal non‐blocking decentralized supervisory control with unobservable controllable events (Q5194895) (← links)
- A learning-based synthesis approach to decentralized supervisory control of discrete event systems with unknown plants (Q5257774) (← links)
- Control and synthesis of non-interferent timed systems (Q5265904) (← links)
- A framework for synthesis of communicating decentralised supervisors for discrete-event systems (Q5410841) (← links)
- A language measure for partially observed discrete event systems (Q5485928) (← links)
- Supervisory Control with Partial Observations (Q5496922) (← links)
- Logical models of discrete even systems: a comparative exposition (Q5955794) (← links)
- Verification of $k$-Step and Definite Critical Observability in Discrete-Event Systems (Q6080230) (← links)
- Supervisory control to maximize mean time to failure in discrete event systems (Q6080670) (← links)
- A survey on compositional algorithms for verification and synthesis in supervisory control (Q6080680) (← links)
- Supervisory control of discrete-event systems under external attacks (Q6081283) (← links)
- Polynomial-time verification for bisimilarity control of partially observed nondeterministic discrete event systems with deterministic specifications (Q6103006) (← links)
- Online prognosis of stochastic discrete event systems with guaranteed performance bound (Q6136112) (← links)
- Overview of networked supervisory control with imperfect communication channels (Q6160970) (← links)
- On decidability of existence of nonblocking supervisors resilient to smart sensor attacks (Q6175603) (← links)
- Information control in networked discrete event systems (Q6546048) (← links)
- Synthesis of covert command attackers at the supervisory layer of cyber-physical systems (Q6559339) (← links)
- Modeling and state estimation for supervisory control of networked timed discrete-event systems and their application in supervisor synthesis (Q6575258) (← links)
- On coparanormality in distributed supervisory control of discrete-event systems (Q6578475) (← links)
- Diagnosability and attack detection for discrete event systems under sensor attacks (Q6645152) (← links)
- Supervisory control under delayed observations of events and states (Q6652242) (← links)
