Supervisory Control of a Class of Discrete Event Processes

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

zbMATH Keywords

supervisory controlformal languagessupervisorclosed-loop structurequotient structurediscrete event processes

Mathematics Subject Classification ID

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 (only showing first 100 items - show all)

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 ⋮ On the application of the calculus of positively constructed formulas for the study of controlled discrete-event systems ⋮ 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 ⋮ 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

This page was built for publication: Supervisory Control of a Class of Discrete Event Processes