On observability of discrete-event systems
From MaRDI portal
Publication:1102899
DOI10.1016/0020-0255(88)90001-1zbMath0644.93008MaRDI 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
finite state automaton; discrete-event system; closed-loop feedback structure; supervisory controller
68Q45: Formal languages and automata
93B07: Observability
68N25: Theory of operating systems
93C99: Model systems in control theory
Related Items
A unified approach to control problems in discrete event processes, Robust and fault-tolerant supervisory control of discrete event systems with partial observation and model uncertainty, On the corrective control of sequential machines, Supremal and maximal sublanguages arising in supervisor synthesis problems with partial observations, A language measure for partially observed discrete event systems, Logical models of discrete even systems: a comparative exposition, Extremal solutions of inequations over lattices with applications to supervisory control, Formulas for calculating supremal controllable and normal sublanguages, Control of discrete-event systems with partial observations using coalgebra and coinduction, 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, Supervisory control of discrete event systems with communication delays and partial observations, Fault diagnosis in discrete time hybrid systems -- a case study, A polynomial dynamic system approach to software design for attractivity requirement, The relationship of controllability between classical and fuzzy discrete-event systems, 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, Automating the addition of fault tolerance with discrete controller synthesis, A decidable class of problems for control under partial observation, On supremal languages of classes of sublanguages that arise in supervisor synthesis problems with partial observation, Formulae relating controllability, observability, and co-observability, On tolerable and desirable behaviors in supervisory control of discrete event systems, On nonconflicting languages that arise in supervisory control of discrete event systems, 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, Aggregation and multi-level control in discrete event dynamic systems, Decentralized supervisory control of discrete event systems with nonhomogeneous control structure, Analysis of temporal performance of supervised discrete event systems, Diagnosability of discrete event systems and its applications, On-line control of partially observed discrete event systems, Supervisory control using variable lookahead policies, Maximizing robustness of supervisors for partially observed discrete event systems., Supervisory control of a class of concurrent discrete event systems under partial observation, PSPACE-completeness of modular supervisory 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, The infimal prefix-closed and observable superlanguage of a given language, On optimal control of a class of partially observed discrete event systems, Supervisory control of discrete event systems, Incremental model evolution and reusability of supervisors for discrete event systems, Robust supervisory control of a class of timed discrete event systems under partial observation, Robust nonblocking supervisory control of discrete-event systems under partial observation, Control of discrete-event systems with modular or distributed structure, Supervisory control of switching control 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, Effective computation of an \(L_{m}(G)\)-closed, controllable, and observable sublanguage arising in supervisory control, 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, State estimation and detectability of probabilistic discrete event systems, Centralized and distributed algorithms for on-line synthesis of maximal control policies under partial observation, Hierarchical control of discrete-event systems, Theorem of abstraction for equivalent controllers in hybrid systems, Generalised projections in finite state automata and decidability of state determinacy, Implementation of supervisory control using extended finite-state machines, Discrete events and general systems theory, Unnamed Item
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
