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)

• 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
• 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
• Control design for nondeterministic input/output automata
• 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
• Supervisor synthesis to thwart cyber attack with bounded sensor reading alterations
• Analysis of a hybrid system using symbolic dynamics and Petri nets
• Natural discrete-event process forecasting: A decision support system
• Robustness of synchronous communication protocols with delay for decentralized discrete-event control
• Generalised projections in finite state automata and decidability of state determinacy
• Recursive computation of limited lookahead supervisory controls for discrete event systems
• Nonblocking supervisory control of timed discrete event systems under communication delays: the existence conditions
• Computation of controllable and coobservable sublanguages in decentralized supervisory control via communication
• Control of large scale discrete event systems: task allocation and coordination
• An algebraic approach to supervisory control
• Modelling and supervisory control of hybrid dynamical systems via fuzzy \(l\)-complete approximation approach
• Aggregation and multi-level control in discrete event dynamic systems
• A graph-theoretic optimal control problem for terminating discrete event processes
• Supervision localization of timed discrete-event systems
• Control protocol synthesis for multi-agent systems with similar actions instantiated from agent and requirement templates
• A modeling strategy for hybrid systems based on event structures
• On conditional decomposability
• Evaluation of language measure parameters for discrete event manufacturing systems with multiproduct machines
• Robust and fault-tolerant supervisory control of discrete event systems with partial observation and model uncertainty
• On controllability of discrete event systems in a behavioral framework
• Supervisory control of discrete-event systems with output: Application to hybrid systems
• 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
• Supervisory control of discrete event systems
• 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
• Coordination control of discrete-event systems revisited
• 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
• Maximally permissive mutually and globally nonblocking supervision with application to switching control
• 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
• Control-invariance of hybrid systems with forcible events
• On control of systems modelled as deterministic Rabin automata
• Synthesizing protocols for digital contract signing
• Delay-coobservability and its algebraic properties for the decentralized supervisory control of discrete event systems with communication delays
• Randomness for free
• Decidability for a temporal logic used in discrete-event system analysis
• Graph Games and Reactive Synthesis
• Algebraic structure of some stochastic discrete event systems, with applications
• On tolerable and desirable behaviors in supervisory control of discrete event systems
• On nonconflicting languages that arise in supervisory control of discrete event systems
• Diagnosability of discrete event systems subject to permanent sensor failures
• Supervision of Infinite Behavior of Discrete-Event Systems
• Reliable decentralized supervisors for discrete-event systems under communication delays: existence and verification
• Event rates and aggregation in hierarchical discrete event systems
• Supervisory Control of Discrete-Event Systems
• Theorem of abstraction for equivalent controllers in hybrid systems
• Title not available (Why is that?)
• Title not available (Why is that?)
• Hybrid life-extending control of mechanical systems: Experimental validation of the concept
• Learning from positive and negative examples: dichotomies and parameterized algorithms

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)