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)

• Dealing with sensor and actuator deception attacks in supervisory control
• On-the-fly informed search of non-blocking directed controllers
• Using subobservers to synthesize opacity-enforcing supervisors
• On the relation between reactive synthesis and supervisory control of non-terminating processes
• State-based supervisory control with restrictions on the supervisor realization
• Model matching inclusion for input/state asynchronous sequential machines with constraint on the length of control input sequences
• Modular supervisory control and coordination of state tree structures
• A multistep look-ahead deadlock avoidance policy for automated manufacturing systems
• Synthesis of sensor deception attacks at the supervisory layer of cyber-physical systems
• On the static output feedback stabilisation of discrete event dynamic systems based upon the approach of semi-tensor product of matrices
• Solving high-level Petri games
• Supervisory control of extended timed event graphs
• Simple stochastic games with almost-sure energy-parity objectives are in NP and conp
• A process calculus approach to detection and mitigation of PLC malware
• Supervisory controller synthesis and implementation for safety PLCs
• A summary of some discrete-event system control problems
• Robust optimal control of regular languages
• Hyperplane separation technique for multidimensional mean-payoff games
• Optimal supervisory control of finite state automata
• Efficient controller synthesis for a fragment of \(\mathrm{MTL}_{0,\infty}\)
• State-based fault diagnosis of discrete-event systems with partially observable outputs
• Language-measure-theoretic optimal control of probabilistic finite-state systems
• Structural optimal control for safe Petri nets
• Supervisory control of state-tree structures with partial observation
• Computational complexity of synchronization under sparse regular constraints
• A Unified Method to Decentralized State Detection and Fault Diagnosis/prediction of Discrete-event Systems
• Maintenance goals of agents in a dynamic environment: formulation and policy construction
• Safety synthesis for incrementally stable switched systems using discretization-free multi-resolution abstractions
• State feedback control of condition/event systems
• A modified normality condition for decentralized supervisory control of discrete event systems
• Faster algorithms for mean-payoff parity games
• Exploiting symmetry of state tree structures for discrete-event systems with parallel components
• On computation of supremal controllable, normal sublanguages
• Deterministic supervisory control with flexible upper-bounds on observation delay and control delay
• Supervisory control of marked graphs with partial observations
• Control of continuous-time Markov chains with safety constraints
• Symbolic abstractions for nonlinear control systems via feedback refinement relation
• Logical time control of concurrent DES
• Nonblocking and deterministic decentralized control for networked discrete event systems under communication delays
• Synthesis of maximally permissive supervisors for similarity control of partially observed nondeterministic discrete event systems
• Employing behavioral preorders to define controllability for nondeterministic discrete-event systems
• Modeling for supervisor synthesis -- a lock-bridge combination case study
• A controller synthesis framework for automated service composition
• Time-optimal control of large-scale systems of systems using compositional optimization
• A hierarchical and modular control architecture for sequential behaviours
• STP Approach to Model Controlled Automata with Application to Reachability Analysis of DEDS
• Epistemic interpretations of decentralized discrete-event system problems
• Refinements of behavioural abstractions for the supervisory control of hybrid systems
• Optimal enforcement of (timed) properties with uncontrollable events
• Nonblocking supervisory control of state-tree structures with event forcing
• 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
• Information tracking in games on graphs

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)