Pages that link to "Item:Q4978997"
From MaRDI portal
The following pages link to Model Abstraction of Nondeterministic Finite-State Automata in Supervisor Synthesis (Q4978997):
Displaying 10 items.
- Application of supervisory control theory to theme park vehicles (Q351743) (← links)
- Maximally permissive coordinated distributed supervisory control of nondeterministic discrete-event systems (Q445939) (← links)
- Nonconflict check by using sequential automaton abstractions based on weak observation equivalence (Q976261) (← links)
- Networked supervisor synthesis against lossy channels with bounded network delays as non-networked synthesis (Q2151821) (← links)
- On the stabilization of nondeterministic finite automata via static output feedback (Q2284307) (← links)
- Coordination control of discrete-event systems revisited (Q2348358) (← links)
- Employing behavioral preorders to define controllability for nondeterministic discrete-event systems (Q2348368) (← links)
- A survey on compositional algorithms for verification and synthesis in supervisory control (Q6080680) (← links)
- Overview of networked supervisory control with imperfect communication channels (Q6160970) (← links)
- Bisimilarity enforcing supervisory control of nondeterministic discrete event systems with nondeterministic specifications (Q6198141) (← links)
