Pages that link to "Item:Q4852346"
From MaRDI portal
The following pages link to Diagnosability of discrete-event systems (Q4852346):
Displaying 50 items.
- Detection of unmodelled anomalous behaviours via localized controllers for condition systems (Q3541181) (← links)
- Decentralized diagnosis based on Boolean discrete event models: application on manufacturing systems (Q3541194) (← links)
- Generalised projections in finite state automata and decidability of state determinacy (Q3603720) (← links)
- Complexity of the diagnosability problem for a general model of diagnosable systems (Q3799800) (← links)
- Modeling Discrete Event Systems With Faults Using a Rules-based Modeling Formalism (Q4465157) (← links)
- Relative predictability of failure event occurrences and its opacity-based test algorithm (Q4967673) (← links)
- Selective monitoring (Q5009434) (← links)
- Verification of safe diagnosability of stochastic discrete-event systems (Q5027364) (← links)
- Design of light weight exact discrete event system diagnosers using measurement limitation: case study of electronic fuel injection system (Q5027572) (← links)
- Secure Diagnosability of Hybrid Dynamical Systems (Q5117251) (← links)
- Diagnosability of Discrete Faults with Uncertain Observations (Q5117253) (← links)
- Abstractions Refinement for Hybrid Systems Diagnosability Analysis (Q5117254) (← links)
- Hybrid Bond-Graph Possible Conflicts for Hybrid Systems Fault Diagnosis (Q5117257) (← links)
- Diagnosis of Hybrid Dynamic Systems Based on the Behavior Automaton Abstraction (Q5117259) (← links)
- Investigating the solution space for online iterative explanation in goal reasoning agents (Q5145432) (← links)
- Diagnosis of Deep Discrete-Event Systems (Q5145832) (← links)
- A Unified Method to Decentralized State Detection and Fault Diagnosis/prediction of Discrete-event Systems (Q5158671) (← links)
- Codiagnosability Analysis of Discrete-Event Systems Modeled by Weighted Automata (Q5211195) (← links)
- Discrete-Event Systems Fault Diagnosis (Q5237329) (← links)
- Set-membership parity space hybrid system diagnosis (Q5252872) (← links)
- Verification of Codiagnosability for Discrete Event Systems Modeled by Mealy Automata With Nondeterministic Output Functions (Q5352760) (← links)
- A GENERAL NOTION OF UNIFORM STRATEGIES (Q5406294) (← links)
- On Fault Predictability in Stochastic Discrete Event Systems (Q5416975) (← links)
- AI*IA 2005: Advances in Artificial Intelligence (Q5475754) (← links)
- Diagnosis and Automata (Q5496923) (← links)
- Diagnosis of Petri Nets (Q5496932) (← links)
- The On-Line Diagnosis of Time Petri Nets (Q5496935) (← links)
- Fault Distinguishability of Discrete Event Systems (Q5503225) (← links)
- Logical models of discrete even systems: a comparative exposition (Q5955794) (← links)
- Diagnosing discrete-event systems: Extending the ``diagnoser approach'' to deal with telecommunication networks (Q5959842) (← links)
- Monitoring of perception systems: deterministic, probabilistic, and learning-based fault detection and identification (Q6067035) (← links)
- Supervisory control to maximize mean time to failure in discrete event systems (Q6080670) (← links)
- Distributed diagnosis of discrete-event systems under dynamic event observations (Q6082773) (← links)
- Assumption-based runtime verification (Q6102167) (← links)
- Diagnosis of timed patterns for discrete event systems by means of state isolation (Q6110300) (← links)
- Matrix approach for verification of opacity of partially observed discrete event systems (Q6135550) (← links)
- Online prognosis of stochastic discrete event systems with guaranteed performance bound (Q6136112) (← links)
- Probabilistic verification of diagnosability for a certain class of timed stochastic systems (Q6174049) (← links)
- On decidability of existence of nonblocking supervisors resilient to smart sensor attacks (Q6175603) (← links)
- A language-based diagnosis framework for permanent and intermittent faults (Q6175604) (← links)
- Diagnosability of fault patterns with labeled stochastic Petri nets (Q6190046) (← links)
- Searching for ribbon-shaped paths in fair transition systems (Q6535577) (← links)
- Information control in networked discrete event systems (Q6546048) (← links)
- Synthesis of covert command attackers at the supervisory layer of cyber-physical systems (Q6559339) (← links)
- Supervisor synthesis for asynchronous diagnosability enforcement in labeled Petri nets (Q6564945) (← links)
- Critical observations in model-based diagnosis (Q6566643) (← links)
- A semi-symbolic diagnoser for fault diagnosis of bounded labeled Petri nets (Q6569829) (← links)
- Sufficiency for diagnosability of stochastic discrete-event systems and a polynomial-time verification (Q6581168) (← links)
- An inferencing structure for MPO-based decentralized dynamic fault diagnosis (Q6595157) (← links)
- Diagnosis and supervision: model-based approaches (Q6602236) (← links)
