Supervisory control of discrete-event processes with partial observations

DOI10.1109/9.402zbMath0639.93041OpenAlexW1988926301MaRDI QIDQ3780844

Randy Cieslak, C. Desclaux, Ayman S. Fawaz, Pravin P. Varaiya

Publication date: 1988

Published in: IEEE Transactions on Automatic Control (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1109/9.402

zbMATH Keywords

decentralized controlfinite state machine modelsupervisor synthesis problemdiscrete event processOn-off switchingpartial informations

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Synthesis problems (93B50) Large-scale systems (93A15) Theory of operating systems (68N25) Model systems in control theory (93C99)

Related Items

Diagnosability of discrete event systems and its applications ⋮ On-line control of partially observed discrete event systems ⋮ Supervisory control of concurrent discrete-event systems ⋮ Asymptotic behaviour of output feedback for a class of non-deterministic discrete event systems ⋮ A uniform approach to mixed-signal circuit test ⋮ Supervisory control of discrete event systems with state-dependent controllability ⋮ On observability of discrete-event systems ⋮ Distributed inversion in timed discrete event systems ⋮ Undecidable problems of decentralized observation and control on regular languages ⋮ 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 ⋮ Modular supervisory control of discrete-event systems ⋮ On the control of discrete-event dynamical systems ⋮ Stabilization of discrete-event processes ⋮ 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 ⋮ Discrete events and general systems theory ⋮ Formulae relating controllability, observability, and co-observability ⋮ An efficient modular method for the control of concurrent discrete event systems: A language-based approach ⋮ Supervisory control of discrete event systems with distinguishers ⋮ Supervisory control to maximize mean time to failure in discrete event systems ⋮ Do what you know: coupling knowledge with action in discrete-event systems ⋮ A survey on compositional algorithms for verification and synthesis in supervisory control ⋮ Supervisory control of discrete-event systems under external attacks ⋮ Verification and enforcement of current-state opacity based on a state space approach ⋮ Polynomial-time verification for bisimilarity control of partially observed nondeterministic discrete event systems with deterministic specifications ⋮ 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 ⋮ Incremental model evolution and reusability of supervisors for discrete event systems ⋮ Maximizing robustness of supervisors for partially observed discrete event systems. ⋮ Supervisory control of a class of Petri nets with unobservable and uncontrollable transitions ⋮ Privacy preserving minimal observability for composite transactional services ⋮ Robust supervisory control of a class of timed discrete event systems under partial observation ⋮ Extremal solutions of inequations over lattices with applications to supervisory control ⋮ On controllability and normality of discrete event dynamical systems ⋮ An algebraic approach to supervisory control ⋮ Aggregation and multi-level control in discrete event dynamic systems ⋮ Invertibility of discrete-event dynamic systems ⋮ Supervisory control of switching control systems ⋮ Decentralized supervisory control of fuzzy discrete event systems ⋮ Detectability of discrete event systems with dynamic event observation ⋮ Dynamic control with indistinguishable events ⋮ Decentralized supervisory control of discrete event systems with nonhomogeneous control structure ⋮ Generalized detectability for discrete event systems ⋮ 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 ⋮ A modified normality condition for decentralized supervisory control of discrete event systems ⋮ Effective computation of an \(L_{m}(G)\)-closed, controllable, and observable sublanguage arising in supervisory control ⋮ Optimal non‐blocking decentralized supervisory control with unobservable controllable events ⋮ On computation of supremal controllable, normal sublanguages ⋮ Logical models of discrete even systems: a comparative exposition ⋮ Characterizations and effective computation of supremal relatively observable sublanguages ⋮ Structural decentralised control of concurrent discrete-event systems ⋮ A Summary of Some Discrete-Event System Control Problems ⋮ 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 ⋮ Relative coobservability for decentralised supervisory control of discrete-event systems ⋮ The complexity of some reachability problems for a system on a finite group ⋮ On the corrective control of sequential machines ⋮ 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 ⋮ Synthesis of maximally permissive supervisors for similarity control of partially observed nondeterministic discrete event systems ⋮ Unnamed Item ⋮ Supremal and maximal sublanguages arising in supervisor synthesis problems with partial observations ⋮ Automating the addition of fault tolerance with discrete controller synthesis ⋮ Supervisory Control with Partial Observations ⋮ Centralized and distributed algorithms for on-line synthesis of maximal control policies under partial observation ⋮ Hierarchical control of discrete-event systems ⋮ Hierarchical control of timed discrete-event systems ⋮ Epistemic interpretations of decentralized discrete-event system problems ⋮ A learning-based synthesis approach to decentralized supervisory control of discrete event systems with unknown plants ⋮ Unnamed Item ⋮ Robust supervisory control of discrete event systems against intermittent loss of observations ⋮ Robustness of synchronous communication protocols with delay for decentralized discrete-event control ⋮ Employing behavioral preorders to define controllability for nondeterministic discrete-event systems ⋮ Decentralized state feedback control of discrete event systems ⋮ Control of discrete-event systems with partial observations using coalgebra and coinduction

This page was built for publication: Supervisory control of discrete-event processes with partial observations