Supervisory Control of a Class of Discrete Event Processes
From MaRDI portal
(Redirected from Publication:3755310)
Recommendations
Cited in
(only showing first 100 items - show all)- Approximately bisimilar symbolic models for nonlinear control systems
- Reactive mode handling of flexible manufacturing systems
- Delay-coobservability and its algebraic properties for the decentralized supervisory control of discrete event systems with communication delays
- Supervisory control of the structured dynamic discrete-event systems
- Automating the addition of fault tolerance with discrete controller synthesis
- On supremal languages of classes of sublanguages that arise in supervisor synthesis problems with partial observation
- Modular supervisory control of discrete-event systems
- On supervisory control of real-time discrete-event systems
- On the control of discrete-event dynamical systems
- Formulae relating controllability, observability, and co-observability
- A characterization of realizable behavior in supervisory control of timed event graphs
- Algebraic structure of some stochastic discrete event systems, with applications
- On tolerable and desirable behaviors in supervisory control of discrete event systems
- On condition/event systems with discrete state realizations
- Event rates and aggregation in hierarchical discrete event systems
- On nonconflicting languages that arise in supervisory control of discrete event systems
- On controllability and normality of discrete event dynamical systems
- Control of large scale discrete event systems: task allocation and coordination
- An algebraic approach to supervisory control
- Aggregation and multi-level control in discrete event dynamic systems
- Invertibility of discrete-event dynamic systems
- A graph-theoretic optimal control problem for terminating discrete event processes
- On optimal attraction in discrete-event processes
- Decentralized supervisory control of discrete event systems with nonhomogeneous control structure
- Information-efficient design of an automatic aircraft maintenance supervisor
- The complexity of some reachability problems for a system on a finite group
- Supervisory control using augmented languages in discrete event systems
- Input/output discrete event processes and communication delays
- Cyclic networks with general blocking and starvation
- Analysis of temporal performance of supervised discrete event systems
- Decentralized state feedback control of discrete event systems
- Diagnosability of discrete event systems and its applications
- On-line control of partially observed discrete event systems
- Supervisory control using variable lookahead policies
- Analysis of a hybrid system using symbolic dynamics and Petri nets
- Natural discrete-event process forecasting: A decision support system
- A class of non-deterministic specifications for supervisory control
- Controller synthesis for net condition/event systems with a solution for incomplete state observation
- Maximizing robustness of supervisors for partially observed discrete event systems.
- A language measure for supervisory control
- Unconstrained optimal control of regular languages
- Nivat's processes and their synchronization
- A matrix-based approach to verifying stability and synthesizing optimal stabilizing controllers for finite-state automata
- What information really matters in supervisor reduction?
- Priority-free conditionally-preemptive scheduling of modular sporadic real-time systems
- Self-organization of dynamic distributed computational systems applying principles of integrative activity of brain neuronal assemblies
- Control design for nondeterministic input/output automata
- Equivalent transformation of nonlinear constraints to linear constraints in Petri nets
- Computation of controllable and coobservable sublanguages in decentralized supervisory control via communication
- Modelling and supervisory control of hybrid dynamical systems via fuzzy \(l\)-complete approximation approach
- Supervisory control and reactive synthesis: a comparative introduction
- Synthesis of minimally restrictive optimal stability-enforcing supervisors for nondeterministic discrete event systems
- Verification of asynchronous systems with an unspecified component
- Energy parity games
- Supervisory control of a class of concurrent discrete event systems under partial observation
- PSPACE-completeness of modular supervisory control problems
- Control-invariance of hybrid systems with forcible events
- A language measure for performance evaluation of discrete-event supervisory control systems
- A hierarchical consistency framework for real-time supervisory control
- Detectability of networked discrete event systems
- Supervisor synthesis to thwart cyber attack with bounded sensor reading alterations
- A modeling strategy for hybrid systems based on event structures
- Recursive computation of limited lookahead supervisory controls for discrete event systems
- Locked discrete event systems: How to model and how to unlock
- The infimal prefix-closed and observable superlanguage of a given language
- Decentralized supervisory control of discrete-event systems
- Stabilization and blocking in state feedback control of discrete event systems
- Supervisory control of extended timed event graphs
- On control of systems modelled as deterministic Rabin automata
- Supervisory control of discrete event systems
- A logical DES approach to the design of hybrid control systems
- State feedback control of condition/event systems
- On conditional decomposability
- Bursts and output feedback control of non-deterministic asynchronous sequential machines
- Supervisory control synthesis of discrete-event systems using a coordination scheme
- On controllability of discrete event systems in a behavioral framework
- Discrete-time control for rectangular hybrid automata
- Hybrid life-extending control of mechanical systems: Experimental validation of the concept
- Supervisory control of hybrid systems within a behavioural framework
- Robust supervisory control of a class of timed discrete event systems under partial observation
- Model matching inclusion for input/state asynchronous sequential machines with constraint on the length of control input sequences
- Synthesis of sensor deception attacks at the supervisory layer of cyber-physical systems
- State-based fault diagnosis of discrete-event systems with partially observable outputs
- Opacity of networked discrete event systems
- Supervisor synthesis and throughput optimization of partially-controllable manufacturing systems
- Logical time control of concurrent DES
- Nonblocking and deterministic decentralized control for networked discrete event systems under communication delays
- Compositional coordinator synthesis of extended finite automata
- Synthesis of maximally permissive supervisors for similarity control of partially observed nondeterministic discrete event systems
- Epistemic interpretations of decentralized discrete-event system problems
- Nonblocking supervisory control of state-tree structures with event forcing
- On-the-fly informed search of non-blocking directed controllers
- Dealing with sensor and actuator deception attacks in supervisory control
- Using subobservers to synthesize opacity-enforcing supervisors
- A turn-based approach for qualitative time concurrent games
- Supervisory controller synthesis and implementation for safety PLCs
- Computational complexity of synchronization under sparse regular constraints
- Deterministic supervisory control with flexible upper-bounds on observation delay and control delay
- Learning from positive and negative examples: dichotomies and parameterized algorithms
- Symbolic abstractions for nonlinear control systems via feedback refinement relation
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)
