Supervisory Control of a Class of Discrete Event Processes
From MaRDI portal
Publication:3755310
DOI10.1137/0325013zbMath0618.93033OpenAlexW1979349468WikidataQ56563816 ScholiaQ56563816MaRDI QIDQ3755310
Peter J. Ramadge, W. Murray Wonham
Publication date: 1987
Published in: SIAM Journal on Control and Optimization (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1137/0325013
supervisory controlformal languagessupervisorclosed-loop structurequotient structurediscrete event processes
Controllability (93B05) Formal languages and automata (68Q45) Nonlinear systems in control theory (93C10) Discrete event control/observation systems (93C65) Minimal systems representations (93B20)
Related Items
Petri Nets Tracking Control for Electro-pneumatic Systems Automation ⋮ Supervisory control for fault-tolerant scheduling of real-time multiprocessor systems with aperiodic tasks ⋮ Exploiting symmetry of state tree structures for discrete-event systems with parallel components ⋮ Modularity for timed and hybrid systems ⋮ Learning from positive and negative examples: new proof for binary alphabets ⋮ Supervisory control to maximize mean time to failure in discrete event systems ⋮ Modeling and analysis of switching max-plus linear systems with discrete-event feedback ⋮ 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 ⋮ Fault-tolerant supervisory control with permanent faults ⋮ Online prognosis of stochastic discrete event systems with guaranteed performance bound ⋮ On the computational power of swarm automata using agents with position information ⋮ Overview of networked supervisory control with imperfect communication channels ⋮ On decidability of existence of nonblocking supervisors resilient to smart sensor attacks ⋮ Modeling and control of heterogeneous field robots under partial observation ⋮ Research Challenges in Orchestration Synthesis ⋮ Bisimilarity enforcing supervisory control of nondeterministic discrete event systems with nondeterministic specifications ⋮ On tolerance of discrete systems with respect to transition perturbations ⋮ How selfish individuals achieve unselfish goals: majority-based progressive control of discrete event systems ⋮ A Unified Method to Decentralized State Detection and Fault Diagnosis/prediction of Discrete-event Systems ⋮ A framework for synthesis of communicating decentralised supervisors for discrete-event systems ⋮ Developing a democratic progress model based on discrete event systems ⋮ Mutually nonblocking supervisory control of discrete event systems ⋮ A survey of computational complexity results in systems and control ⋮ Reliable Decentralized Supervisors for Discrete‐Event Systems Under Communication Delays: Existence and Verification ⋮ Partial-Observation Stochastic Games ⋮ Language-measure-theoretic optimal control of probabilistic finite-state systems ⋮ Robust and nonblocking supervisory control of nondeterministic discrete event systems with communication delay and partial observation ⋮ Sampled-data controller implementation ⋮ Decidability for a temporal logic used in discrete-event system analysis ⋮ A modified normality condition for decentralized supervisory control of discrete event systems ⋮ Logical models of discrete even systems: a comparative exposition ⋮ Flexible regenerative supervision of sequential behaviour. ⋮ Stochastic Müller Games are PSPACE-Complete ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Coordination Control of Distributed Discrete-Event Systems ⋮ Achieving a global objective with competing networked agents in the framework of discrete event systems ⋮ A language measure for partially observed discrete event systems ⋮ Renormalized measure of regular languages ⋮ Analytical approach to evaluate language measure parameters for discrete-event supervisory control ⋮ On the control of asynchronous sequential machines with infinite cycles ⋮ Supervisory Control with Complete Observations ⋮ A dynamic modelling framework for control-based computing system design ⋮ Optimal Supervisory Control of Discrete Event Systems: Cyclicity and Interleaving of Tasks ⋮ A learning-based synthesis approach to decentralized supervisory control of discrete event systems with unknown plants ⋮ Unnamed Item ⋮ Evolutionary design of discrete controllers for hybrid mechatronic systems ⋮ State feedback control of real-time discrete event systems with infinite states ⋮ Modelling and feedback control for a class of Petri Nets with shared resources subject to strict time constraints using Max-plus algebra ⋮ Diagnosability of discrete event systems and its applications ⋮ Hyperplane separation technique for multidimensional mean-payoff games ⋮ On-line control of partially observed discrete event systems ⋮ Supervisory control using variable lookahead policies ⋮ Supervisory control of extended timed event graphs ⋮ A matrix-based approach to verifying stability and synthesizing optimal stabilizing controllers for finite-state automata ⋮ Supervisory controller synthesis and implementation for safety PLCs ⋮ Analysis of a hybrid system using symbolic dynamics and Petri nets ⋮ What information really matters in supervisor reduction? ⋮ Natural discrete-event process forecasting: A decision support system ⋮ Computational complexity of synchronization under sparse regular constraints ⋮ Priority-free conditionally-preemptive scheduling of modular sporadic real-time systems ⋮ On control of systems modelled as deterministic Rabin automata ⋮ Maintenance goals of agents in a dynamic environment: formulation and policy construction ⋮ Undecidable problems of decentralized observation and control on regular languages ⋮ Verification of robust diagnosability for partially observed discrete event systems ⋮ A class of non-deterministic specifications for supervisory control ⋮ 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 ⋮ Equivalent transformation of nonlinear constraints to linear constraints in Petri nets ⋮ Learning from positive and negative examples: dichotomies and parameterized algorithms ⋮ Symbolic abstractions for nonlinear control systems via feedback refinement relation ⋮ Supervisory control of discrete event systems ⋮ A logical DES approach to the design of hybrid control systems ⋮ State feedback control of condition/event systems ⋮ A controller synthesis framework for automated service composition ⋮ Time-optimal control of large-scale systems of systems using compositional optimization ⋮ SCT-based priority-free conditionally-preemptive scheduling of modular real-time systems with exact task execution time ⋮ On the relation between reactive synthesis and supervisory control of non-terminating processes ⋮ Controller synthesis for net condition/event systems with a solution for incomplete state observation ⋮ Solving high-level Petri games ⋮ On conditional decomposability ⋮ Computation of controllable and coobservable sublanguages in decentralized supervisory control via communication ⋮ Modelling and supervisory control of hybrid dynamical systems via fuzzy \(l\)-complete approximation approach ⋮ Bursts and output feedback control of non-deterministic asynchronous sequential machines ⋮ Supervisory control and reactive synthesis: a comparative introduction ⋮ Supervisory control synthesis of discrete-event systems using a coordination scheme ⋮ Modeling for supervisor synthesis -- a lock-bridge combination case study ⋮ Refinements of behavioural abstractions for the supervisory control of hybrid systems ⋮ Supervisory control of state-tree structures with partial observation ⋮ On controllability of discrete event systems in a behavioral framework ⋮ Discrete-time control for rectangular hybrid automata ⋮ Hybrid life-extending control of mechanical systems: Experimental validation of the concept ⋮ Maximizing robustness of supervisors for partially observed discrete event systems. ⋮ State-based supervisory control with restrictions on the supervisor realization ⋮ A language measure for supervisory control ⋮ Unconstrained optimal control of regular languages ⋮ Synthesis of minimally restrictive optimal stability-enforcing supervisors for nondeterministic discrete event systems ⋮ Verification of asynchronous systems with an unspecified component ⋮ Simple stochastic games with almost-sure energy-parity objectives are in NP and conp ⋮ Supervisory control of hybrid systems within a behavioural framework ⋮ Robust supervisory control of a class of timed discrete event systems under partial observation ⋮ A process calculus approach to detection and mitigation of PLC malware ⋮ Strategy synthesis for multi-dimensional quantitative objectives ⋮ Efficient controller synthesis for a fragment of \(\mathrm{MTL}_{0,\infty}\) ⋮ Model matching inclusion for input/state asynchronous sequential machines with constraint on the length of control input sequences ⋮ Energy parity games ⋮ Synthesis of sensor deception attacks at the supervisory layer of cyber-physical systems ⋮ Supervisory control of a class of concurrent discrete event systems under partial observation ⋮ PSPACE-completeness of modular supervisory control problems ⋮ Control-invariance of hybrid systems with forcible events ⋮ A language measure for performance evaluation of discrete-event supervisory control systems ⋮ Estimate based limited lookahead supervisory control for closed language specifications ⋮ State-based fault diagnosis of discrete-event systems with partially observable outputs ⋮ A hierarchical consistency framework for real-time supervisory control ⋮ Detectability of networked discrete event systems ⋮ Supervisor synthesis to thwart cyber attack with bounded sensor reading alterations ⋮ A modeling strategy for hybrid systems based on event structures ⋮ Recursive computation of limited lookahead supervisory controls for discrete event systems ⋮ Locked discrete event systems: How to model and how to unlock ⋮ Opacity of networked discrete event systems ⋮ Safety synthesis for incrementally stable switched systems using discretization-free multi-resolution abstractions ⋮ The infimal prefix-closed and observable superlanguage of a given language ⋮ Supervisor synthesis and throughput optimization of partially-controllable manufacturing systems ⋮ Logical time control of concurrent DES ⋮ Nonblocking and deterministic decentralized control for networked discrete event systems under communication delays ⋮ Compositional coordinator synthesis of extended finite automata ⋮ Synthesis of maximally permissive supervisors for similarity control of partially observed nondeterministic discrete event systems ⋮ A multistep look-ahead deadlock avoidance policy for automated manufacturing systems ⋮ Decentralized supervisory control of discrete-event systems ⋮ Epistemic interpretations of decentralized discrete-event system problems ⋮ Stabilization and blocking in state feedback control of discrete event systems ⋮ Nonblocking supervisory control of state-tree structures with event forcing ⋮ Robust prognosability for a set of partially observed discrete event systems ⋮ The complexity of multi-mean-payoff and multi-energy games ⋮ On-the-fly informed search of non-blocking directed controllers ⋮ Dealing with sensor and actuator deception attacks in supervisory control ⋮ Using subobservers to synthesize opacity-enforcing supervisors ⋮ Coordination control of discrete-event systems revisited ⋮ A hierarchical and modular control architecture for sequential behaviours ⋮ Computation of supervisors for reconfigurable machine tools ⋮ Robustness of synchronous communication protocols with delay for decentralized discrete-event control ⋮ New results on supervisor localization, with case studies ⋮ Employing behavioral preorders to define controllability for nondeterministic discrete-event systems ⋮ Enforcing opacity of regular predicates on modal transition systems ⋮ Nivat's processes and their synchronization ⋮ Compositional construction of most general controllers ⋮ Analysis of temporal performance of supervised discrete event systems ⋮ Decentralized state feedback control of discrete event systems ⋮ A turn-based approach for qualitative time concurrent games ⋮ Synthesizing structural and behavioral control for reconfigurations in component-based systems ⋮ Safe learning for near-optimal scheduling ⋮ SAT-solving in practice, with a tutorial example from supervisory control ⋮ Generating conditions for preserving the properties of controlled discrete event systems ⋮ Approximating the minimal sensor selection for supervisory control ⋮ Development of concurrent structural decentralised discrete event system using bisimulation concept ⋮ Near-optimal online control of dynamic discrete-event systems ⋮ Safe supervisory control under observability failure ⋮ 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 ⋮ State based control of timed discrete event systems using binary decision diagrams ⋮ Supervisory control of discrete event systems with communication delays and partial observations ⋮ On the supervisory control of multi-agent product systems: controllability properties ⋮ Application of supervisory control theory to theme park vehicles ⋮ Modular supervisory control of discrete-event systems ⋮ On supervisory control of real-time discrete-event systems ⋮ Decentralized supervisory control of nondeterministic discrete event systems: The existence condition of a robust and nonblocking supervisor ⋮ SetExp: a method of transformation of timed automata into finite state automata ⋮ On the control of discrete-event dynamical systems ⋮ Designing communicating transaction processes by supervisory control theory ⋮ Integrating discrete controller synthesis into a reactive programming language compiler ⋮ Decentralized supervisory control of discrete event systems with communication delays based on conjunctive and permissive decision structures ⋮ A polynomial dynamic system approach to software design for attractivity requirement ⋮ Formulae relating controllability, observability, and co-observability ⋮ A characterization of realizable behavior in supervisory control of timed event graphs ⋮ Adaptive control of asynchronous sequential machines with state feedback ⋮ Supervisor direct synthesis method for a structured discrete dynamical system ⋮ Automatic synthesis of switching controllers for linear hybrid systems: safety control ⋮ Supervisory control of discrete event systems with distinguishers ⋮ Information tracking in games on graphs ⋮ Randomness for free ⋮ A survey of stochastic \(\omega \)-regular games ⋮ The complexity of stochastic Müller games ⋮ String execution time for finite languages: max is easy, min is hard ⋮ Maximally permissive coordinated distributed supervisory control of nondeterministic discrete-event systems ⋮ Modeling and control of discrete event systems using finite state machines with variables and their applications in power grids ⋮ Mind the gap: expanding communication options in decentralized discrete-event control ⋮ Priority scheduling of distributed systems based on model checking ⋮ Synthesis of insertion functions for enforcement of opacity security properties ⋮ On the complexity of synthesizing a minimum-weighted supervisor under partial observation ⋮ Robust control reconfiguration of resource allocation systems with Petri nets and integer programming ⋮ Control: a perspective ⋮ Decentralized control of networked discrete event systems with communication delays ⋮ Sampled-data supervisory control ⋮ Algebraic structure of some stochastic discrete event systems, with applications ⋮ On tolerable and desirable behaviors in supervisory control of discrete event systems ⋮ Modeling and synthesis of supervisory control based on Petri nets for distributed objects. I. Interaction mechanism and the basic method ⋮ FMS scheduling based on timed Petri net model and reactive graph search ⋮ On condition/event systems with discrete state realizations ⋮ Event rates and aggregation in hierarchical discrete event systems ⋮ On nonconflicting languages that arise in supervisory control of discrete event systems ⋮ A temporal logic approach to discrete event control for the safety canonical class ⋮ Verification of initial-state opacity in security applications of discrete event systems ⋮ Maximally permissive liveness-enforcing supervisor with lowest implementation cost for flexible manufacturing systems ⋮ Extremal solutions of inequations over lattices with applications to supervisory control ⋮ Distributed supervisory control of discrete-event systems with communication delay ⋮ Minimal sensor activation and minimal communication in 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 ⋮ A framework for state attraction of discrete event systems under partial observation ⋮ Aggregation and multi-level control in discrete event dynamic systems ⋮ Supervisory control for collision avoidance in vehicular networks using discrete event abstractions ⋮ Maximally permissive controlled system synthesis for non-determinism and modal logic ⋮ On-line compositional controller synthesis for AGV ⋮ Synthesis of obfuscation policies to ensure privacy and utility ⋮ Diagnosis of behaviors of interest in partially-observed discrete-event systems ⋮ The relationship of controllability between classical and fuzzy discrete-event systems ⋮ Invertibility of discrete-event dynamic systems ⋮ Decentralized supervisory control of fuzzy discrete event systems ⋮ A graph-theoretic optimal control problem for terminating discrete event processes ⋮ Doomsday equilibria for omega-regular games ⋮ Detectability of discrete event systems with dynamic event observation ⋮ On optimal attraction in discrete-event processes ⋮ Bisimilarity control of partially observed nondeterministic discrete event systems and a test algorithm ⋮ Decentralized supervisory control of discrete event systems with nonhomogeneous control structure ⋮ Conceptual design of discrete-event systems using templates ⋮ Generalized detectability for discrete event systems ⋮ Building distributed controllers for systems with priorities ⋮ Synthesis of controllable and normal sublanguages for discrete-event systems using a coordinator ⋮ Can I find a partner? Undecidability of partner existence for open nets ⋮ Nonconflict check by using sequential automaton abstractions based on weak observation equivalence ⋮ Optimal control of production processes with variable execution times ⋮ Reliable decentralized supervisory control of fuzzy discrete event systems ⋮ Opacity of discrete event systems and its applications ⋮ Lose fat, not muscle: an examination of supervisor reduction in discrete-event systems ⋮ Approximately bisimilar symbolic models for nonlinear control systems ⋮ Assume-guarantee synthesis for digital contract signing ⋮ Reactive mode handling of flexible manufacturing systems ⋮ Information-efficient design of an automatic aircraft maintenance supervisor ⋮ The complexity of some reachability problems for a system on a finite group ⋮ Formulas for calculating supremal controllable and normal sublanguages ⋮ Delay-coobservability and its algebraic properties for the decentralized supervisory control of discrete event systems with communication delays ⋮ Supervisory control of the structured dynamic discrete-event systems ⋮ Automating the addition of fault tolerance with discrete controller synthesis ⋮ Supervisory control using augmented languages in discrete event systems ⋮ Input/output discrete event processes and communication delays ⋮ Cyclic networks with general blocking and starvation ⋮ A supervisory control method for ensuring the conformance of real-time discrete event systems ⋮ Synthesizing Protocols for Digital Contract Signing ⋮ Generalized language measure families of probabilistic finite state systems ⋮ Supervision localization of timed discrete-event systems ⋮ Pursuit-Evasion Guidance in a Switched System ⋮ Supervisory control of concurrent discrete-event systems ⋮ Asymptotic behaviour of output feedback for a class of non-deterministic discrete event systems ⋮ Graph Games and Reactive Synthesis ⋮ Robust and fault-tolerant supervisory control of discrete event systems with partial observation and model uncertainty ⋮ A uniform approach to mixed-signal circuit test ⋮ Control of quantized systems based on discrete event models ⋮ Supervisory control of discrete event systems with state-dependent controllability ⋮ Symbolic models for time-varying time-delay systems via alternating approximate bisimulation ⋮ A unified approach to controllability analysis for hybrid control systems ⋮ Efficient and Dynamic Algorithms for Alternating Büchi Games and Maximal End-Component Decomposition ⋮ Optimal enforcement of (timed) properties with uncontrollable events ⋮ Controllability and control-invariance in discrete-event systems ⋮ Translation of output constraint into event constraint in the control of discrete event systems ⋮ Methods for the estimation of the size of lookahead tree state-space ⋮ Supervisory Control of Discrete-Event Systems ⋮ An enhanced supervisory control strategy for periodicity mutual exclusions in discrete event systems based on Petri nets ⋮ Feedback logic for discrete event systems with arbitrary control patterns ⋮ Design of Optimal Petri Net Supervisors for Flexible Manufacturing Systems via Weighted Inhibitor Arcs ⋮ A unified approach to control problems in discrete event processes ⋮ Stabilization of discrete-event processes ⋮ The problem of determining the weak (periodic) detectability of discrete event systems is PSPACE-complete ⋮ Control protocol synthesis for multi-agent systems with similar actions instantiated from agent and requirement templates ⋮ Absolute controllability of predicates in discrete event systems ⋮ Discrete events and general systems theory ⋮ On feedback controllers ⋮ Controllability of predicates and languages in discrete-event systems ⋮ Verification and Control of Probabilistic Rectangular Hybrid Automata ⋮ Transformational supervisor synthesis for evolving systems ⋮ STP Approach to Model Controlled Automata with Application to Reachability Analysis of DEDS ⋮ Robust nonblocking supervisory control of discrete-event systems under partial observation ⋮ Nonblocking supervisory control of timed discrete event systems under communication delays: the existence conditions ⋮ On the control of incompletely described sequential machines ⋮ Supervisor specification and synthesis for discrete event systems ⋮ Detection of unmodelled anomalous behaviours via localized controllers for condition systems ⋮ Decentralized diagnosis based on Boolean discrete event models: application on manufacturing systems ⋮ The stability of a class of discrete event systems using Markov chains ⋮ Evaluation of language measure parameters for discrete event manufacturing systems with multiproduct machines ⋮ Structural transformations of probabilistic finite state machines ⋮ Supervisory control of discrete-event systems with output: Application to hybrid systems ⋮ State feedback control of asynchronous sequential machines with adversarial inputs ⋮ Fault-tolerant supervisory control of discrete event dynamical systems”“ ⋮ A new method for centralised and modular supervisory control of real-time discrete event systems ⋮ Input/output control of asynchronous sequential machines with races ⋮ Towards Parallel Boolean Functional Synthesis ⋮ Control of discrete-event systems with minimal switchings ⋮ Concurrent secrets ⋮ Pseudo dynamic hybrid systems ⋮ Distributed Control of Discrete-Event Systems: A First Step ⋮ Supervisory control of switching control systems ⋮ Optimal supervisory control of finite state automata ⋮ Optimal control of infinite horizon partially observable decision processes modelled as generators of probabilistic regular languages ⋮ On-line identification of language measure parameters for discrete-event supervisory control ⋮ Cell control research— current status and development trends ⋮ A control synthesis approach for time discrete event systems ⋮ Multi-model approach to discrete events systems: application to operating mode management ⋮ Grid automata and supervisory control of dense real-time discrete event systems ⋮ Signed real measure of regular languages for discrete-event automata ⋮ Knowledge Based Scheduling of Distributed Systems ⋮ Supervisory control of marked graphs with partial observations ⋮ Multilevel intelligent scheduling and control system for an automated flow shop manufacturing environment ⋮ Asynchronous sequential machines with adversarial intervention: the use of bursts ⋮ 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 ⋮ Structural optimal control for safe Petri nets ⋮ Implementation of supervisory control using extended finite-state machines ⋮ Automated Synthesis of Application-Layer Connectors from Automata-Based Specifications ⋮ Diagnosability of discrete event systems subject to permanent sensor failures ⋮ Formal specification method for systems automation ⋮ Structural decentralised control of concurrent discrete-event systems ⋮ Computing Weakest Strategies for Safety Games of Imperfect Information ⋮ Inferring Synchronization under Limited Observability ⋮ A Summary of Some Discrete-Event System Control Problems ⋮ State estimation and detectability of probabilistic discrete event systems ⋮ Controller synthesis for bisimulation equivalence ⋮ Does My Service Have Partners? ⋮ Hierarchical interface-based supervisory control with data events ⋮ Recomposable restricted finite state machines: definition and solution approaches ⋮ On the corrective control of sequential machines ⋮ Supervisory control based on minimal cuts and Petri net sub-controllers coordination ⋮ A method for the modular synthesis of controllers for timed discrete-event systems ⋮ A Weighted Pair Graph Representation for Reconstructibility of Boolean Control Networks ⋮ Supremal and maximal sublanguages arising in supervisor synthesis problems with partial observations ⋮ Centralized and distributed algorithms for on-line synthesis of maximal control policies under partial observation ⋮ Modular nonblocking state feedback control of discrete event systems and its application to dynamic oligopolistic markets ⋮ Theorem of abstraction for equivalent controllers in hybrid systems ⋮ Discrete-time control for rectangular hybrid automata ⋮ Syntax-based synthesis for temporal-safety supervision ⋮ Control of continuous-time Markov chains with safety constraints ⋮ Maximally permissive mutually and globally nonblocking supervision with application to switching control ⋮ Robust optimal control of regular languages ⋮ Modular supervisory control and coordination of state tree structures ⋮ Maximally permissive controller synthesis for time Petri nets ⋮ Formal analysis and control of timed automata with guards using (max, +) and (min, +) algebras ⋮ On the static output feedback stabilisation of discrete event dynamic systems based upon the approach of semi-tensor product of matrices