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)- Finding and fixing faults
- Decentralized supervisory control of discrete event systems with nonhomogeneous control structure
- Formulae relating controllability, observability, and co-observability
- 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
- 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
- Verification of $k$-Step and Definite Critical Observability in Discrete-Event Systems
- Opacity of networked discrete event systems
- Online prognosis of stochastic discrete event systems with guaranteed performance bound
- On the relation between reactive synthesis and supervisory control of non-terminating processes
- Discrete events and general systems theory
- Hierarchical control of discrete-event systems
- 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
- Implementation of supervisory control using extended finite-state machines
- 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
- Optimal non-blocking decentralized supervisory control with unobservable controllable events
- Automating the addition of fault tolerance with discrete controller synthesis
- Polynomial-time verification for bisimilarity control of partially observed nondeterministic discrete event systems with deterministic specifications
- 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
- On supremal languages of classes of sublanguages that arise in supervisor synthesis problems with partial observation
- Supervisory control of discrete event systems
- Supervisory Control with Partial Observations
- Detectability in stochastic discrete event systems
- Trajectory detectability of discrete-event systems
- A language measure for partially observed discrete event systems
- Observability of discrete event dynamic systems
- Intermittent fault diagnosability of discrete event systems: an overview of automaton-based approaches
- Verification of C-detectability using Petri nets
- Control and synthesis of non-interferent timed systems
- Supervisor localisation for large-scale discrete-event systems under partial observation
- What information really matters in supervisor reduction?
- Overview of networked supervisory control with imperfect communication channels
- Supervisory control of a class of Petri nets with unobservable and uncontrollable transitions
- A framework for synthesis of communicating decentralised supervisors for discrete-event systems
- Fault-tolerant supervisory control with permanent faults
- A summary of some discrete-event system control problems
- Relative coobservability for decentralised supervisory control of discrete-event systems
- A new class of supervisors for timed discrete event systems under partial observation
- Maximizing robustness of supervisors for partially observed discrete event systems.
- 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
- A uniform approach to mixed-signal circuit test
- On controllability and normality of discrete event dynamical systems
- State-based fault diagnosis of discrete-event systems with partially observable outputs
- Supervisory control using variable lookahead policies
- Formulas for a class of controllable and observable sublanguages larger than the supremal controllable and normal sublanguage
- The relationship of controllability between classical and fuzzy discrete-event systems
- Formulas for calculating supremal controllable and normal sublanguages
- Supremal and maximal sublanguages arising in supervisor synthesis problems with partial observations
- On-line control of partially observed discrete event systems
- Solvability of centralized supervisory control under partial observation
- Detectability of networked discrete event systems
- Supervisory control of state-tree structures with partial observation
- From classic observability to a simple fuzzy observability for fuzzy discrete-event systems
- Supervisory control of switching control systems
- A polynomial dynamic system approach to software design for attractivity requirement
- Robust supervisory control of a class of timed discrete event systems under partial observation
- Supervisory control of a class of concurrent discrete event systems under partial observation
- Supervisory control for continuous-time discrete-event systems and its observability
- On observability with delay: antitheses and syntheses
- Decentralized control of networked discrete event systems with communication delays
- On the complexity of synthesizing a minimum-weighted supervisor under partial observation
- A weighted pair graph representation for reconstructibility of Boolean control networks
- Online minimization of sensor activation for supervisory control
- Non-interference control synthesis for security timed automata
- Supervisory control of discrete event systems with distinguishers
- Robust nonblocking supervisory control of discrete-event systems under partial observation
- Multi-model approach to discrete events systems: application to operating mode management
- State observability and condition observability for a class of interacting discrete event systems
- A decidable class of problems for control under partial observation
- Self-organization of dynamic distributed computational systems applying principles of integrative activity of brain neuronal assemblies
- Centralized and distributed algorithms for on-line synthesis of maximal control policies under partial observation
- Supervisory control of \((\max,+)\) automata: a behavioral approach
- An improved approach for verifying delayed detectability of discrete-event systems
- Analysis of temporal performance of supervised discrete event systems
- Symbolic supervisory control of infinite transition systems under partial observation using abstract interpretation
- Observability and diagnosability of finite state systems: a unifying framework
- A survey on compositional algorithms for verification and synthesis in supervisory control
- Supervisory control to maximize mean time to failure in discrete event systems
- On computation of supremal controllable, normal sublanguages
- Deterministic supervisory control with flexible upper-bounds on observation delay and control delay
- On tolerable and desirable behaviors in supervisory control of discrete event systems
- On nonconflicting languages that arise in supervisory control of discrete event systems
- Abstraction-based verification and synthesis for prognosis of discrete event systems
- Supervisory control of discrete event systems with communication delays and partial observations
- Design of decentralized critical observers for networks of finite state machines: a formal method approach
- Supervisory control of marked graphs with partial observations
- Supervisor synthesis to thwart cyber attack with bounded sensor reading alterations
- Control of discrete-event systems with modular or distributed structure
- Privacy preserving minimal observability for composite transactional services
- State estimation and detectability of probabilistic discrete event systems
- 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
- scientific article; zbMATH DE number 5981054 (Why is no real title available?)
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)
