Pages that link to "Item:Q1941245"
From MaRDI portal
The following pages link to Supervisory control synthesis of discrete-event systems using a coordination scheme (Q1941245):
Displaying 15 items.
- On a structural property in the state complexity of projected regular languages (Q443744) (← links)
- Synthesis of controllable and normal sublanguages for discrete-event systems using a coordinator (Q553375) (← links)
- State complexity of projection on languages recognized by permutation automata and commuting letters (Q832938) (← links)
- Computation of controllable and coobservable sublanguages in decentralized supervisory control via communication (Q1686848) (← links)
- Supervisory control and reactive synthesis: a comparative introduction (Q1693819) (← links)
- A switched multicontroller for an SEIADR epidemic model with monitored equilibrium points and supervised transients and vaccination costs (Q1713833) (← links)
- On conditional decomposability (Q1932746) (← links)
- Online verification of \(K\)-step opacity by Petri nets in centralized and decentralized structures (Q2081818) (← links)
- Supervisory control of state-tree structures with partial observation (Q2200558) (← links)
- Coordination control of discrete-event systems revisited (Q2348358) (← links)
- Distributed computation of supremal conditionally controllable sublanguages (Q2792732) (← links)
- On the State and Computational Complexity of the Reverse of Acyclic Minimal DFAs (Q2914712) (← links)
- Coordination Control of Distributed Discrete-Event Systems (Q4560600) (← links)
- State Complexity of Projected Languages (Q5200092) (← links)
- Coordination Control of Distributed Discrete-Event Systems (Q5496926) (← links)
