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
• 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
• State complexity of projected languages
• 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
• Unfolding-based diagnosis of systems with an evolving topology
• Structural decentralised control of concurrent discrete-event systems
• A branch and bound approach for the design of decentralized supervisors in Petri net models
• Maximally permissive deadlock avoidance for resource allocation systems with R/W-locks
• Modeling and control of discrete event systems using finite state machines with variables and their applications in power grids
• Relating two automata-based models of orchestration and choreography
• Petri nets properties related to the unboundness and analyzed using coverability multigraph
• Compositionally progressive solutions of synchronous FSM equations
• Games for synthesis of controllers with partial observation.
• Can I find a partner? Undecidability of partner existence for open nets
• Compositional synthesis of maximally permissive supervisors using supervision equivalence
• MPC for discrete-event systems with soft and hard synchronization constraints
• Analysis of event-driven controllers for linear systems
• Optimal control of a class of positive Markovian bilinear systems
• Design of stabilizing strategies for discrete-time dual switching linear systems
• Decentralized fault prognosis of discrete event systems with guaranteed performance bound
• Signed real measure of regular languages for discrete event supervisory control
• Coordinated static control of asynchronous sequential machines
• Integrating discrete controller synthesis into a reactive programming language compiler
• A new algorithm for testing diagnosability of fuzzy discrete event systems
• Analysis and control of fuzzy discrete event systems using bisimulation equivalence
• Model-based detection of routing events in discrete flow networks
• An improved algorithm for determinization of weighted and fuzzy automata
• Using infinitesimal perturbation analysis of stochastic flow models to recover performance sensitivity estimates of discrete event systems
• Computation of the greatest simulations and bisimulations between fuzzy automata
• Output feedback stabilization for a class of nonlinear time-evolution systems
• Reduction of fuzzy automata by means of fuzzy quasi-orders
• Efficient search and responsiveness trade-offs in a Markov chain model of evolution in dynamic environments
• Message batching in wireless sensor networks -- a perturbation analysis approach

This page was built for software: UMDES