UMDES
From MaRDI portal
Software:21504
swMATH9523MaRDI QIDQ21504FDOQ21504
Author name not available (Why is that?)
Cited In (only showing first 100 items - show all)
- Diagnosability analysis of a class of hierarchical state machines
- Verification complexity of a class of observational properties for modular discrete events systems
- Control of discrete-event systems with partial observations using coalgebra and coinduction
- Safe supervisory control under observability failure
- Supervisor synthesis and throughput optimization of partially-controllable manufacturing systems
- Fault diagnosis of discretely controlled continuous systems by means of discrete-event models
- A general approach for optimizing dynamic sensor activation for discrete event systems
- Active acquisition of information for diagnosis and supervisory control of discrete event systems
- Discrete state observability of hybrid systems
- Flexible diagnosis of discrete-event systems by similarity-based reasoning techniques
- PSPACE-completeness of modular supervisory control problems
- State Complexity of Projected Languages
- Optimal sensor selection for ensuring diagnosability in labeled Petri nets
- Decomposition property in a discrete-time queue with multiple input streams and service interruptions
- Minimal diagnosis and diagnosability of discrete-event systems modeled by automata
- Monotone optimal control for a class of Markov decision processes
- On a structural property in the state complexity of projected regular languages
- Self-triggered coordination of robotic networks for optimal deployment
- Maximally permissive coordinated distributed supervisory control of nondeterministic discrete-event systems
- Solvability of centralized supervisory control under partial observation
- Synthesis of controllable and normal sublanguages for discrete-event systems using a coordinator
- Decentralized supervisory control of fuzzy discrete event systems
- Modular supervisory control with equivalence-based abstraction and covering-based conflict resolution
- On the computation of natural observers in discrete-event systems
- Policy iteration for customer-average performance optimization of closed queueing systems
- Permissive strategies: from parity games to safety games
- Synthesis of insertion functions for enforcement of opacity security properties
- Bisimilarity enforcing supervisory control for deterministic specifications
- Robust nonblocking supervisory control of discrete-event systems under partial observation
- Active fault tolerant control of discrete event systems using online diagnostics
- Bisimilarity control of partially observed nondeterministic discrete event systems and a test algorithm
- Guaranteed global performance through local coordinations
- Model predictive control for perturbed max-plus-linear systems: a stochastic approach
- Synthesis of obfuscation policies to ensure privacy and utility
- \(k\)-memory-embedded insertion mechanism for opacity enforcement
- Enforcement and validation (at runtime) of various notions of opacity
- Coverage in fault-tolerant control
- Stochastic control via direct comparison
- Stabilization of finite automata with application to hybrid systems control
- Bilinear system interconnections and generating series of weighted Petri nets
- Supervisory control synthesis of discrete-event systems using a coordination scheme
- Verification of initial-state opacity in security applications of discrete event systems
- Approximating the minimal sensor selection for supervisory control
- Diagnosability of discrete event systems with modular structure
- Verification of safe diagnosability of stochastic discrete-event systems
- Probabilistic system opacity in discrete event systems
- Enforcement of opacity by public and private insertion functions
- On optimal control of a class of partially observed discrete event systems
- Incomplete operational transition complexity of regular languages
- Minimal sensor activation and minimal communication in discrete-event systems
- Generalized detectability for discrete event systems
- Supervisory control of modular systems with global specification languages
- On the minimization of communication in networked systems with a central station
- Approximate equivalence and synchronization of metric transition systems
- Discrete-event diagnostic model for a distributed computational system. Independent chains
- A framework for state attraction of discrete event systems under partial observation
- Computation of minimal diagnosis bases of discrete-event systems using verifiers
- Looking forward approach in cooperative differential games with uncertain stochastic dynamics
- Computation of the delay bounds and synthesis of diagnosers for decentralized diagnosis with conditional decisions
- Maximally permissive controlled system synthesis for non-determinism and modal logic
- Supervisory control for collision avoidance in vehicular networks using discrete event abstractions
- Undecidability in decentralized supervision
- Detectability of discrete event systems with dynamic event observation
- Computation of minimal event bases that ensure diagnosability
- Abstraction-based verification of codiagnosability for discrete event systems
- An algorithm for calculating indistinguishable states and clusters in finite-state automata with partially observable transitions
- Dynamical systems in categories
- On-line compositional controller synthesis for AGV
- Codiagnosability and coobservability under dynamic observations: transformation and verification
- Diagnosis of behaviors of interest in partially-observed discrete-event systems
- Nonblocking check in fuzzy discrete event systems based on observation equivalence
- On the stabilization of nondeterministic finite automata via static output feedback
- Semitensor product approach to controllability, reachability, and stabilizability of probabilistic finite automata
- Initial-state detectability of stochastic discrete-event systems with probabilistic sensor failures
- State complexity of projection on languages recognized by permutation automata and commuting letters
- An Overview for Markov Decision Processes in Queues and Networks
- Conceptual design of discrete-event systems using templates
- Modeling with discrete-time recurrent fuzzy systems via mixed-integer optimization
- Generalized surrogate problem methodology for online stochastic discrete optimization
- Event counting of partially-observed discrete-event systems with uniformly and nonuniformly bounded diagnosis delays
- Resource contention games in multiclass stochastic flow models
- A method for the modular synthesis of controllers for timed discrete-event systems
- Supervisory control of discrete event systems
- Reliable supervisory control for general architecture of decentralized discrete event systems
- Trajectory detectability of discrete-event systems
- Detectability in stochastic discrete event systems
- Intermittent fault diagnosability of discrete event systems: an overview of automaton-based approaches
- Supervisory control and reactive synthesis: a comparative introduction
- Discrete event system identification with the aim of fault detection
- Coordination control of discrete-event systems revisited
- Diagnosability of intermittent sensor faults in discrete event systems
- Causality analysis and fault ascription in component-based systems
- Lose fat, not muscle: an examination of supervisor reduction in discrete-event systems
- A new approach for the verification of infinite-step and \(K\)-step opacity using two-way observers
- A necessary and sufficient condition for diagnosability of stochastic discrete event systems
- Detectability of networked discrete event systems
- Fault detection and isolation in manufacturing systems with an identified discrete event model
- Monitoring of dynamic processes by rectangular hybrid automata
- A weighted pair graph representation for reconstructibility of Boolean control networks
- Supervisor direct synthesis method for a structured discrete dynamical system
This page was built for software: UMDES