Supervisory Control of a Class of Discrete Event Processes
From MaRDI portal
Publication:3755310
Recommendations
Cited in
(only showing first 100 items - show all)- Verification of asynchronous systems with an unspecified component
- On conditional decomposability
- SCT-based priority-free conditionally-preemptive scheduling of modular real-time systems with exact task execution time
- Recursive computation of limited lookahead supervisory controls for discrete event systems
- Control design for nondeterministic input/output automata
- Self-organization of dynamic distributed computational systems applying principles of integrative activity of brain neuronal assemblies
- Opacity of networked discrete event systems
- Controller synthesis for net condition/event systems with a solution for incomplete state observation
- Supervisory control of marked graphs with partial observations
- On-line identification of language measure parameters for discrete-event supervisory control
- Nonblocking supervisory control of timed discrete event systems under communication delays: the existence conditions
- Analysis of temporal performance of supervised discrete event systems
- On controllability of discrete event systems in a behavioral framework
- A language measure for supervisory control
- What information really matters in supervisor reduction?
- Unconstrained optimal control of regular languages
- Information-efficient design of an automatic aircraft maintenance supervisor
- The complexity of some reachability problems for a system on a finite group
- Robust and fault-tolerant supervisory control of discrete event systems with partial observation and model uncertainty
- Computation of controllable and coobservable sublanguages in decentralized supervisory control via communication
- An algebraic approach to supervisory control
- Estimate based limited lookahead supervisory control for closed language specifications
- Aggregation and multi-level control in discrete event dynamic systems
- Modelling and supervisory control of hybrid dynamical systems via fuzzy \(l\)-complete approximation approach
- A language measure for performance evaluation of discrete-event supervisory control systems
- A graph-theoretic optimal control problem for terminating discrete event processes
- Supervision localization of timed discrete-event systems
- Robustness of synchronous communication protocols with delay for decentralized discrete-event control
- Supervisory control using augmented languages in discrete event systems
- Cyclic networks with general blocking and starvation
- Symbolic models for time-varying time-delay systems via alternating approximate bisimulation
- A language measure for partially observed discrete event systems
- The problem of determining the weak (periodic) detectability of discrete event systems is PSPACE-complete
- Generalised projections in finite state automata and decidability of state determinacy
- Nivat's processes and their synchronization
- Supervisor synthesis to thwart cyber attack with bounded sensor reading alterations
- Enforcing opacity of regular predicates on modal transition systems
- Control protocol synthesis for multi-agent systems with similar actions instantiated from agent and requirement templates
- Signed real measure of regular languages for discrete-event automata
- Analytical approach to evaluate language measure parameters for discrete-event supervisory control
- A hierarchical consistency framework for real-time supervisory control
- Supervisory control of discrete-event systems with output: Application to hybrid systems
- A modeling strategy for hybrid systems based on event structures
- Equivalent transformation of nonlinear constraints to linear constraints in Petri nets
- Priority-free conditionally-preemptive scheduling of modular sporadic real-time systems
- Supervisory control of switching control systems
- Evaluation of language measure parameters for discrete event manufacturing systems with multiproduct machines
- Analysis of a hybrid system using symbolic dynamics and Petri nets
- Natural discrete-event process forecasting: A decision support system
- Supervisory control of extended timed event graphs
- Detectability of discrete event systems with dynamic event observation
- String execution time for finite languages: max is easy, min is hard
- Safe supervisory control under observability failure
- A unified approach to control problems in discrete event processes
- Pursuit-evasion guidance in a switched system
- Maximally permissive mutually and globally nonblocking supervision with application to switching control
- Generalized detectability for discrete event systems
- scientific article; zbMATH DE number 7204389 (Why is no real title available?)
- Verification of robust diagnosability for partially observed discrete event systems
- On feedback controllers
- A turn-based approach for qualitative time concurrent games
- Supervisor specification and synthesis for discrete event systems
- Supervisory control of product and hierarchical discrete event systems
- Automating the addition of fault tolerance with discrete controller synthesis
- Centralized and distributed algorithms for on-line synthesis of maximal control policies under partial observation
- The infimal prefix-closed and observable superlanguage of a given language
- Compositional coordinator synthesis of extended finite automata
- Robust nonblocking supervisory control of discrete-event systems under partial observation
- Coordination control of discrete-event systems revisited
- Control of discrete-event systems with minimal switchings
- Information tracking in games on graphs
- Inferring Synchronization under Limited Observability
- Extremal solutions of inequations over lattices with applications to supervisory control
- Supervisor direct synthesis method for a structured discrete dynamical system
- A matrix-based approach to verifying stability and synthesizing optimal stabilizing controllers for finite-state automata
- Stabilization and blocking in state feedback control of discrete event systems
- Assume-guarantee synthesis for digital contract signing
- SAT-solving in practice, with a tutorial example from supervisory control
- On controllability and normality of discrete event dynamical systems
- A supervisory control method for ensuring the conformance of real-time discrete event systems
- 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
- A temporal logic approach to discrete event control for the safety canonical class
- A logical DES approach to the design of hybrid control systems
- Polynomial-time verification for bisimilarity control of partially observed nondeterministic discrete event systems with deterministic specifications
- The complexity of multi-mean-payoff and multi-energy games
- Decentralized supervisory control of discrete event systems with nonhomogeneous control structure
- Grid automata and supervisory control of dense real-time discrete event systems
- A class of non-deterministic specifications for supervisory control
- Stabilization of discrete-event processes
- Lose fat, not muscle: an examination of supervisor reduction in discrete-event systems
- Decentralized state feedback control of discrete event systems
- Formulae relating controllability, observability, and co-observability
- State estimation and detectability of probabilistic discrete event systems
- Supervisory control based on minimal cuts and Petri net sub-controllers coordination
- Supervisory control of discrete event systems
- A uniform approach to mixed-signal circuit test
- On supremal languages of classes of sublanguages that arise in supervisor synthesis problems with partial observation
- On-line compositional controller synthesis for AGV
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)
