Pages that link to "Item:Q5034071"
From MaRDI portal
The following pages link to Observers for a Class of Timed Automata Based on Elapsed Time Graphs (Q5034071):
Displaying 6 items.
- Observability of extended timed event graph (Q1883953) (← links)
- Detectability of labeled weighted automata over monoids (Q2081085) (← links)
- Diagnosis of timed patterns for discrete event systems by means of state isolation (Q6110300) (← links)
- Symbolic state estimation in bounded timed labeled Petri nets (Q6192943) (← links)
- On the verification of detectability for timed discrete event systems (Q6550243) (← links)
- State estimation for constant-time labeled automata under dense time (Q6632510) (← links)