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)
- 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
- MPC for discrete-event systems with soft and hard synchronization constraints
- 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
- Integrating discrete controller synthesis into a reactive programming language compiler
- Analysis and control of fuzzy discrete event systems using bisimulation equivalence
- An improved algorithm for determinization of weighted and fuzzy automata
- Computation of the greatest simulations and bisimulations between fuzzy automata
- 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
- Nondeterministic automata: equivalence, bisimulations, and uniform relations
- Predictability of event occurrences in partially-observed discrete-event systems
- On fluidization of discrete event models: Observation and control of continuous Petri nets
- 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
- 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
- REGAL
- SQG
- Desco
- WSAT
- STCT
- IF-2.0
- TINA
- SYROCO
- Stony Brook
- SMACS
- PARAMICS
- A note on controllability of deterministic context-free~systems
- Cadence SMV
- Sycraft
- FORCE
- DESUMA
- GIDDES
- Petrify
- SPLASH-2
- Bio-PEPAd
- PrivateLR
- PARAMIC
- VISSIM
- TCT
- XPTCT
- TAKOS
- Snort
- HyEQ
- libFAUDES
- 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
- SUMO
- ITIP
- Supremica
- NMF MATLAB Toolbox
- Limi
- Liss
- ROCS
- CTrigger
- GraphBIG
- Finite Automata HF
- Hereditarily Finite Sets
- Jacco
- Mungo
- STSLib
- SimEvents
- Fixpoint
- ARGoS
- 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
- MuDiv
- PESTS
- Supervisory control of the structured dynamic discrete-event systems
- Stability analysis and controller synthesis for hybrid dynamical systems
- Perturbation analysis of stochastic fluid models with respect to the fluid arrival process
- On \(\mathcal K\)-diagnosability of Petri nets via integer linear programming
- Introduction to Discrete Event Systems
- Performance optimization for a class of generalized stochastic Petri nets
- MTSA
- 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
- Supervisory control of discrete event systems
- Efficient robust supervisors for discrete event systems
- Reliable supervisory control for general architecture of decentralized discrete event systems
- Trajectory detectability of discrete-event systems
This page was built for software: UMDES
