The following pages link to Jeffrey Ashley (Q702192):
Displayed 5 items.
- Qualitative diagnosis of condition systems (Q702194) (← links)
- An equivalent CTL formulation for condition sequences (Q816698) (← links)
- (Q2489595) (redirect page) (← links)
- State observability and condition observability for a class of interacting discrete event systems (Q2489596) (← links)
- Detection of unmodelled anomalous behaviours via localized controllers for condition systems (Q3541181) (← links)