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
• On the control of asynchronous sequential machines with infinite cycles
• Title not available (Why is that?)
• Structural decentralised control of concurrent discrete-event systems
• Implementation of supervisory control using extended finite-state machines
• A survey of stochastic \(\omega \)-regular games
• Modeling and control of discrete event systems using finite state machines with variables and their applications in power grids
• Title not available (Why is that?)
• Supervisor synthesis and throughput optimization of partially-controllable manufacturing systems
• Can I find a partner? Undecidability of partner existence for open nets
• Stochastic Müller Games are PSPACE-Complete
• Controllability and control-invariance in discrete-event systems
• Synthesizing structural and behavioral control for reconfigurations in component-based systems
• Integrating discrete controller synthesis into a reactive programming language compiler
• Nonconflict check by using sequential automaton abstractions based on weak observation equivalence
• Approximately bisimilar symbolic models for nonlinear control systems
• Discrete-time control for rectangular hybrid automata
• Energy parity games
• Concurrent secrets
• Building distributed controllers for systems with priorities
• Modularity for timed and hybrid systems
• Supervisory control of concurrent discrete-event systems
• Coordination control of distributed discrete-event systems
• The relationship of controllability between classical and fuzzy discrete-event systems
• Efficient and dynamic algorithms for alternating Büchi games and maximal end-component decomposition
• Supervisory control of discrete-event processes with partial observations
• Reliable decentralized supervisory control of fuzzy discrete event systems
• Formulas for calculating supremal controllable and normal sublanguages
• Maximally permissive coordinated distributed supervisory control of nondeterministic discrete-event systems
• Structural transformations of probabilistic finite state machines
• An \(O(n^2)\) time algorithm for alternating Büchi games
• The complexity of stochastic Müller games
• Solvability of centralized supervisory control under partial observation
• Synthesis of controllable and normal sublanguages for discrete-event systems using a coordinator
• A survey of computational complexity results in systems and control
• Priority scheduling of distributed systems based on model checking
• Supervisory control of hybrid systems within a behavioural framework
• Decentralized supervisory control of fuzzy discrete event systems
• Title not available (Why is that?)
• Decentralized control of networked discrete event systems with communication delays
• On the complexity of synthesizing a minimum-weighted supervisor under partial observation
• Synthesis of insertion functions for enforcement of opacity security properties
• Robust control reconfiguration of resource allocation systems with Petri nets and integer programming
• Control: a perspective
• Control of discrete-event systems with minimal switchings
• Bisimilarity control of partially observed nondeterministic discrete event systems and a test algorithm
• Generating conditions for preserving the properties of controlled discrete event systems
• Modeling and synthesis of supervisory control based on Petri nets for distributed objects. I. Interaction mechanism and the basic method
• Synthesis of obfuscation policies to ensure privacy and utility
• Title not available (Why is that?)
• Development of concurrent structural decentralised discrete event system using bisimulation concept
• Controller synthesis for bisimulation equivalence

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)