Supervisory Control of a Class of Discrete Event Processes
From MaRDI portal
Publication:3755310
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
formal languagessupervisorsupervisory controlclosed-loop structurequotient structurediscrete event processes
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
- 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
- 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
- Information tracking in games on graphs
- Supervisory control for fault-tolerant scheduling of real-time multiprocessor systems with aperiodic tasks
- A new method for centralised and modular supervisory control of real-time discrete event systems
- On supervisory control of real-time discrete-event systems
- Decentralized supervisory control of discrete event systems with nonhomogeneous control structure
- Formulae relating controllability, observability, and co-observability
- A class of non-deterministic specifications for supervisory control
- Inferring Synchronization under Limited Observability
- Conceptual design of discrete-event systems using templates
- Safe supervisory control under observability failure
- Polynomial-time verification for bisimilarity control of partially observed nondeterministic discrete event systems with deterministic specifications
- Locked discrete event systems: How to model and how to unlock
- A method for the modular synthesis of controllers for timed discrete-event systems
- Supervisor specification and synthesis for discrete event systems
- Automating the addition of fault tolerance with discrete controller synthesis
- Supervisory control of discrete event systems
- On supremal languages of classes of sublanguages that arise in supervisor synthesis problems with partial observation
- A logical DES approach to the design of hybrid control systems
- Supervisory control and reactive synthesis: a comparative introduction
- Verification of robust diagnosability for partially observed discrete event systems
- Coordination control of discrete-event systems revisited
- A uniform approach to mixed-signal circuit test
- PSPACE-completeness of modular supervisory control problems
- On controllability and normality of discrete event dynamical systems
- Supremal and maximal sublanguages arising in supervisor synthesis problems with partial observations
- Computing Weakest Strategies for Safety Games of Imperfect Information
- Maximally permissive mutually and globally nonblocking supervision with application to switching control
- Lose fat, not muscle: an examination of supervisor reduction in discrete-event systems
- On-line control of partially observed discrete event systems
- Detectability of networked discrete event systems
- SetExp: a method of transformation of timed automata into finite state automata
- The complexity of multi-mean-payoff and multi-energy games
- Supervisory control based on minimal cuts and Petri net sub-controllers coordination
- Assume-guarantee synthesis for digital contract signing
- A supervisory control method for ensuring the conformance of real-time discrete event systems
- Robust nonblocking supervisory control of discrete-event systems under partial observation
- Control of discrete-event systems with minimal switchings
- Supervisor direct synthesis method for a structured discrete dynamical system
- Stabilization of discrete-event processes
- Centralized and distributed algorithms for on-line synthesis of maximal control policies under partial observation
- Compositional coordinator synthesis of extended finite automata
- A turn-based approach for qualitative time concurrent games
- Knowledge based scheduling of distributed systems
- Stabilization and blocking in state feedback control of discrete event systems
- Title not available (Why is that?)
- On feedback controllers
- Supervisory control of product and hierarchical discrete event systems
- State estimation and detectability of probabilistic discrete event systems
- Distributed Control of Discrete-Event Systems: A First Step
- Asynchronous sequential machines with adversarial intervention: the use of bursts
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)
