Supervisory Control of a Class of Discrete Event Processes
From MaRDI portal
Publication:3755310
Recommendations
Cited in
(only showing first 100 items - show all)- Nonblocking supervisory control of state-tree structures with event forcing
- Simple stochastic games with almost-sure energy-parity objectives are in NP and conp
- Logical time control of concurrent DES
- Nonblocking and deterministic decentralized control for networked discrete event systems under communication delays
- A process calculus approach to detection and mitigation of PLC malware
- Synthesis of maximally permissive supervisors for similarity control of partially observed nondeterministic discrete event systems
- Computational complexity of synchronization under sparse regular constraints
- A multistep look-ahead deadlock avoidance policy for automated manufacturing systems
- Synthesis of sensor deception attacks at the supervisory layer of cyber-physical systems
- Modeling for supervisor synthesis -- a lock-bridge combination case study
- Exploiting symmetry of state tree structures for discrete-event systems with parallel components
- Safety synthesis for incrementally stable switched systems using discretization-free multi-resolution abstractions
- A controller synthesis framework for automated service composition
- Time-optimal control of large-scale systems of systems using compositional optimization
- State feedback control of condition/event systems
- Refinements of behavioural abstractions for the supervisory control of hybrid systems
- On the static output feedback stabilisation of discrete event dynamic systems based upon the approach of semi-tensor product of matrices
- An enhanced supervisory control strategy for periodicity mutual exclusions in discrete event systems based on Petri nets
- Efficient controller synthesis for a fragment of \(\mathrm{MTL}_{0,\infty}\)
- Optimal supervisory control of finite state automata
- Epistemic interpretations of decentralized discrete-event system problems
- On the relation between reactive synthesis and supervisory control of non-terminating processes
- Control of continuous-time Markov chains with safety constraints
- State-based fault diagnosis of discrete-event systems with partially observable outputs
- On computation of supremal controllable, normal sublanguages
- Employing behavioral preorders to define controllability for nondeterministic discrete-event systems
- State-based supervisory control with restrictions on the supervisor realization
- 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
- Symbolic abstractions for nonlinear control systems via feedback refinement relation
- STP Approach to Model Controlled Automata with Application to Reachability Analysis of DEDS
- Language-measure-theoretic optimal control of probabilistic finite-state systems
- Supervisory controller synthesis and implementation for safety PLCs
- A summary of some discrete-event system control problems
- A modified normality condition for decentralized supervisory control of discrete event systems
- 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
- Solving high-level Petri games
- Optimal enforcement of (timed) properties with uncontrollable events
- Robust optimal control of regular languages
- A hierarchical and modular control architecture for sequential behaviours
- Modular supervisory control and coordination of state tree structures
- Structural optimal control for safe Petri nets
- Hyperplane separation technique for multidimensional mean-payoff games
- Maximally permissive controller synthesis for time Petri nets
- Faster algorithms for mean-payoff parity games
- Deterministic supervisory control with flexible upper-bounds on observation delay and control delay
- Model matching inclusion for input/state asynchronous sequential machines with constraint on the length of control input sequences
- Supervisory control of state-tree structures with partial observation
- Reactive mode handling of flexible manufacturing systems
- Bursts and output feedback control of non-deterministic asynchronous sequential machines
- scientific article; zbMATH DE number 177251 (Why is no real title available?)
- scientific article; zbMATH DE number 177524 (Why is no real title available?)
- Fault-tolerant supervisory control with permanent faults
- Synthesis of minimally restrictive optimal stability-enforcing supervisors for nondeterministic discrete event systems
- Mutually nonblocking supervisory control of discrete event systems
- Supervision of Infinite Behavior of Discrete-Event Systems
- Hybrid life-extending control of mechanical systems: Experimental validation of the concept
- Supervisory control of discrete event systems with distinguishers
- Learning from positive and negative examples: dichotomies and parameterized algorithms
- Control of stochastic discrete event systems modeled by probabilistic languages
- Robust supervisory control of a class of timed discrete event systems under partial observation
- Safe learning for near-optimal scheduling
- Graph Games and Reactive Synthesis
- Fault-tolerant supervisory control of discrete event dynamical systems”“
- Control of large scale discrete event systems: task allocation and coordination
- An algebraic approach to supervisory control
- Designing communicating transaction processes by supervisory control theory
- A polynomial dynamic system approach to software design for attractivity requirement
- Finitely recursive process models for discrete event systems
- Supervisory control of discrete event systems with state-dependent controllability
- Event rates and aggregation in hierarchical discrete event systems
- Control-invariance of hybrid systems with forcible events
- Optimal control of production processes with variable execution times
- On control of systems modelled as deterministic Rabin automata
- A weighted pair graph representation for reconstructibility of Boolean control networks
- Supervisory Control of Discrete-Event Systems
- Supervisory control of a class of concurrent discrete event systems under partial observation
- Decentralized supervisory control of nondeterministic discrete event systems: The existence condition of a robust and nonblocking supervisor
- A characterization of realizable behavior in supervisory control of timed event graphs
- Synthesizing protocols for digital contract signing
- A new class of supervisors for timed discrete event systems under partial observation
- Randomness for free
- On the supervisory control of multi-agent product systems: controllability properties
- Near-optimal online control of dynamic discrete-event systems
- State based control of timed discrete event systems using binary decision diagrams
- Delay-coobservability and its algebraic properties for the decentralized supervisory control of discrete event systems with communication delays
- Maximizing robustness of supervisors for partially observed discrete event systems.
- Towards Parallel Boolean Functional Synthesis
- Algebraic structure of some stochastic discrete event systems, with applications
- On tolerable and desirable behaviors in supervisory control of discrete event systems
- Decidability for a temporal logic used in discrete-event system analysis
- Efficient robust supervisors for discrete event systems
- On nonconflicting languages that arise in supervisory control of discrete event systems
- Reliable decentralized supervisors for discrete-event systems under communication delays: existence and verification
- Input/output control of asynchronous sequential machines with races
- Supervisory control using variable lookahead policies
- scientific article; zbMATH DE number 4041696 (Why is no real title available?)
- Theorem of abstraction for equivalent controllers in hybrid systems
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)
