Pages that link to "Item:Q1678627"
From MaRDI portal
The following pages link to Design of decentralized critical observers for networks of finite state machines: a formal method approach (Q1678627):
Displaying 3 items.
- Verification of approximate opacity for switched systems: a compositional approach (Q2060871) (← links)
- Observability and diagnosability of finite state systems: a unifying framework (Q2409221) (← links)
- A new look at the critical observability of finite state machines from an algebraic viewpoint (Q6579017) (← links)
