Pages that link to "Item:Q3426554"
From MaRDI portal
The following pages link to Introduction to Discrete Event Systems (Q3426554):
Displaying 50 items.
- Petri nets properties related to the unboundness and analyzed using coverability multigraph (Q275588) (← links)
- Optimal control of a class of positive Markovian bilinear systems (Q286074) (← links)
- Design of stabilizing strategies for discrete-time dual switching linear systems (Q286253) (← links)
- Decentralized fault prognosis of discrete event systems with guaranteed performance bound (Q286345) (← links)
- Efficient search and responsiveness trade-offs in a Markov chain model of evolution in dynamic environments (Q299379) (← links)
- Designing parsimonious scheduling policies for complex resource allocation systems through concurrency theory (Q312653) (← links)
- Optimal constructions for active diagnosis (Q314815) (← links)
- Discrete-event models of a railway network (Q315135) (← links)
- Comparative analysis of related notions of opacity in centralized and coordinated architectures (Q373013) (← links)
- Symbolic supervisory control of infinite transition systems under partial observation using abstract interpretation (Q434470) (← links)
- Using infinitesimal perturbation analysis of stochastic flow models to recover performance sensitivity estimates of discrete event systems (Q434477) (← links)
- Monotone optimal control for a class of Markov decision processes (Q439381) (← links)
- On a structural property in the state complexity of projected regular languages (Q443744) (← links)
- Synthesis of insertion functions for enforcement of opacity security properties (Q458746) (← links)
- Actuator saturation and anti-windup compensation in event-triggered control (Q461469) (← links)
- Bisimilarity enforcing supervisory control for deterministic specifications (Q463845) (← links)
- Verification of initial-state opacity in security applications of discrete event systems (Q497279) (← links)
- Minimal sensor activation and minimal communication in discrete-event systems (Q503031) (← links)
- Discrete-event diagnostic model for a distributed computational system. Independent chains (Q507111) (← links)
- A framework for state attraction of discrete event systems under partial observation (Q507660) (← links)
- Computation of minimal diagnosis bases of discrete-event systems using verifiers (Q510094) (← links)
- Looking forward approach in cooperative differential games with uncertain stochastic dynamics (Q511986) (← links)
- Supervisory control for collision avoidance in vehicular networks using discrete event abstractions (Q513177) (← links)
- Computation of the delay bounds and synthesis of diagnosers for decentralized diagnosis with conditional decisions (Q513180) (← links)
- Maximally permissive controlled system synthesis for non-determinism and modal logic (Q513185) (← links)
- On-line compositional controller synthesis for AGV (Q513815) (← links)
- Dynamical systems in categories (Q513904) (← links)
- Active fault tolerant control of discrete event systems using online diagnostics (Q534270) (← links)
- Perturbation analysis and optimization of multiclass multiobjective stochastic flow models (Q539495) (← links)
- Guaranteed global performance through local coordinations (Q540161) (← links)
- An improved algorithm for determinization of weighted and fuzzy automata (Q543822) (← links)
- Resource contention games in multiclass stochastic flow models (Q547910) (← links)
- Synthesis of controllable and normal sublanguages for discrete-event systems using a coordinator (Q553375) (← links)
- Monitoring of dynamic processes by rectangular hybrid automata (Q608376) (← links)
- Supervisor direct synthesis method for a structured discrete dynamical system (Q612182) (← links)
- Perturbation analysis and optimization of stochastic hybrid systems (Q629652) (← links)
- Decentralized control of infinite systems (Q645050) (← links)
- Analytical identification of discrete objects (Q650010) (← links)
- Modeling and synthesis for supervisory control on Petri nets for distributed objects. II. A supervisor synthesis method for a set of general form sequences (Q650043) (← links)
- Modeling and synthesis of supervisory control based on Petri nets for distributed objects. I. Interaction mechanism and the basic method (Q664298) (← links)
- Synthesis of obfuscation policies to ensure privacy and utility (Q682359) (← links)
- Computation of the greatest simulations and bisimulations between fuzzy automata (Q690916) (← links)
- Computation of minimal event bases that ensure diagnosability (Q692381) (← links)
- Modeling with discrete-time recurrent fuzzy systems via mixed-integer optimization (Q695247) (← links)
- Reduction of fuzzy automata by means of fuzzy quasi-orders (Q726556) (← links)
- Diagnosability analysis of a class of hierarchical state machines (Q732254) (← links)
- On fluidization of discrete event models: Observation and control of continuous Petri nets (Q763410) (← links)
- Stabilization of finite automata with application to hybrid systems control (Q763412) (← links)
- Stabilization of probabilistic finite automata based on semi-tensor product of matrices (Q776109) (← links)
- Modeling and control of flexible context-dependent manufacturing systems (Q780970) (← links)
