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 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)

• Pursuit-Evasion Guidance in a Switched System
• 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
• 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
• Lose fat, not muscle: an examination of supervisor reduction in discrete-event systems
• Strategy synthesis for multi-dimensional quantitative objectives
• 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
• 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
• 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
• Doomsday equilibria for omega-regular games
• Diagnosis of behaviors of interest in partially-observed discrete-event systems
• Extremal solutions of inequations over lattices with applications to supervisory control
• Controller synthesis for net condition/event systems with a solution for incomplete state observation
• Opacity of networked discrete event systems
• Nivat's processes and their synchronization
• Verification of asynchronous systems with an unspecified component
• Analytical approach to evaluate language measure parameters for discrete-event supervisory control
• Information-efficient design of an automatic aircraft maintenance supervisor
• The complexity of some reachability problems for a system on a finite group
• Enforcing opacity of regular predicates on modal transition systems
• A language measure for partially observed discrete event systems
• Supervisory control of extended timed event graphs
• What information really matters in supervisor reduction?
• The problem of determining the weak (periodic) detectability of discrete event systems is PSPACE-complete
• Signed real measure of regular languages for discrete-event automata
• A language measure for supervisory control
• Unconstrained optimal control of regular languages
• Symbolic models for time-varying time-delay systems via alternating approximate bisimulation
• Priority-free conditionally-preemptive scheduling of modular sporadic real-time systems
• A language measure for performance evaluation of discrete-event supervisory control systems
• Supervisory control of switching control systems
• SCT-based priority-free conditionally-preemptive scheduling of modular real-time systems with exact task execution time
• Self-organization of dynamic distributed computational systems applying principles of integrative activity of brain neuronal assemblies
• Estimate based limited lookahead supervisory control for closed language specifications
• Supervisory control using augmented languages in discrete event systems
• Cyclic networks with general blocking and starvation
• A hierarchical consistency framework for real-time supervisory control
• Equivalent transformation of nonlinear constraints to linear constraints in Petri nets
• On-line identification of language measure parameters for discrete-event supervisory control
• Analysis of temporal performance of supervised discrete event systems
• Supervisory control of marked graphs with partial observations

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)