Recommendations
Cites work
- scientific article; zbMATH DE number 3887558 (Why is no real title available?)
- scientific article; zbMATH DE number 3812909 (Why is no real title available?)
- scientific article; zbMATH DE number 3904008 (Why is no real title available?)
- scientific article; zbMATH DE number 3950428 (Why is no real title available?)
- scientific article; zbMATH DE number 3959244 (Why is no real title available?)
- scientific article; zbMATH DE number 4039251 (Why is no real title available?)
- scientific article; zbMATH DE number 4056962 (Why is no real title available?)
- scientific article; zbMATH DE number 3313249 (Why is no real title available?)
- A calculus of communicating systems
- Decentralized supervisory control of discrete-event systems
- Modular Feedback Logic for Discrete Event Systems
- Supervisory control of discrete-event processes with partial observations
Cited in
(only showing first 100 items - show all)- Characterizations and effective computation of supremal relatively observable sublanguages
- Detectability of discrete event systems with dynamic event observation
- Supervisory Control with Partial Observations
- A unified approach to control problems in discrete event processes
- Fault-tolerant supervisory control with permanent faults
- Trajectory detectability of discrete-event systems
- Generalized detectability for discrete event systems
- Verification of initial-state opacity in security applications of discrete event systems
- On optimal control of a class of partially observed discrete event systems
- Solvability of centralized supervisory control under partial observation
- Detectability in stochastic discrete event systems
- Supervisory control of discrete event systems with distinguishers
- Robust supervisory control of a class of timed discrete event systems under partial observation
- A decidable class of problems for control under partial observation
- Automating the addition of fault tolerance with discrete controller synthesis
- Centralized and distributed algorithms for on-line synthesis of maximal control policies under partial observation
- Supervisory control of a class of Petri nets with unobservable and uncontrollable transitions
- An algorithm for calculating indistinguishable states and clusters in finite-state automata with partially observable transitions
- The infimal prefix-closed and observable superlanguage of a given language
- Fault diagnosis in discrete time hybrid systems -- a case study
- Robust nonblocking supervisory control of discrete-event systems under partial observation
- Modeling and control of discrete event systems using finite state machines with variables and their applications in power grids
- Finding and fixing faults
- Verification complexity of a class of observational properties for modular discrete events systems
- A polynomial dynamic system approach to software design for attractivity requirement
- Approximating the minimal sensor selection for supervisory control
- Extremal solutions of inequations over lattices with applications to supervisory control
- Formulas for calculating supremal controllable and normal sublanguages
- Diagnosability of discrete event systems and its applications
- A weighted pair graph representation for reconstructibility of Boolean control networks
- Supervisory control of a class of concurrent discrete event systems under partial observation
- Comparative analysis of related notions of opacity in centralized and coordinated architectures
- Supervisory control of \((\max,+)\) automata: a behavioral approach
- On controllability and normality of discrete event dynamical systems
- Supervisory control for continuous-time discrete-event systems and its observability
- Symbolic supervisory control of infinite transition systems under partial observation using abstract interpretation
- A new class of supervisors for timed discrete event systems under partial observation
- Polynomial-time verification for bisimilarity control of partially observed nondeterministic discrete event systems with deterministic specifications
- Control and synthesis of non-interferent timed systems
- Decentralized supervisory control of discrete event systems with nonhomogeneous control structure
- Codiagnosability and coobservability under dynamic observations: transformation and verification
- Maximizing robustness of supervisors for partially observed discrete event systems.
- Formulae relating controllability, observability, and co-observability
- State estimation and detectability of probabilistic discrete event systems
- Supervisory control of discrete event systems
- Non-interference control synthesis for security timed automata
- A uniform approach to mixed-signal circuit test
- Hierarchical control of discrete-event systems
- On supremal languages of classes of sublanguages that arise in supervisor synthesis problems with partial observation
- Implementation of supervisory control using extended finite-state machines
- Exploiting symmetry in the synthesis of supervisors for discrete event systems
- Control of discrete-event systems with partial observations using coalgebra and coinduction
- Supervisory control using variable lookahead policies
- On the corrective control of sequential machines
- Supremal and maximal sublanguages arising in supervisor synthesis problems with partial observations
- Control of discrete-event systems with modular or distributed structure
- Theorem of abstraction for equivalent controllers in hybrid systems
- Privacy preserving minimal observability for composite transactional services
- Supervisory control of discrete event systems with communication delays and partial observations
- On-line control of partially observed discrete event systems
- Intermittent fault diagnosability of discrete event systems: an overview of automaton-based approaches
- Verification of detectability in probabilistic finite automata
- A framework for state attraction of discrete event systems under partial observation
- Invertibility of discrete-event dynamic systems
- Decentralized control of networked discrete event systems with communication delays
- Modelling, state observation and diagnosis of quantised systems
- From classic observability to a simple fuzzy observability for fuzzy discrete-event systems
- Distributed Control of Discrete-Event Systems: A First Step
- PSPACE-completeness of modular supervisory control problems
- Opacity of discrete event systems and its applications
- Observability of discrete event dynamic systems
- Detectability of networked discrete event systems
- On the complexity of synthesizing a minimum-weighted supervisor under partial observation
- Effective computation of an \(L_{m}(G)\)-closed, controllable, and observable sublanguage arising in supervisory control
- The relationship of controllability between classical and fuzzy discrete-event systems
- Logical models of discrete even systems: a comparative exposition
- scientific article; zbMATH DE number 5981054 (Why is no real title available?)
- Robust supervisory control of discrete event systems against intermittent loss of observations
- Nonblocking and deterministic decentralized control for networked discrete event systems under communication delays
- Synthesis of maximally permissive supervisors for similarity control of partially observed nondeterministic discrete event systems
- A framework for synthesis of communicating decentralised supervisors for discrete-event systems
- Recursive computation of limited lookahead supervisory controls for discrete event systems
- Self-organization of dynamic distributed computational systems applying principles of integrative activity of brain neuronal assemblies
- Observability and diagnosability of finite state systems: a unifying framework
- A learning-based synthesis approach to decentralized supervisory control of discrete event systems with unknown plants
- Opacity of networked discrete event systems
- Supervisory control under delayed observations of events and states
- Synthesis of covert command attackers at the supervisory layer of cyber-physical systems
- Supervisory control of marked graphs with partial observations
- Analysis of temporal performance of supervised discrete event systems
- An improved approach for verifying delayed detectability of discrete-event systems
- Abstraction-based verification and synthesis for prognosis of discrete event systems
- What information really matters in supervisor reduction?
- On decidability of existence of nonblocking supervisors resilient to smart sensor attacks
- Robust and fault-tolerant supervisory control of discrete event systems with partial observation and model uncertainty
- Information control in networked discrete event systems
- Discrete events and general systems theory
- Control of large scale discrete event systems: task allocation and coordination
- An algebraic approach to supervisory control
- Aggregation and multi-level control in discrete event dynamic systems
This page was built for publication: On observability of discrete-event systems
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1102899)
