Pages that link to "Item:Q2983295"
From MaRDI portal
The following pages link to Current-State Opacity Formulations in Probabilistic Finite Automata (Q2983295):
Displaying 25 items.
- Probabilistic opacity for Markov decision processes (Q458386) (← links)
- Stabilization of probabilistic finite automata based on semi-tensor product of matrices (Q776109) (← links)
- Accurate approximate diagnosis of (controllable) stochastic systems (Q832093) (← links)
- Infinite-step opacity and \(K\)-step opacity of stochastic discrete-event systems (Q1716666) (← links)
- Opacity for linear constraint Markov chains (Q1745942) (← links)
- Probabilistic system opacity in discrete event systems (Q1788695) (← links)
- Enforcement of opacity by public and private insertion functions (Q1797032) (← links)
- On-line verification of current-state opacity by Petri nets and integer linear programming (Q1797108) (← links)
- Current-state opacity modelling and verification in partially observed Petri nets (Q1987252) (← links)
- Opacity of networked discrete event systems (Q2053901) (← links)
- Enforcing current-state opacity through shuffle and deletions of event observations (Q2065172) (← links)
- Information control in networked discrete event systems and its application to battery management systems (Q2197580) (← links)
- Privacy and safety analysis of timed stochastic discrete event systems using Markovian trajectory-observers (Q2197587) (← links)
- Detection-averse optimal and receding-horizon control for Markov decision processes (Q2208599) (← links)
- Initial-state detectability of stochastic discrete-event systems with probabilistic sensor failures (Q2407177) (← links)
- A new approach for the verification of infinite-step and \(K\)-step opacity using two-way observers (Q2407182) (← links)
- Compositional synthesis of opacity-preserving finite abstractions for interconnected systems (Q2665387) (← links)
- Strong current-state and initial-state opacity of discrete-event systems (Q2682301) (← links)
- Relative predictability of failure event occurrences and its opacity-based test algorithm (Q4967673) (← links)
- Current-state opacity and initial-state opacity of modular discrete event systems (Q5056544) (← links)
- Reachability and controllability analysis of probabilistic finite automata via a novel matrix method (Q5131093) (← links)
- (Q5136302) (← links)
- Game current-state opacity formulation in probabilistic resource automata (Q6125209) (← links)
- Online prognosis of stochastic discrete event systems with guaranteed performance bound (Q6136112) (← links)
- Differential privacy for symbolic systems with application to Markov chains (Q6160739) (← links)
