On observability of discrete-event systems
From MaRDI portal
DOI10.1016/0020-0255(88)90001-1zbMATH Open0644.93008OpenAlexW2068354234MaRDI QIDQ1102899FDOQ1102899
Authors: Feng Lin, W. Murray Wonham 
Publication date: 1988
Published in: Information Sciences (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/0020-0255(88)90001-1
Recommendations
Formal languages and automata (68Q45) Observability (93B07) Model systems in control theory (93C99) Theory of operating systems (68N25)
Cites Work
- Title not available (Why is that?)
- Title not available (Why is that?)
- A calculus of communicating systems
- Title not available (Why is that?)
- Title not available (Why is that?)
- Decentralized supervisory control of discrete-event systems
- Modular Feedback Logic for Discrete Event Systems
- Supervisory control of discrete-event processes with partial observations
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
Cited In (only showing first 100 items - show all)
- Finding and fixing faults
- Decentralized supervisory control of discrete event systems with nonhomogeneous control structure
- Formulae relating controllability, observability, and co-observability
- Hierarchical control of discrete-event systems
- Implementation of supervisory control using extended finite-state machines
- Characterizations and effective computation of supremal relatively observable sublanguages
- Modeling and control of discrete event systems using finite state machines with variables and their applications in power grids
- Verification complexity of a class of observational properties for modular discrete events systems
- Control of discrete-event systems with partial observations using coalgebra and coinduction
- Polynomial-time verification for bisimilarity control of partially observed nondeterministic discrete event systems with deterministic specifications
- Supervisory Control with Partial Observations
- Automating the addition of fault tolerance with discrete controller synthesis
- Supervisory control of discrete event systems
- On supremal languages of classes of sublanguages that arise in supervisor synthesis problems with partial observation
- Observability of discrete event dynamic systems
- Trajectory detectability of discrete-event systems
- Detectability in stochastic discrete event systems
- Control and synthesis of non-interferent timed systems
- Intermittent fault diagnosability of discrete event systems: an overview of automaton-based approaches
- Fault-tolerant supervisory control with permanent faults
- Supervisory control of a class of Petri nets with unobservable and uncontrollable transitions
- A new class of supervisors for timed discrete event systems under partial observation
- Maximizing robustness of supervisors for partially observed discrete event systems.
- A uniform approach to mixed-signal circuit test
- Modelling, state observation and diagnosis of quantised systems
- PSPACE-completeness of modular supervisory control problems
- Fault diagnosis in discrete time hybrid systems -- a case study
- On controllability and normality of discrete event dynamical systems
- Supremal and maximal sublanguages arising in supervisor synthesis problems with partial observations
- Supervisory control using variable lookahead policies
- The relationship of controllability between classical and fuzzy discrete-event systems
- Formulas for calculating supremal controllable and normal sublanguages
- On-line control of partially observed discrete event systems
- Detectability of networked discrete event systems
- Solvability of centralized supervisory control under partial observation
- From classic observability to a simple fuzzy observability for fuzzy discrete-event systems
- Robust supervisory control of a class of timed discrete event systems under partial observation
- A polynomial dynamic system approach to software design for attractivity requirement
- Supervisory control of a class of concurrent discrete event systems under partial observation
- Supervisory control for continuous-time discrete-event systems and its observability
- A weighted pair graph representation for reconstructibility of Boolean control networks
- Non-interference control synthesis for security timed automata
- Decentralized control of networked discrete event systems with communication delays
- On the complexity of synthesizing a minimum-weighted supervisor under partial observation
- Supervisory control of discrete event systems with distinguishers
- Robust nonblocking supervisory control of discrete-event systems under partial observation
- A decidable class of problems for control under partial observation
- Centralized and distributed algorithms for on-line synthesis of maximal control policies under partial observation
- Supervisory control of \((\max,+)\) automata: a behavioral approach
- Symbolic supervisory control of infinite transition systems under partial observation using abstract interpretation
- Control of discrete-event systems with modular or distributed structure
- Supervisory control of discrete event systems with communication delays and partial observations
- State estimation and detectability of probabilistic discrete event systems
- Privacy preserving minimal observability for composite transactional services
- Distributed Control of Discrete-Event Systems: A First Step
- Theorem of abstraction for equivalent controllers in hybrid systems
- A unified approach to control problems in discrete event processes
- Verification of initial-state opacity in security applications of discrete event systems
- The infimal prefix-closed and observable superlanguage of a given language
- Approximating the minimal sensor selection for supervisory control
- Effective computation of an \(L_{m}(G)\)-closed, controllable, and observable sublanguage arising in supervisory control
- On optimal control of a class of partially observed discrete event systems
- Generalized detectability for discrete event systems
- Comparative analysis of related notions of opacity in centralized and coordinated architectures
- Diagnosability of discrete event systems and its applications
- Exploiting symmetry in the synthesis of supervisors for discrete event systems
- On the corrective control of sequential machines
- 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
- Opacity of discrete event systems and its applications
- Detectability of discrete event systems with dynamic event observation
- An algorithm for calculating indistinguishable states and clusters in finite-state automata with partially observable transitions
- Codiagnosability and coobservability under dynamic observations: transformation and verification
- Extremal solutions of inequations over lattices with applications to supervisory control
- Synthesis of covert command attackers at the supervisory layer of cyber-physical systems
- On decidability of existence of nonblocking supervisors resilient to smart sensor attacks
- Supervisory control of discrete-event systems under external attacks
- Verification of $k$-Step and Definite Critical Observability in Discrete-Event Systems
- Online prognosis of stochastic discrete event systems with guaranteed performance bound
- Using subobservers to synthesize opacity-enforcing supervisors
- Supervisory control of timed discrete event systems under partial observation based on activity models and eligible time bounds
- Opacity of networked discrete event systems
- Discrete events and general systems theory
- On the relation between reactive synthesis and supervisory control of non-terminating processes
- Optimal non-blocking decentralized supervisory control with unobservable controllable events
- Modeling and state estimation for supervisory control of networked timed discrete-event systems and their application in supervisor synthesis
- On coparanormality in distributed supervisory control of discrete-event systems
- A language measure for partially observed discrete event systems
- Supervisor localisation for large-scale discrete-event systems under partial observation
- Verification of C-detectability using Petri nets
- Overview of networked supervisory control with imperfect communication channels
- A framework for synthesis of communicating decentralised supervisors for discrete-event systems
- What information really matters in supervisor reduction?
- Relative coobservability for decentralised supervisory control of discrete-event systems
- A summary of some discrete-event system control problems
- State-based fault diagnosis of discrete-event systems with partially observable outputs
- Formulas for a class of controllable and observable sublanguages larger than the supremal controllable and normal sublanguage
- Supervisory control of state-tree structures with partial observation
- Supervisory control of switching control 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)
