Pages that link to "Item:Q4990023"
From MaRDI portal
The following pages link to Introduction to Discrete Event Systems (Q4990023):
Displaying 25 items.
- Epistemic interpretations of decentralized discrete-event system problems (Q2081081) (← links)
- Detectability of labeled weighted automata over monoids (Q2081085) (← links)
- Synthesis of winning attacks on communication protocols using supervisory control theory: two case studies (Q2106413) (← links)
- Verification of \(K\)-step and infinite-step opacity of bounded labeled Petri nets (Q2125506) (← links)
- Supervisory controller synthesis and implementation for safety PLCs (Q2128091) (← links)
- Discrete-event systems subject to unknown sensor attacks (Q2128094) (← links)
- Discrete event systems. Modelling and control of distributed systems (Q2855320) (← links)
- Polynomial-time verification for bisimilarity control of partially observed nondeterministic discrete event systems with deterministic specifications (Q6103006) (← links)
- Assessment of initial-state-opacity in live and bounded labeled Petri net systems via optimization techniques (Q6160740) (← links)
- Verifying weak and strong \(k\)-step opacity in discrete-event systems (Q6165326) (← links)
- On tolerance of discrete systems with respect to transition perturbations (Q6201386) (← links)
- Multi-level control for multiple mobile robot systems (Q6201389) (← links)
- Safe environmental envelopes of discrete systems (Q6535638) (← links)
- Synthesizing permissive winning strategy templates for parity games (Q6535644) (← links)
- Sensor deception attacks against security in supervisory control systems (Q6537285) (← links)
- Quantifying opacity of discrete event systems modeled with probabilistic Petri nets (Q6539394) (← links)
- On the verification of detectability for timed discrete event systems (Q6550243) (← links)
- Implementable strategies for a two-player asynchronous game on Petri nets (Q6550567) (← links)
- Decoupled fitness criteria for reactive systems (Q6550594) (← links)
- Supervisor synthesis for asynchronous diagnosability enforcement in labeled Petri nets (Q6564945) (← links)
- Constrained motion planning and multi-agent path finding on directed graphs (Q6566732) (← links)
- Infinite- and \(K\)-step opacity verification of discrete-event systems under nondeterministic observations (Q6594952) (← links)
- State estimation for constant-time labeled automata under dense time (Q6632510) (← links)
- Obfuscation mechanism for simultaneous public event information release and private event information hiding in discrete event systems (Q6645045) (← links)
- Diagnosability and attack detection for discrete event systems under sensor attacks (Q6645152) (← links)