Supervisory Control of a Class of Discrete Event Processes

DOI10.1137/0325013zbMATH Open0618.93033OpenAlexW1979349468WikidataQ56563816 ScholiaQ56563816MaRDI QIDQ3755310FDOQ3755310

Authors: 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

Recommendations

• scientific article; zbMATH DE number 3887558
• Supervisory control of discrete event systems
• Supervisory control of discrete-event processes with partial observations
• scientific article; zbMATH DE number 4041696
• scientific article; zbMATH DE number 4158510

zbMATH Keywords

formal languagessupervisorsupervisory controlclosed-loop structurequotient structurediscrete event processes

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Controllability (93B05) Nonlinear systems in control theory (93C10) Discrete event control/observation systems (93C65) Minimal systems representations (93B20)

Cited In (only showing first 100 items - show all)

• Information tracking in games on graphs
• Supervisory control for fault-tolerant scheduling of real-time multiprocessor systems with aperiodic tasks
• A new method for centralised and modular supervisory control of real-time discrete event systems
• On supervisory control of real-time discrete-event systems
• Decentralized supervisory control of discrete event systems with nonhomogeneous control structure
• Formulae relating controllability, observability, and co-observability
• A class of non-deterministic specifications for supervisory control
• Inferring Synchronization under Limited Observability
• Conceptual design of discrete-event systems using templates
• Safe supervisory control under observability failure
• Polynomial-time verification for bisimilarity control of partially observed nondeterministic discrete event systems with deterministic specifications
• Locked discrete event systems: How to model and how to unlock
• A method for the modular synthesis of controllers for timed discrete-event systems
• Supervisor specification and synthesis for discrete event systems
• Automating the addition of fault tolerance with discrete controller synthesis
• Supervisory control of discrete event systems
• On supremal languages of classes of sublanguages that arise in supervisor synthesis problems with partial observation
• A logical DES approach to the design of hybrid control systems
• Supervisory control and reactive synthesis: a comparative introduction
• Verification of robust diagnosability for partially observed discrete event systems
• Coordination control of discrete-event systems revisited
• A uniform approach to mixed-signal circuit test
• PSPACE-completeness of modular supervisory control problems
• On controllability and normality of discrete event dynamical systems
• Supremal and maximal sublanguages arising in supervisor synthesis problems with partial observations
• Computing Weakest Strategies for Safety Games of Imperfect Information
• Maximally permissive mutually and globally nonblocking supervision with application to switching control
• Lose fat, not muscle: an examination of supervisor reduction in discrete-event systems
• On-line control of partially observed discrete event systems
• Detectability of networked discrete event systems
• SetExp: a method of transformation of timed automata into finite state automata
• The complexity of multi-mean-payoff and multi-energy games
• Supervisory control based on minimal cuts and Petri net sub-controllers coordination
• Assume-guarantee synthesis for digital contract signing
• A supervisory control method for ensuring the conformance of real-time discrete event systems
• Robust nonblocking supervisory control of discrete-event systems under partial observation
• Control of discrete-event systems with minimal switchings
• Supervisor direct synthesis method for a structured discrete dynamical system
• Stabilization of discrete-event processes
• Centralized and distributed algorithms for on-line synthesis of maximal control policies under partial observation
• Compositional coordinator synthesis of extended finite automata
• A turn-based approach for qualitative time concurrent games
• Knowledge based scheduling of distributed systems
• Stabilization and blocking in state feedback control of discrete event systems
• Title not available (Why is that?)
• On feedback controllers
• Supervisory control of product and hierarchical discrete event systems
• State estimation and detectability of probabilistic discrete event systems
• Distributed Control of Discrete-Event Systems: A First Step
• Asynchronous sequential machines with adversarial intervention: the use of bursts
• A unified approach to control problems in discrete event processes
• Pursuit-evasion guidance in a switched system
• String execution time for finite languages: max is easy, min is hard
• The infimal prefix-closed and observable superlanguage of a given language
• SAT-solving in practice, with a tutorial example from supervisory control
• Maximally permissive liveness-enforcing supervisor with lowest implementation cost for flexible manufacturing systems
• Distributed supervisory control of discrete-event systems with communication delay
• Minimal sensor activation and minimal communication in discrete-event systems
• Generalized detectability for discrete event systems
• Grid automata and supervisory control of dense real-time discrete event systems
• Mind the gap: expanding communication options in decentralized discrete-event control
• A matrix-based approach to verifying stability and synthesizing optimal stabilizing controllers for finite-state automata
• A framework for state attraction of discrete event systems under partial observation
• Invertibility of discrete-event dynamic systems
• Maximally permissive controlled system synthesis for non-determinism and modal logic
• Supervisory control for collision avoidance in vehicular networks using discrete event abstractions
• Decentralized state feedback control of discrete event systems
• Detectability of discrete event systems with dynamic event observation
• A temporal logic approach to discrete event control for the safety canonical class
• On-line compositional controller synthesis for AGV
• Diagnosis of behaviors of interest in partially-observed discrete-event systems
• Extremal solutions of inequations over lattices with applications to supervisory control
• Towards Parallel Boolean Functional Synthesis
• Supervisory control of timed discrete event systems under partial observation based on activity models and eligible time bounds
• Safe learning for near-optimal scheduling
• Supervisory control of discrete event systems with state-dependent controllability
• Title not available (Why is that?)
• Optimal control of production processes with variable execution times
• Efficient robust supervisors for discrete event systems
• Input/output control of asynchronous sequential machines with races
• Synthesis of minimally restrictive optimal stability-enforcing supervisors for nondeterministic discrete event systems
• Finitely recursive process models for discrete event systems
• Near-optimal online control of dynamic discrete-event systems
• Fault-tolerant supervisory control with permanent faults
• A new class of supervisors for timed discrete event systems under partial observation
• On the supervisory control of multi-agent product systems: controllability properties
• State based control of timed discrete event systems using binary decision diagrams
• Maximizing robustness of supervisors for partially observed discrete event systems.
• A characterization of realizable behavior in supervisory control of timed event graphs
• Supervisory control using variable lookahead policies
• Decentralized supervisory control of nondeterministic discrete event systems: The existence condition of a robust and nonblocking supervisor
• Reactive mode handling of flexible manufacturing systems
• Title not available (Why is that?)
• Robust and nonblocking supervisory control of nondeterministic discrete event systems with communication delay and partial observation
• Robust supervisory control of a class of timed discrete event systems under partial observation
• Designing communicating transaction processes by supervisory control theory
• A polynomial dynamic system approach to software design for attractivity requirement
• Supervisory control of a class of concurrent discrete event systems under partial observation
• A weighted pair graph representation for reconstructibility of Boolean control networks
• Supervisory control of discrete event systems with distinguishers

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3755310)