swMATH9523MaRDI QIDQ21504FDOQ21504
Author name not available (Why is that?)
Official website: https://wiki.eecs.umich.edu/desuma/index.php/UMDES_Software_Library
Cited In (only showing first 100 items - show all)
- 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
- Modelling and hierarchical diagnosis of timed discrete-event systems
- Event counting of partially-observed discrete-event systems with uniformly and nonuniformly bounded diagnosis delays
- What you should know about simulation and derivatives
- Optimal control of production processes with variable execution times
- Supervisory control of discrete event systems
- Efficient robust supervisors for discrete event systems
- Trajectory detectability of discrete-event systems
- Intermittent fault diagnosability of discrete event systems: an overview of automaton-based approaches
- Integrated decision and control of human-engineered complex systems
- Modeling memory effects in activity-driven networks
- Near-optimal online control of dynamic discrete-event systems
- Discrete event system identification with the aim of fault detection
- Coordination control of discrete-event systems revisited
- A new class of supervisors for timed discrete event systems under partial observation
- On the supervisory control of multi-agent product systems: controllability properties
- Maximizing robustness of supervisors for partially observed discrete event systems.
- Diagnosability of intermittent sensor faults in discrete event systems
- Decentralized supervisory control of nondeterministic discrete event systems: The existence condition of a robust and nonblocking supervisor
- 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
- Fault detection and isolation in manufacturing systems with an identified discrete event model
- Designing communicating transaction processes by supervisory control theory
- Perturbation analysis for production control and optimization of manufacturing systems
- Stochastic hybrid automata with delayed transitions to model biochemical systems with delays
- A weighted pair graph representation for reconstructibility of Boolean control networks
- Supervisory control of discrete event systems with distinguishers
- A decidable class of problems for control under partial observation
- Supervisory control for real-time scheduling of periodic and sporadic tasks with resource constraints
- Polynomial-time verification of diagnosability of fuzzy discrete event systems
- Time variant dynamic models in diagnosing of real-time computer systems
- Graph Games and Reactive Synthesis
- State-dependent control of a single stage hybrid system with Poisson arrivals
- Optimal supervisory control with mean payoff objectives and under partial observation
- Stabilization of probabilistic finite automata based on semi-tensor product of matrices
- Modeling and control of flexible context-dependent manufacturing systems
- Symbolic control design of nonlinear systems with outputs
- A diagnoser algorithm for anomaly detection in DEDS under partial and unreliable observations: characterization and inclusion in sensor configuration optimization
- Supervisory Control of Discrete-Event Systems
- Ensuring the conformance of reactive discrete-event systems by means of supervisory control
- On Distributed Program Specification and Synthesis in Architectures with Cycles
- Diagnostic model for a distributed computer system in real time
- An overview for Markov decision processes in queues and networks
- Robust diagnosis of discrete event systems against intermittent loss of observations
- Verification of detectability in probabilistic finite automata
- An application of discrete-event theory to truck dispatching
- On the invariance property of reduced supervisors from the perspective of vector discrete-event systems
- Opacity of networked discrete event systems
- Comparing the notions of opacity for discrete-event systems
- Deadlock-free output feedback controller design based on approximately abstracted observers
- Verification of asynchronous systems with an unspecified component
- Analytical approach to evaluate language measure parameters for discrete-event supervisory control
- A simple fault tolerant control for input/output asynchronous sequential machines
- Diagnosis and opacity problems for infinite state systems modeled by recursive tile systems
- Complexity of detectability, opacity and A-diagnosability for modular discrete event systems
- Diagnosis of deep discrete-event systems
- Applications of generalized likelihood ratio method to distribution sensitivities and steady-state simulation
- Instruction-throughput regulation in computer processors with data-center applications
- Opinion influence and evolution in social networks: a Markovian agents model
- Verification of C-detectability using Petri nets
- Strong current-state and initial-state opacity of discrete-event systems
- On-line control of the threshold policy parameter for multiclass systems
- What information really matters in supervisor reduction?
- Computing observers from observation policies in discrete-event systems
- Algorithms for approximate subtropical matrix factorization
- Performance optimization of a class of discrete event dynamic systems using calculus of variations techniques
- An interval-based approach to model input uncertainty in M/M/1 simulation
- Evaluating the quality of online optimization algorithms by discrete event simulation
- A language measure for performance evaluation of discrete-event supervisory control systems
- Diagnosability of discrete faults with uncertain observations
- Online minimization of sensor activation for supervisory control
- Control design for nondeterministic input/output automata
- Performance regulation in discrete event and hybrid dynamical systems using IPA
- Consistent approximations of the Zeno behaviour in affine-type switched dynamic systems
- IPA derivatives for make-to-stock production-inventory systems with backorders under the (\(\mathbf{R,r}\)) policy
- Impact of ramp-up on the optimal capacity-related reconfiguration policy
- Identification of stochastic timed discrete event systems with st-IPN
- Control of discrete event systems by means of discrete optimization and disjunctive colored PNs: application to manufacturing facilities
- A general framework for diagnosis of discrete event systems subject to sensor failures
- Decentralized diagnosis of discrete event systems subject to permanent sensor failures
- Design of decentralized critical observers for networks of finite state machines: a formal method approach
- Current-state opacity and initial-state opacity of modular discrete event systems
- Codiagnosability of discrete event systems revisited: a new necessary and sufficient condition and its applications
- Reliable decentralized supervisors for discrete-event systems under communication delays: existence and verification
- Introduction to model checking
- Computation of controllable and coobservable sublanguages in decentralized supervisory control via communication
- Predictability of fuzzy discrete event systems
- Incremental hierarchical construction of modular supervisors for discrete-event systems
- On conditional decomposability
- Evaluation of language measure parameters for discrete event manufacturing systems with multiproduct machines
- IPA derivatives for a discrete model of make-to-stock production-inventory systems with backorders
- Test-based diagnosis of faults in data exchange addressing in computer systems using parallel model
- On controllability of discrete event systems in a behavioral framework
- Detection and mitigation of classes of attacks in supervisory control systems
- Fault tolerant control for a class of interconnected asynchronous sequential machines
- Infinite-step opacity and \(K\)-step opacity of stochastic discrete-event systems
This page was built for software: UMDES
