On observability of discrete-event systems
From MaRDI portal
Publication:1102899
DOI10.1016/0020-0255(88)90001-1zbMath0644.93008OpenAlexW2068354234MaRDI QIDQ1102899
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
Formal languages and automata (68Q45) Observability (93B07) Theory of operating systems (68N25) Model systems in control theory (93C99)
Related Items (only showing first 100 items - show all)
Diagnosability of discrete event systems and its applications ⋮ On-line control of partially observed discrete event systems ⋮ Supervisory control using variable lookahead policies ⋮ What information really matters in supervisor reduction? ⋮ Supervisory control of \((\max,+)\) automata: a behavioral approach ⋮ Approximating the minimal sensor selection for supervisory control ⋮ Solvability of centralized supervisory control under partial observation ⋮ A new class of supervisors for timed discrete event systems under partial observation ⋮ On supremal languages of classes of sublanguages that arise in supervisor synthesis problems with partial observation ⋮ Supervisory control of discrete event systems with communication delays and partial observations ⋮ Fault diagnosis in discrete time hybrid systems -- a case study ⋮ Deterministic supervisory control with flexible upper-bounds on observation delay and control delay ⋮ Self-organization of dynamic distributed computational systems applying principles of integrative activity of brain neuronal assemblies ⋮ Comparative analysis of related notions of opacity in centralized and coordinated architectures ⋮ An improved approach for verifying delayed detectability of discrete-event systems ⋮ Supervisory control of discrete event systems ⋮ Observability and diagnosability of finite state systems: a unifying framework ⋮ Supervisor localization of discrete-event systems under partial observation ⋮ Online minimization of sensor activation for supervisory control ⋮ On the relation between reactive synthesis and supervisory control of non-terminating processes ⋮ A polynomial dynamic system approach to software design for attractivity requirement ⋮ Formulae relating controllability, observability, and co-observability ⋮ Design of decentralized critical observers for networks of finite state machines: a formal method approach ⋮ Verification of detectability in probabilistic finite automata ⋮ Verification complexity of a class of observational properties for modular discrete events systems ⋮ \(N\)-diagnosability for active on-line diagnosis in discrete event systems ⋮ Supervisory control of discrete event systems with distinguishers ⋮ Detectability in stochastic discrete event systems ⋮ Finding and fixing faults ⋮ Codiagnosability and coobservability under dynamic observations: transformation and verification ⋮ Supervisory control of state-tree structures with partial observation ⋮ Robust nonblocking supervisory control of discrete-event systems under partial observation ⋮ Symbolic supervisory control of infinite transition systems under partial observation using abstract interpretation ⋮ Observation and distinction: representing information in infinite games ⋮ Modeling and control of discrete event systems using finite state machines with variables and their applications in power grids ⋮ From classic observability to a simple fuzzy observability for fuzzy discrete-event systems ⋮ On the complexity of synthesizing a minimum-weighted supervisor under partial observation ⋮ Incremental model evolution and reusability of supervisors for discrete event systems ⋮ Maximizing robustness of supervisors for partially observed discrete event systems. ⋮ Decentralized control of networked discrete event systems with communication delays ⋮ Supervisory control of a class of Petri nets with unobservable and uncontrollable transitions ⋮ Trajectory detectability of discrete-event systems ⋮ Privacy preserving minimal observability for composite transactional services ⋮ On tolerable and desirable behaviors in supervisory control of discrete event systems ⋮ Robust supervisory control of a class of timed discrete event systems under partial observation ⋮ On nonconflicting languages that arise in supervisory control of discrete event systems ⋮ Verification of initial-state opacity in security applications of discrete event systems ⋮ Extremal solutions of inequations over lattices with applications to supervisory control ⋮ Control of discrete-event systems with modular or distributed structure ⋮ On controllability and normality of discrete event dynamical systems ⋮ Control of large scale discrete event systems: task allocation and coordination ⋮ An algebraic approach to supervisory control ⋮ A framework for state attraction of discrete event systems under partial observation ⋮ Aggregation and multi-level control in discrete event dynamic systems ⋮ The relationship of controllability between classical and fuzzy discrete-event systems ⋮ Supervisory control of switching control systems ⋮ Detectability of discrete event systems with dynamic event observation ⋮ Decentralized supervisory control of discrete event systems with nonhomogeneous control structure ⋮ Generalized detectability for discrete event systems ⋮ State observability and condition observability for a class of interacting discrete event systems ⋮ Multi-model approach to discrete events systems: application to operating mode management ⋮ Supervisory control of a class of concurrent discrete event systems under partial observation ⋮ PSPACE-completeness of modular supervisory control problems ⋮ Opacity of discrete event systems and its applications ⋮ Verification of C-detectability using Petri nets ⋮ State-based fault diagnosis of discrete-event systems with partially observable outputs ⋮ Effective computation of an \(L_{m}(G)\)-closed, controllable, and observable sublanguage arising in supervisory control ⋮ Generalised projections in finite state automata and decidability of state determinacy ⋮ On computation of supremal controllable, normal sublanguages ⋮ Supervisory control of timed discrete event systems under partial observation based on activity models and eligible time bounds ⋮ Characterizations and effective computation of supremal relatively observable sublanguages ⋮ Detectability of networked discrete event systems ⋮ An algorithm for calculating indistinguishable states and clusters in finite-state automata with partially observable transitions ⋮ Supervisory control of (max,+) automata: extensions towards applications ⋮ Supervisor synthesis to thwart cyber attack with bounded sensor reading alterations ⋮ A Summary of Some Discrete-Event System Control Problems ⋮ Recursive computation of limited lookahead supervisory controls for discrete event systems ⋮ Formulas for a class of controllable and observable sublanguages larger than the supremal controllable and normal sublanguage ⋮ State estimation and detectability of probabilistic discrete event systems ⋮ Opacity of networked discrete event systems ⋮ Formulas for calculating supremal controllable and normal sublanguages ⋮ The infimal prefix-closed and observable superlanguage of a given language ⋮ Abstraction-Based Verification and Synthesis for Prognosis of Discrete Event Systems ⋮ Intermittent fault diagnosability of discrete event systems: an overview of automaton-based approaches ⋮ 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 Weighted Pair Graph Representation for Reconstructibility of Boolean Control Networks ⋮ Automating the addition of fault tolerance with discrete controller synthesis ⋮ 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 ⋮ Hierarchical control of discrete-event systems ⋮ Epistemic interpretations of decentralized discrete-event system problems ⋮ Theorem of abstraction for equivalent controllers in hybrid systems ⋮ Non-Interference Control Synthesis for Security Timed Automata ⋮ On optimal control of a class of partially observed discrete event systems ⋮ Using subobservers to synthesize opacity-enforcing supervisors ⋮ A hierarchical and modular control architecture for sequential behaviours ⋮ Robustness of synchronous communication protocols with delay for decentralized discrete-event control ⋮ Analysis of temporal performance of supervised discrete event systems ⋮ Control of discrete-event systems with partial observations using coalgebra and coinduction
Cites Work
- A calculus of communicating systems
- Decentralized supervisory control of discrete-event systems
- Supervisory control of discrete-event processes with partial observations
- Modular Feedback Logic for Discrete Event Systems
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
This page was built for publication: On observability of discrete-event systems
