Offline supervisory control synthesis: taxonomy and recent developments
From MaRDI portal
Cites work
- scientific article; zbMATH DE number 3782805 (Why is no real title available?)
- scientific article; zbMATH DE number 177513 (Why is no real title available?)
- scientific article; zbMATH DE number 7215288 (Why is no real title available?)
- scientific article; zbMATH DE number 6936842 (Why is no real title available?)
- A Compact and Uniform Approach for Synthesizing State-Based Property-Enforcing Supervisors for Discrete-Event Systems
- A Framework for Compositional Synthesis of Modular Nonblocking Supervisors
- A Learning-Based Synthesis Approach to the Supremal Nonblocking Supervisor of Discrete-Event Systems
- A Uniform Approach for Synthesizing Property-Enforcing Supervisors for Partially-Observed Discrete-Event Systems
- A calculus of communicating systems
- A controller synthesis framework for automated service composition
- A framework for compositional nonblocking verification of extended finite-state machines
- A general architecture for decentralized supervisory control of discrete-event systems
- A hierarchical consistency framework for real-time supervisory control
- A novel approach for supervisor synthesis to enforce opacity of discrete event systems
- A survey on compositional algorithms for verification and synthesis in supervisory control
- Abstraction of the Supervisory Control Solution to Deal With Planning Problems in Manufacturing Systems
- Achieving a global objective with competing networked agents in the framework of discrete event systems
- Active fault tolerant control of discrete event systems using online diagnostics
- An introduction to the planning domain definition language
- Bisimilarity enforcing supervisory control of nondeterministic discrete event systems with nondeterministic specifications
- Complexity of Verifying Nonblockingness in Modular Supervisory Control
- Composite supervisory control for symmetric discrete-event systems
- Compositional Supervisory Control via Reactive Synthesis and Automated Planning
- Compositional and Abstraction-Based Approach for Synthesis of Edit Functions for Opacity Enforcement
- Compositional coordinator synthesis of extended finite automata
- Compositional synthesis of supervisors in the form of state machines and state maps
- Compositional verification in supervisory control
- Computation of controllable and coobservable sublanguages in decentralized supervisory control via communication
- Computing minimal separating DFAs and regular invariants using SAT and SMT solvers
- Conceptual design of discrete-event systems using templates
- Control of Nondeterministic Discrete-Event Systems for Bisimulation Equivalence
- Control of networked discrete event systems: dealing with communication delays and losses
- Controller synthesis for dynamic hierarchical real-time plants using timed automata
- Decentralized Supervisory Control With Intersection-Based Architecture
- Decentralized Supervisory Control of Discrete Event Systems: An Arborescent Architecture to Realize Inference-Based Control
- Decentralized diagnosis of discrete event systems subject to permanent sensor failures
- Delayed Detectability of Discrete Event Systems
- Detection and mitigation of classes of attacks in supervisory control systems
- Deterministic Networked Control of Discrete Event Systems With Nondeterministic Communication Delays
- Deterministic supervisory control with flexible upper-bounds on observation delay and control delay
- Discrete-event systems subject to unknown sensor attacks
- Distributed supervisory control of discrete-event systems with communication delay
- Divergent stutter bisimulation abstraction for controller synthesis with linear temporal logic specifications
- Embedded Insertion Functions for Opacity Enforcement
- Epistemic interpretations of decentralized discrete-event system problems
- Exploiting symmetry in the synthesis of supervisors for discrete event systems
- Exploiting symmetry of state tree structures for discrete-event systems with parallel components
- Extended Insertion Functions for Opacity Enforcement in Discrete-Event Systems
- Graph-Based Algorithms for Boolean Function Manipulation
- Hierarchical interface-based supervisory control-part II: parallel case
- Hierarchical planning in a supervisory control context with compositional abstraction
- How selfish individuals achieve unselfish goals: majority-based progressive control of discrete event systems
- Inference-Based Ambiguity Management in Decentralized Decision-Making: Decentralized Control of Discrete Event Systems
- Intersection-Based Decentralized Supervisory Control of Probabilistic Discrete Event Systems
- Introduction to Discrete Event Systems
- Invariant-Based Supervisory Control of Switched Discrete Event Systems
- Knowledge and common knowledge in a distributed environment
- Learning regular sets from queries and counterexamples
- Local Mean Payoff Supervisory Control for Discrete Event Systems
- Local Modular Supervisory Control of Timed Discrete-Event Systems
- Localisation-based distributed control of timed discrete-event systems with communication delay
- Looking at mean-payoff and total-payoff through windows
- Maximally Permissive Hierarchical Control of Decentralized Discrete Event Systems
- Maximally permissive controlled system synthesis for non-determinism and modal logic
- Modeling for supervisor synthesis -- a lock-bridge combination case study
- Modular control of discrete-event systems using similarity
- Multitasking supervisory control of discrete-event systems
- Networked control of multi-agent systems. Consensus and synchronisation, communication structure design, self-organisation in networked systems, event-triggered control
- Networked supervisor synthesis against lossy channels with bounded network delays as non-networked synthesis
- Nonblocking Supervisory Control of State Tree Structures
- Nonblocking and deterministic decentralized control for networked discrete event systems under communication delays
- Nonblocking supervisory control of nondeterministic systems via prioritized synchronization
- Nonblocking supervisory control of state-tree structures with event forcing
- Observation-assisted heuristic synthesis of covert attackers against unknown supervisors
- On observability of discrete-event systems
- On scalable supervisory control of multi-agent discrete-event systems
- On supervisor reduction in discrete-event systems
- On the computation of counterexamples in compositional nonblocking verification
- On the consistency of hierarchical supervision in discrete-event systems
- On the relation between reactive synthesis and supervisory control of non-terminating processes
- On tolerable and desirable behaviors in supervisory control of discrete event systems
- Opacity Enforcing Supervisory Control Using Nondeterministic Supervisors
- Optimal Secret Protections in Discrete-Event Systems
- Optimal modular control of discrete event systems with distinguishers and approximations
- Optimal supervisory control with mean payoff objectives and under partial observation
- Optimal work-conserving scheduler synthesis for real-time sporadic tasks using supervisory control of timed discrete-event systems
- Partial-Order Reduction for Supervisory Controller Synthesis
- Predictive Networked Control of Discrete Event Systems
- Probabilistic Supervisory Control of Probabilistic Discrete Event Systems
- Pseudopolynomial iterative algorithm to solve total-payoff games and min-cost reachability games
- Real-Time Scheduling Based on Nonblocking Supervisory Control of State-Tree Structures
- Refinements of behavioural abstractions for the supervisory control of hybrid systems
- Relative Observability of Discrete-Event Systems and Its Supremal Sublanguages
- Relative coobservability for decentralised supervisory control of discrete-event systems
- Robust supervisory control of discrete event systems against intermittent loss of observations
- Robustly distributed diagnosis of discrete-event systems and its application to alipay transaction systems
- State-based supervisory control with restrictions on the supervisor realization
- Structuring Multilevel Discrete-Event Systems With Dependence Structure Matrices
- Supervision localization of timed discrete-event systems
- Supervisor Localization of Timed Discrete-Event Systems Under Partial Observation
- Supervisor Localization: A Top-Down Approach to Distributed Control of Discrete-Event Systems
- Supervisor Synthesis for Mealy Automata With Output Functions: A Model Transformation Approach
- Supervisor localisation for large-scale discrete-event systems under partial observation
- Supervisor localization of discrete-event systems under partial observation
- Supervisor reduction for discrete-event systems
- Supervisor synthesis and throughput optimization of partially-controllable manufacturing systems
- Supervisor synthesis of POMDP via automata learning
- Supervisor synthesis to thwart cyber attack with bounded sensor reading alterations
- Supervisory Control Architecture for Discrete-Event Systems
- Supervisory Control for Behavior Composition
- Supervisory Control of Fair Discrete-Event Systems: A Canonical Temporal Logic Foundation
- Supervisory Control of Networked Discrete Event Systems With Timing Structure
- Supervisory Control of Networked Timed Discrete Event Systems and Its Applications to Power Distribution Networks
- Supervisory Control of Probabilistic Discrete Event Systems Under Partial Observation
- Supervisory Control of a Class of Discrete Event Processes
- Supervisory control and reactive synthesis: a comparative introduction
- Supervisory control for collision avoidance in vehicular networks using discrete event abstractions
- Supervisory control for fault-tolerant scheduling of real-time multiprocessor systems with aperiodic tasks
- Supervisory control of \((\max,+)\) automata: a behavioral approach
- Supervisory control of discrete event systems with distinguishers
- Supervisory control of discrete-event processes with partial observations
- Supervisory control of discrete-event systems
- Supervisory control of discrete-event systems under attacks
- Supervisory control of state-tree structures with partial observation
- Supervisory control of timed discrete-event systems
- Supervisory control of timed discrete-event systems under partial observation
- Supervisory controller synthesis and implementation for safety PLCs
- Synthesis of Maximally Permissive Nonblocking Supervisors for the Lower Bound Containment Problem
- Synthesis of Maximally Permissive Supervisors for Nondeterministic Discrete Event Systems With Nondeterministic Specifications
- Synthesis of Maximally Permissive Supervisors for Partially-Observed Discrete-Event Systems
- Synthesis of Maximally-Permissive Supervisors for the Range Control Problem
- Synthesis of Optimal Multiobjective Attack Strategies for Controlled Systems Modeled by Probabilistic Automata
- Synthesis of Supervisors Robust Against Sensor Deception Attacks
- Synthesis of covert actuator and sensor attackers
- Synthesis of covert actuator attackers for free
- Synthesis of insertion functions for enforcement of opacity security properties
- Synthesis of least restrictive controllable supervisors for extended finite-state machines with variable abstraction
- Synthesis of maximally permissive supervisors for similarity control of partially observed nondeterministic discrete event systems
- Synthesis of obfuscation policies to ensure privacy and utility
- Synthesis of sensor deception attacks at the supervisory layer of cyber-physical systems
- Synthesis of winning attacks on communication protocols using supervisory control theory: two case studies
- The Verification and Control of Interacting Similar Discrete-Event Systems
- The infimal prefix-closed and observable superlanguage of a given language
- Think globally, act locally: decentralized supervisory control
- Transformational supervisor synthesis for evolving systems
- Using subobservers to synthesize opacity-enforcing supervisors
- What information really matters in supervisor reduction?
This page was built for publication: Offline supervisory control synthesis: taxonomy and recent developments
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q7028067)
