Pages that link to "Item:Q1102899"
From MaRDI portal
The following pages link to On observability of discrete-event systems (Q1102899):
Displaying 50 items.
- Comparative analysis of related notions of opacity in centralized and coordinated architectures (Q373013) (← links)
- Finding and fixing faults (Q414907) (← links)
- Symbolic supervisory control of infinite transition systems under partial observation using abstract interpretation (Q434470) (← links)
- Modeling and control of discrete event systems using finite state machines with variables and their applications in power grids (Q450726) (← links)
- From classic observability to a simple fuzzy observability for fuzzy discrete-event systems (Q454904) (← links)
- On the complexity of synthesizing a minimum-weighted supervisor under partial observation (Q458885) (← links)
- Decentralized control of networked discrete event systems with communication delays (Q466288) (← links)
- Privacy preserving minimal observability for composite transactional services (Q481362) (← links)
- Verification of initial-state opacity in security applications of discrete event systems (Q497279) (← links)
- A framework for state attraction of discrete event systems under partial observation (Q507660) (← links)
- Generalized detectability for discrete event systems (Q539906) (← links)
- Extremal solutions of inequations over lattices with applications to supervisory control (Q672379) (← links)
- Opacity of discrete event systems and its applications (Q716123) (← links)
- Formulas for calculating supremal controllable and normal sublanguages (Q752649) (← links)
- Control of discrete-event systems with partial observations using coalgebra and coinduction (Q816696) (← links)
- Supervisory control of \((\max,+)\) automata: a behavioral approach (Q843993) (← links)
- Approximating the minimal sensor selection for supervisory control (Q853685) (← links)
- Solvability of centralized supervisory control under partial observation (Q858155) (← links)
- A new class of supervisors for timed discrete event systems under partial observation (Q859740) (← links)
- Supervisory control of discrete event systems with communication delays and partial observations (Q864581) (← links)
- Fault diagnosis in discrete time hybrid systems -- a case study (Q865902) (← links)
- A polynomial dynamic system approach to software design for attractivity requirement (Q881898) (← links)
- Supervisory control of discrete event systems with distinguishers (Q889009) (← links)
- Detectability in stochastic discrete event systems (Q897674) (← links)
- Codiagnosability and coobservability under dynamic observations: transformation and verification (Q900685) (← links)
- The relationship of controllability between classical and fuzzy discrete-event systems (Q955723) (← links)
- Detectability of discrete event systems with dynamic event observation (Q962185) (← links)
- An algorithm for calculating indistinguishable states and clusters in finite-state automata with partially observable transitions (Q998679) (← links)
- Automating the addition of fault tolerance with discrete controller synthesis (Q1041296) (← links)
- A decidable class of problems for control under partial observation (Q1041809) (← links)
- On supremal languages of classes of sublanguages that arise in supervisor synthesis problems with partial observation (Q1108988) (← links)
- Formulae relating controllability, observability, and co-observability (Q1129683) (← links)
- On tolerable and desirable behaviors in supervisory control of discrete event systems (Q1180362) (← links)
- On nonconflicting languages that arise in supervisory control of discrete event systems (Q1186853) (← links)
- On controllability and normality of discrete event dynamical systems (Q1190393) (← links)
- Control of large scale discrete event systems: task allocation and coordination (Q1190394) (← links)
- An algebraic approach to supervisory control (Q1190821) (← links)
- Aggregation and multi-level control in discrete event dynamic systems (Q1194980) (← links)
- Decentralized supervisory control of discrete event systems with nonhomogeneous control structure (Q1208142) (← links)
- Analysis of temporal performance of supervised discrete event systems (Q1322822) (← links)
- Diagnosability of discrete event systems and its applications (Q1329141) (← links)
- On-line control of partially observed discrete event systems (Q1332442) (← links)
- Supervisory control using variable lookahead policies (Q1332444) (← links)
- Maximizing robustness of supervisors for partially observed discrete event systems. (Q1428152) (← links)
- What information really matters in supervisor reduction? (Q1626914) (← links)
- Self-organization of dynamic distributed computational systems applying principles of integrative activity of brain neuronal assemblies (Q1662451) (← links)
- Design of decentralized critical observers for networks of finite state machines: a formal method approach (Q1678627) (← links)
- Verification of detectability in probabilistic finite automata (Q1678629) (← links)
- Verification complexity of a class of observational properties for modular discrete events systems (Q1679097) (← links)
- \(N\)-diagnosability for active on-line diagnosis in discrete event systems (Q1679101) (← links)
