UMDES

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