Supervisory Control of a Class of Discrete Event Processes

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

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)

• Title not available (Why is that?)
• 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
• The relationship of controllability between classical and fuzzy discrete-event systems
• 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
• 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
• Partial-Observation Stochastic Games
• 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
• Supervisory control of discrete event systems with communication delays and partial observations
• Decentralized supervisory control of discrete event systems with communication delays based on conjunctive and permissive decision structures
• On optimal attraction in discrete-event processes
• Supervisory control of the structured dynamic discrete-event systems
• Robust prognosability for a set of partially observed discrete event systems
• Efficient and Dynamic Algorithms for Alternating Büchi Games and Maximal End-Component Decomposition
• Sampled-data supervisory control
• State feedback control of asynchronous sequential machines with adversarial inputs
• On the control of discrete-event dynamical systems
• Supervisory control synthesis of discrete-event systems using a coordination scheme
• Application of supervisory control theory to theme park vehicles
• On condition/event systems with discrete state realizations
• Sampled-data controller implementation
• Does My Service Have Partners?
• Input/output discrete event processes and communication delays
• A unified approach to controllability analysis for hybrid control systems
• Verification of initial-state opacity in security applications of discrete event systems
• Modular supervisory control of discrete-event systems
• Approximating the minimal sensor selection for supervisory control
• Effective computation of an \(L_{m}(G)\)-closed, controllable, and observable sublanguage arising in supervisory control
• Undecidable problems of decentralized observation and control on regular languages
• Diagnosability of discrete event systems and its applications
• On the corrective control of sequential machines
• Coordination Control of Distributed Discrete-Event Systems
• On the control of incompletely described sequential machines
• Decentralized supervisory control of discrete-event systems
• Opacity of discrete event systems and its applications
• Automatic synthesis of switching controllers for linear hybrid systems: safety control
• Adaptive control of asynchronous sequential machines with state feedback
• 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
• Maximally permissive controller synthesis for time Petri nets
• Title not available (Why is that?)
• 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
• Robust optimal control of regular languages
• Computation of supervisors for reconfigurable machine tools
• 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}\)

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)