UMDES

swMATH9523MaRDI QIDQ21504FDOQ21504

Author name not available (Why is that?)

Cited In (only showing first 100 items - show all)

• 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
• Nondeterministic automata: equivalence, bisimulations, and uniform relations
• The relationship of controllability between classical and fuzzy discrete-event systems
• Predictability of event occurrences in partially-observed discrete-event systems
• Infinitesimal perturbation analysis in networks of stochastic flow models: general framework and case study of tandem networks with flow control
• On fluidization of discrete event models: Observation and control of continuous Petri nets
• Taylor series expansions for stationary Markov chains
• Title not available (Why is that?)
• On the ultimate behaviour of the sequence of consecutive powers of a matrix in the max-plus algebra
• An approximations based approach to optimal control of switched dynamic systems
• Designing parsimonious scheduling policies for complex resource allocation systems through concurrency theory
• The evaluation of pedestrians' behavior using \(M/G/C/C\) analytical, weighted distance and real distance simulation models
• Performance regulation of event-driven dynamical systems using infinitesimal perturbation analysis
• Optimal constructions for active diagnosis
• Discrete-event models of a railway network
• Decentralized control of networked discrete event systems with communication delays
• IPA for continuous stochastic marked graphs
• A control theory for Boolean monomial dynamical systems
• Perturbation analysis and optimization of multiclass multiobjective stochastic flow models
• Safe diagnosability for fault-tolerant supervision of discrete-event systems
• Perturbation analysis and optimization of stochastic hybrid systems
• Modeling and synthesis of supervisory control based on Petri nets for distributed objects. I. Interaction mechanism and the basic method
• Actuator saturation and anti-windup compensation in event-triggered control
• A note on controllability of deterministic context-free~systems
• Exact and approximate approaches to the identification of stochastic MAX-plus-linear systems
• The Unmet Challenge of Timed Systems
• Fault diagnosis in discrete event systems modeled by partially observed Petri nets
• Infinitesimal perturbation analysis and optimization for make-to-stock manufacturing systems based on stochastic fluid models
• Modeling and synthesis for supervisory control on Petri nets for distributed objects. II. A supervisor synthesis method for a set of general form sequences
• Controller synthesis for bisimulation equivalence
• Control of distributed systems: tutorial and overview
• Symbolic supervisory control of infinite transition systems under partial observation using abstract interpretation
• On-line fault detection in discrete event systems by Petri nets and integer linear programming
• Kripke modelling approaches of a multiple robots system with minimalist communication: A formal approach of choice
• Timing control of switched systems with applications to robotic marionettes
• Cycle time assignment of min-max systems
• Control of parameterized discrete event systems
• Modal specifications for the control theory of discrete event systems
• Supervisory control of the structured dynamic discrete-event systems
• Stability analysis and controller synthesis for hybrid dynamical systems
• Conflict-preserving abstraction of discrete event systems using annotated automata
• What topology tells us about diagnosability in partial order semantics
• Multi-level hierarchical interface-based supervisory control
• Perturbation analysis of stochastic fluid models with respect to the fluid arrival process
• Effective computation of an \(L_{m}(G)\)-closed, controllable, and observable sublanguage arising in supervisory control
• On \(\mathcal K\)-diagnosability of Petri nets via integer linear programming
• Introduction to Discrete Event Systems
• Diagnosis of discrete event systems using decentralized architectures
• Distributed monitoring of concurrent and asynchronous systems
• Comparative analysis of related notions of opacity in centralized and coordinated architectures
• Optimal hybrid fault recovery in a team of unmanned aerial vehicles
• Shrinking of time Petri nets
• Performance optimization for a class of generalized stochastic Petri nets
• Globally optimal solutions of max-min systems
• 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

This page was built for software: UMDES