Pages that link to "Item:Q3493237"
From MaRDI portal
The following pages link to Observability of discrete event dynamic systems (Q3493237):
Displayed 48 items.
- Observability of lattice graphs (Q329291) (← links)
- Necessary and sufficient conditions for distinguishability of linear control systems (Q403529) (← links)
- From classic observability to a simple fuzzy observability for fuzzy discrete-event systems (Q454904) (← links)
- Stability and stabilization of a class of nonlinear impulsive hybrid systems based on FSM with MDADT (Q472888) (← links)
- Privacy preserving minimal observability for composite transactional services (Q481362) (← links)
- Generalized detectability for discrete event systems (Q539906) (← links)
- Observable graphs (Q548270) (← links)
- Opacity of discrete event systems and its applications (Q716123) (← links)
- On-line monitoring of large Petri net models under partial observation (Q732251) (← links)
- Detectability in stochastic discrete event systems (Q897674) (← links)
- The distinguishability of linear control systems (Q1005315) (← links)
- Cascade estimators for systems on a partial order (Q1024527) (← links)
- Aggregation and multi-level control in discrete event dynamic systems (Q1194980) (← links)
- Invertibility of discrete-event dynamic systems (Q1198560) (← links)
- Diagnosability of discrete event systems and its applications (Q1329141) (← links)
- Verification of detectability in probabilistic finite automata (Q1678629) (← links)
- Decentralized observability of discrete event systems with synchronizations (Q1679893) (← links)
- Trajectory detectability of discrete-event systems (Q1729041) (← links)
- Deciding detectability for labeled Petri nets (Q1737932) (← links)
- State estimation of \(\lambda\)-free labeled Petri nets with contact-free nondeterministic transitions (Q1773100) (← links)
- Detectability of networked discrete event systems (Q1790664) (← links)
- Complexity of deciding detectability in discrete event systems (Q1797011) (← links)
- Input-output finite-time stabilization of a class of nonlinear hybrid systems based on FSM with MDADT (Q2012099) (← links)
- Analysis of strong and strong periodic detectability of bounded labeled Petri nets (Q2060875) (← links)
- On verification of D-detectability for discrete event systems (Q2065231) (← links)
- On detectability of Boolean control networks (Q2178208) (← links)
- Centralized modular diagnosis and the phenomenon of coupling (Q2256880) (← links)
- State estimation of max-plus automata with unobservable events (Q2280664) (← links)
- A simple fault tolerant control for input/output asynchronous sequential machines (Q2342754) (← links)
- Initial-state detectability of stochastic discrete-event systems with probabilistic sensor failures (Q2407177) (← links)
- Observability and diagnosability of finite state systems: a unifying framework (Q2409221) (← links)
- The problem of determining the weak (periodic) detectability of discrete event systems is PSPACE-complete (Q2409237) (← links)
- State observability and condition observability for a class of interacting discrete event systems (Q2489596) (← links)
- Discrete state estimators for systems on a lattice (Q2491912) (← links)
- Optimal control of discrete-time hybrid automata under safety and liveness constraints (Q2496814) (← links)
- Digital idle speed control of automotive engines: a safety problem for hybrid systems (Q2507861) (← links)
- State estimation and detectability of probabilistic discrete event systems (Q2518973) (← links)
- An improved approach for verifying delayed detectability of discrete-event systems (Q2663854) (← links)
- I-S detectability of partially-observed discrete event systems: a novel matrix-based method (Q2687822) (← links)
- Discrete state observability of hybrid systems (Q2928286) (← links)
- State Estimation and Fault Detection Using Petri Nets (Q3011880) (← links)
- A uniform approach to mixed-signal circuit test (Q4367096) (← links)
- On the corrective control of sequential machines (Q4714640) (← links)
- (Q4989409) (← links)
- A Unified Method to Decentralized State Detection and Fault Diagnosis/prediction of Discrete-event Systems (Q5158671) (← links)
- (Q5389839) (← links)
- Logical models of discrete even systems: a comparative exposition (Q5955794) (← links)
- Supervisory control of discrete-event systems under external attacks (Q6081283) (← links)