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)- Control of stochastic discrete event systems modeled by probabilistic languages
- Controller synthesis for net condition/event systems with a solution for incomplete state observation
- Information tracking in games on graphs
- Achieving a global objective with competing networked agents in the framework of discrete event systems
- Pseudo dynamic hybrid systems
- On supervisory control of real-time discrete-event systems
- Decentralized supervisory control of discrete event systems with nonhomogeneous control structure
- Modular nonblocking state feedback control of discrete event systems and its application to dynamic oligopolistic markets
- Formulae relating controllability, observability, and co-observability
- A two-pronged approach to security of discrete-event systems
- A new method for centralised and modular supervisory control of real-time discrete event systems
- Finite-step approximately bi-similar symbolic model for switched systems
- Synthesis of covert command attackers at the supervisory layer of cyber-physical systems
- Sequential control of trace processes
- On decidability of existence of nonblocking supervisors resilient to smart sensor attacks
- Finite-step alternating approximately bi-similar symbolic model for Markov jump systems
- Generalized language measure families of probabilistic finite state systems
- Supervisory control for fault-tolerant scheduling of real-time multiprocessor systems with aperiodic tasks
- On the control of asynchronous sequential machines with infinite cycles
- A class of non-deterministic specifications for supervisory control
- scientific article; zbMATH DE number 3887558 (Why is no real title available?)
- 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
- Towards Parallel Boolean Functional Synthesis
- Safe learning for near-optimal scheduling
- Supervisory control of timed discrete event systems under partial observation based on activity models and eligible time bounds
- Opacity of networked discrete event systems
- Syntax-based synthesis for temporal-safety supervision
- Online prognosis of stochastic discrete event systems with guaranteed performance bound
- On the computational power of swarm automata using agents with position information
- On the relation between reactive synthesis and supervisory control of non-terminating processes
- Structural decentralised control of concurrent discrete-event systems
- Nivat's processes and their synchronization
- Supervisory control of discrete event systems with state-dependent controllability
- Discrete events and general systems theory
- A survey of stochastic -regular games
- Modeling and control of discrete event systems using finite state machines with variables and their applications in power grids
- Verification of asynchronous systems with an unspecified component
- Implementation of supervisory control using extended finite-state machines
- scientific article; zbMATH DE number 4102885 (Why is no real title available?)
- Conceptual design of discrete-event systems using templates
- State-based supervisory control with restrictions on the supervisor realization
- Inferring Synchronization under Limited Observability
- Safe supervisory control under observability failure
- Model matching inclusion for input/state asynchronous sequential machines with constraint on the length of control input sequences
- Information-efficient design of an automatic aircraft maintenance supervisor
- The complexity of some reachability problems for a system on a finite group
- scientific article; zbMATH DE number 1759629 (Why is no real title available?)
- Supervisor synthesis and throughput optimization of partially-controllable manufacturing systems
- Verification and control of probabilistic rectangular hybrid automata
- Analytical approach to evaluate language measure parameters for discrete-event supervisory control
- Enforcing opacity of regular predicates on modal transition systems
- Winning strategy templates for stochastic parity games towards permissive and resilient control
- Locked discrete event systems: How to model and how to unlock
- Automating the addition of fault tolerance with discrete controller synthesis
- Modular supervisory control and coordination of state tree structures
- Synthesis of sensor deception attacks at the supervisory layer of cyber-physical systems
- A multistep look-ahead deadlock avoidance policy for automated manufacturing systems
- Optimal control of production processes with variable execution times
- Can I find a partner? Undecidability of partner existence for open nets
- Polynomial-time verification for bisimilarity control of partially observed nondeterministic discrete event systems with deterministic specifications
- Modeling and state estimation for supervisory control of networked timed discrete-event systems and their application in supervisor synthesis
- Masked observation for majority-based control of a democratic progress model in the framework of discrete event systems
- On efficient relabeling of symmetric discrete-event systems
- A method for the modular synthesis of controllers for timed discrete-event systems
- Efficient robust supervisors for discrete event systems
- On supremal languages of classes of sublanguages that arise in supervisor synthesis problems with partial observation
- Supervisor specification and synthesis for discrete event systems
- Supervisory control of discrete event systems
- Solving high-level Petri games
- Synthesizing structural and behavioral control for reconfigurations in component-based systems
- Supervisory control of extended timed event graphs
- On the static output feedback stabilisation of discrete event dynamic systems based upon the approach of semi-tensor product of matrices
- Synthesis of minimally restrictive optimal stability-enforcing supervisors for nondeterministic discrete event systems
- Input/output control of asynchronous sequential machines with races
- Controllability and control-invariance in discrete-event systems
- Maximally permissive controller synthesis for time Petri nets
- A language measure for partially observed discrete event systems
- Translation of output constraint into event constraint in the control of discrete event systems
- Stochastic Müller Games are PSPACE-Complete
- Integrating discrete controller synthesis into a reactive programming language compiler
- Control of quantized systems based on discrete event models
- Nonconflict check by using sequential automaton abstractions based on weak observation equivalence
- A dynamic modelling framework for control-based computing system design
- Simple stochastic games with almost-sure energy-parity objectives are in NP and conp
- Heuristic supervision of discrete event systems
- A process calculus approach to detection and mitigation of PLC malware
- Near-optimal online control of dynamic discrete-event systems
- A logical DES approach to the design of hybrid control systems
- scientific article; zbMATH DE number 7215288 (Why is no real title available?)
- Finitely recursive process models for discrete event systems
- Supervisory control and reactive synthesis: a comparative introduction
- Feedback logic for discrete event systems with arbitrary control patterns
- What information really matters in supervisor reduction?
- Overview of networked supervisory control with imperfect communication channels
- A framework for synthesis of communicating decentralised supervisors for discrete-event systems
- Supervisory controller synthesis and implementation for safety PLCs
- The problem of determining the weak (periodic) detectability of discrete event systems is PSPACE-complete
- Fault-tolerant supervisory control with permanent faults
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)
