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)

• 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}\)
• 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
• 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
• 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
• An enhanced supervisory control strategy for periodicity mutual exclusions in discrete event systems based on Petri nets
• 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

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)