Pages that link to "Item:Q4974146"
From MaRDI portal
The following pages link to Modular Control of Discrete-Event Systems With Coalgebra (Q4974146):
Displaying 11 items.
- Development of concurrent structural decentralised discrete event system using bisimulation concept (Q330298) (← links)
- Synthesis of controllable and normal sublanguages for discrete-event systems using a coordinator (Q553375) (← links)
- Control of discrete-event systems with partial observations using coalgebra and coinduction (Q816696) (← links)
- Computation of controllable and coobservable sublanguages in decentralized supervisory control via communication (Q1686848) (← links)
- Supervisory control synthesis of discrete-event systems using a coordination scheme (Q1941245) (← links)
- Coordination control of discrete-event systems revisited (Q2348358) (← links)
- Control of discrete-event systems with modular or distributed structure (Q2464943) (← links)
- Coinduction in concurrent timed systems (Q2919457) (← links)
- State Complexity of Projected Languages (Q5200092) (← links)
- Coordination Control of Distributed Discrete-Event Systems (Q5496926) (← links)
- On coparanormality in distributed supervisory control of discrete-event systems (Q6578475) (← links)
