Pages that link to "Item:Q4395809"
From MaRDI portal
The following pages link to Discrete-event control of nondeterministic systems (Q4395809):
Displaying 10 items.
- Modeling and control of discrete event systems using finite state machines with variables and their applications in power grids (Q450726) (← links)
- Nonblocking check in fuzzy discrete event systems based on observation equivalence (Q529370) (← links)
- Generalized detectability for discrete event systems (Q539906) (← links)
- Analysis and control of fuzzy discrete event systems using bisimulation equivalence (Q714871) (← links)
- Verification of asynchronous systems with an unspecified component (Q1731830) (← links)
- Employing behavioral preorders to define controllability for nondeterministic discrete-event systems (Q2348368) (← links)
- Compositionality issues in discrete, continuous, and hybrid systems (Q2716781) (← links)
- Verification of safe diagnosability of stochastic discrete-event systems (Q5027364) (← links)
- A survey on compositional algorithms for verification and synthesis in supervisory control (Q6080680) (← links)
- Bisimilarity enforcing supervisory control of nondeterministic discrete event systems with nondeterministic specifications (Q6198141) (← links)
