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
- 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
- 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
- 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
- Towards Parallel Boolean Functional Synthesis
- Supervisory control of timed discrete event systems under partial observation based on activity models and eligible time bounds
- Safe learning for near-optimal scheduling
- Supervisory control of discrete event systems with state-dependent controllability
- Title not available (Why is that?)
- Optimal control of production processes with variable execution times
- Efficient robust supervisors for discrete event systems
- Input/output control of asynchronous sequential machines with races
- Synthesis of minimally restrictive optimal stability-enforcing supervisors for nondeterministic discrete event systems
- Finitely recursive process models for discrete event systems
- Near-optimal online control of dynamic discrete-event systems
- Fault-tolerant supervisory control with permanent faults
- Coordination control of discrete-event systems revisited
- A new class of supervisors for timed discrete event systems under partial observation
- On the supervisory control of multi-agent product systems: controllability properties
- State based control of timed discrete event systems using binary decision diagrams
- Maximizing robustness of supervisors for partially observed discrete event systems.
- A characterization of realizable behavior in supervisory control of timed event graphs
- Supervisory control using variable lookahead policies
- Maximally permissive mutually and globally nonblocking supervision with application to switching control
- Reliable Decentralized Supervisors for Discrete‐Event Systems Under Communication Delays: Existence and Verification
- Decentralized supervisory control of nondeterministic discrete event systems: The existence condition of a robust and nonblocking supervisor
- Reactive mode handling of flexible manufacturing systems
- Title not available (Why is that?)
- Robust and nonblocking supervisory control of nondeterministic discrete event systems with communication delay and partial observation
- Robust supervisory control of a class of timed discrete event systems under partial observation
- Designing communicating transaction processes by supervisory control theory
- A polynomial dynamic system approach to software design for attractivity requirement
- Supervisory control of a class of concurrent discrete event systems under partial observation
- A weighted pair graph representation for reconstructibility of Boolean control networks
- Supervisory control of discrete event systems with distinguishers
- Control-invariance of hybrid systems with forcible events
- On control of systems modelled as deterministic Rabin automata
- Synthesizing protocols for digital contract signing
- Delay-coobservability and its algebraic properties for the decentralized supervisory control of discrete event systems with communication delays
- Randomness for free
- Decidability for a temporal logic used in discrete-event system analysis
- Graph Games and Reactive Synthesis
- Algebraic structure of some stochastic discrete event systems, with applications
- On tolerable and desirable behaviors in supervisory control of discrete event systems
- On nonconflicting languages that arise in supervisory control of discrete event systems
- Diagnosability of discrete event systems subject to permanent sensor failures
- Supervision of Infinite Behavior of Discrete-Event Systems
- Event rates and aggregation in hierarchical discrete event systems
- Supervisory Control of Discrete-Event Systems
- Theorem of abstraction for equivalent controllers in hybrid systems
- Control of large scale discrete event systems: task allocation and coordination
- Title not available (Why is that?)
- Title not available (Why is that?)
- Hybrid life-extending control of mechanical systems: Experimental validation of the concept
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)
