Supervisory control of discrete-event processes with partial observations
From MaRDI portal
Recommendations
Cited in
(only showing first 100 items - show all)- Automating the addition of fault tolerance with discrete controller synthesis
- On observability of discrete-event systems
- On supremal languages of classes of sublanguages that arise in supervisor synthesis problems with partial observation
- Modular supervisory control of discrete-event systems
- On the control of discrete-event dynamical systems
- Formulae relating controllability, observability, and co-observability
- 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
- Decentralized supervisory control of discrete event systems with nonhomogeneous control structure
- The complexity of some reachability problems for a system on a finite group
- Decentralized state feedback control of discrete event systems
- Diagnosability of discrete event systems and its applications
- On-line control of partially observed discrete event systems
- 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
- Characterizations and effective computation of supremal relatively observable sublanguages
- 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
- Distributed inversion in timed 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
- Synthesis of maximally permissive supervisors for similarity control of partially observed nondeterministic discrete event systems
- Epistemic interpretations of decentralized discrete-event system problems
- On the relation between reactive synthesis and supervisory control of non-terminating processes
- Supervisory control of state-tree structures with partial observation
- Supervisory control of a class of Petri nets with unobservable and uncontrollable transitions
- Dynamic control with indistinguishable events
- Robustness of synchronous communication protocols with delay for decentralized discrete-event control
- Employing behavioral preorders to define controllability for nondeterministic discrete-event systems
- Undecidable problems of decentralized observation and control on regular languages
- 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
- Robust nonblocking supervisory control of discrete-event systems under partial observation
- Supervisory control of switching control systems
- 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
- Structural decentralised control of concurrent discrete-event systems
- 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
- Hierarchical control of timed discrete-event systems
- Abstraction-based verification and synthesis for prognosis of discrete event systems
- A summary of some discrete-event system control problems
- Supervisory control of discrete event systems with state-dependent controllability
- Heuristic supervision of discrete event systems
- Stabilization of discrete-event processes
- Generalised projections in finite state automata and decidability of state determinacy
- Supervisory Control of a Class of Discrete Event Processes
- Supervisor specification and synthesis for discrete event systems
- scientific article; zbMATH DE number 4102885 (Why is no real title available?)
- Supervisory control of concurrent discrete-event systems
- Asymptotic behaviour of output feedback for a class of non-deterministic discrete event systems
- Discrete events and general systems theory
- scientific article; zbMATH DE number 409558 (Why is no real title available?)
- A uniform approach to mixed-signal circuit test
- Online supervisor synthesis for partially observed discrete-event systems
- Optimal supervisory control under partial observation
- On the corrective control of sequential machines
- Supremal and maximal sublanguages arising in supervisor synthesis problems with partial observations
- Model Uncertainty in Discrete Event Systems
- Privacy preserving minimal observability for composite transactional services
- Transformation of structural patterns in discrete events? An application of structural methods in discrete event systems.
- Relative coobservability for decentralised supervisory control of discrete-event systems
- Robust supervisory control of discrete event systems against intermittent loss of observations
- Optimal non-blocking decentralized supervisory control with unobservable controllable events
- Decentralized supervisory control of fuzzy discrete event systems
- A learning-based synthesis approach to decentralized supervisory control of discrete event systems with unknown plants
- Supervisory Control of Partially Observable Marked Graphs
- scientific article; zbMATH DE number 6027053 (Why is no real title available?)
- Generalized detectability for discrete event systems
- Supervisory Control with Complete Observations
- Supervisory Control with Partial Observations
- A modified normality condition for decentralized supervisory control of discrete event systems
- Logical models of discrete even systems: a comparative exposition
- 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
- A uniform approach to compare architectures in decentralized discrete-event systems
- On coparanormality in distributed supervisory control of discrete-event systems
- Diagnosability of labeled \(\mathfrak{D}_{\mathfrak{p}}\)-automata
- Supervisory control under delayed observations of events and states
- Extremal solutions of inequations over lattices with applications to supervisory control
- Detectability of discrete event systems under sensor attacks
- Offline supervisory control synthesis: taxonomy and recent developments
- Opacity of discrete event systems and its applications
- Observations of both events and states for supervisory control
- Formulas for calculating supremal controllable and normal sublanguages
- Control of discrete-event systems with partial observations using coalgebra and coinduction
- 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
This page was built for publication: Supervisory control of discrete-event processes with partial observations
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3780844)
