Pages that link to "Item:Q3426554"
From MaRDI portal
The following pages link to Introduction to Discrete Event Systems (Q3426554):
Displaying 50 items.
- \(k\)-memory-embedded insertion mechanism for opacity enforcement (Q826781) (← links)
- State complexity of projection on languages recognized by permutation automata and commuting letters (Q832938) (← links)
- Fault diagnosis in discrete event systems modeled by partially observed Petri nets (Q843985) (← links)
- Supervisory control of discrete event systems with distinguishers (Q889009) (← links)
- Polynomial-time verification of diagnosability of fuzzy discrete event systems (Q893753) (← links)
- Time variant dynamic models in diagnosing of real-time computer systems (Q895302) (← links)
- Codiagnosability and coobservability under dynamic observations: transformation and verification (Q900685) (← links)
- Nondeterministic automata: equivalence, bisimulations, and uniform relations (Q903611) (← links)
- Supervisory control of the structured dynamic discrete-event systems (Q1040544) (← links)
- Supervisory control for real-time scheduling of periodic and sporadic tasks with resource constraints (Q1049157) (← links)
- On-line fault detection in discrete event systems by Petri nets and integer linear programming (Q1049168) (← links)
- A matrix-based approach to verifying stability and synthesizing optimal stabilizing controllers for finite-state automata (Q1622234) (← links)
- What information really matters in supervisor reduction? (Q1626914) (← links)
- Computing observers from observation policies in discrete-event systems (Q1628789) (← links)
- Evaluating the quality of online optimization algorithms by discrete event simulation (Q1642796) (← links)
- Control design for nondeterministic input/output automata (Q1662972) (← links)
- Performance regulation in discrete event and hybrid dynamical systems using IPA (Q1663008) (← links)
- Consistent approximations of the Zeno behaviour in affine-type switched dynamic systems (Q1669213) (← links)
- Verification complexity of a class of observational properties for modular discrete events systems (Q1679097) (← links)
- Simulation budget allocation for simultaneously selecting the best and worst subsets (Q1680908) (← links)
- Computation of controllable and coobservable sublanguages in decentralized supervisory control via communication (Q1686848) (← links)
- Supervisory control and reactive synthesis: a comparative introduction (Q1693819) (← links)
- Detection and mitigation of classes of attacks in supervisory control systems (Q1716512) (← links)
- Fault tolerant control for a class of interconnected asynchronous sequential machines (Q1716566) (← links)
- Infinite-step opacity and \(K\)-step opacity of stochastic discrete-event systems (Q1716666) (← links)
- An approximations based approach to optimal control of switched dynamic systems (Q1719157) (← links)
- Identification of stochastic timed discrete event systems with st-IPN (Q1719235) (← links)
- Control of discrete event systems by means of discrete optimization and disjunctive colored PNs: application to manufacturing facilities (Q1725071) (← links)
- Trajectory detectability of discrete-event systems (Q1729041) (← links)
- Synthesis of minimally restrictive optimal stability-enforcing supervisors for nondeterministic discrete event systems (Q1729092) (← links)
- Opinion influence and evolution in social networks: a Markovian agents model (Q1737642) (← links)
- Complexity of detectability, opacity and A-diagnosability for modular discrete event systems (Q1737732) (← links)
- Codiagnosability of discrete event systems revisited: a new necessary and sufficient condition and its applications (Q1737742) (← links)
- Applications of generalized likelihood ratio method to distribution sensitivities and steady-state simulation (Q1745943) (← links)
- Instruction-throughput regulation in computer processors with data-center applications (Q1745946) (← links)
- Equivalent and efficient optimization models for an industrial discrete event system with alternative structural configurations (Q1784931) (← links)
- Current-state opacity enforcement in discrete event systems under incomparable observations (Q1788686) (← links)
- Codiagnosability of networked discrete event systems subject to communication delays and intermittent loss of observation (Q1788691) (← links)
- Faults prognosis using partially observed stochastic Petri nets: an incremental approach (Q1788693) (← links)
- A hierarchical consistency framework for real-time supervisory control (Q1790660) (← links)
- Test-based diagnosis of faults in data exchange addressing in computer systems using parallel model (Q1792413) (← links)
- Enforcement of opacity by public and private insertion functions (Q1797032) (← links)
- On conditional decomposability (Q1932746) (← links)
- Robust diagnosis of discrete event systems against intermittent loss of observations (Q1937482) (← links)
- Supervisory control synthesis of discrete-event systems using a coordination scheme (Q1941245) (← links)
- Model matching inclusion for input/state asynchronous sequential machines with constraint on the length of control input sequences (Q1996572) (← links)
- Model identification of unobservable behavior of discrete event systems using Petri nets (Q1999265) (← links)
- Synthesis of sensor deception attacks at the supervisory layer of cyber-physical systems (Q2003816) (← links)
- Verification of C-detectability using Petri nets (Q2023240) (← links)
- State-based fault diagnosis of discrete-event systems with partially observable outputs (Q2023248) (← links)
