Pages that link to "Item:Q976261"
From MaRDI portal
The following pages link to Nonconflict check by using sequential automaton abstractions based on weak observation equivalence (Q976261):
Displaying 12 items.
- A framework for compositional nonblocking verification of extended finite-state machines (Q262429) (← links)
- Conflict-preserving abstraction of discrete event systems using annotated automata (Q351736) (← links)
- Maximally permissive coordinated distributed supervisory control of nondeterministic discrete-event systems (Q445939) (← links)
- Nonblocking check in fuzzy discrete event systems based on observation equivalence (Q529370) (← links)
- Compositional coordinator synthesis of extended finite automata (Q2058570) (← links)
- Consistent reduction in discrete-event systems (Q2151838) (← links)
- On the computation of counterexamples in compositional nonblocking verification (Q2197583) (← links)
- COMPOSITIONAL VERIFICATION OF THE GENERALIZED NONBLOCKING PROPERTY USING ABSTRACTION AND CANONICAL AUTOMATA (Q5168410) (← links)
- Progressive events in supervisory control and compositional verification (Q5257781) (← links)
- Local pursuit strategy-inspired cooperative trajectory planning algorithm for a class of nonlinear constrained dynamical systems (Q5265700) (← links)
- A survey on compositional algorithms for verification and synthesis in supervisory control (Q6080680) (← links)
- Compositional non-blockingness verification of finite automata with prioritised events (Q6544792) (← links)
