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 21 items.
- On a structural property in the state complexity of projected regular languages (Q443744) (← links)
- Maximally permissive coordinated distributed supervisory control of nondeterministic discrete-event systems (Q445939) (← links)
- Synthesis of controllable and normal sublanguages for discrete-event systems using a coordinator (Q553375) (← links)
- Supervisor direct synthesis method for a structured discrete dynamical system (Q612182) (← links)
- State complexity of projection on languages recognized by permutation automata and commuting letters (Q832938) (← links)
- Supervisory control using augmented languages in discrete event systems (Q1314846) (← 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)
- Supervisory control of modular systems with global specification languages (Q2440703) (← 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)
- Confusion avoidance for discrete event systems by P/E constraints and supervisory control (Q4683964) (← links)
- State Complexity of Projected Languages (Q5200092) (← links)
- (Q5375230) (← links)
- Coordination Control of Distributed Discrete-Event Systems (Q5496926) (← links)