Pages that link to "Item:Q2440703"
From MaRDI portal
The following pages link to Supervisory control of modular systems with global specification languages (Q2440703):
Displaying 14 items.
- Maximally permissive coordinated distributed supervisory control of nondeterministic discrete-event systems (Q445939) (← links)
- On-line compositional controller synthesis for AGV (Q513815) (← links)
- Real-time preemptive scheduling of sporadic tasks based on supervisory control of discrete event systems (Q942318) (← links)
- Supervisory control for real-time scheduling of periodic and sporadic tasks with resource constraints (Q1049157) (← links)
- Verification complexity of a class of observational properties for modular discrete events systems (Q1679097) (← links)
- On conditional decomposability (Q1932746) (← links)
- Supervisory control synthesis of discrete-event systems using a coordination scheme (Q1941245) (← links)
- Coordination control of discrete-event systems revisited (Q2348358) (← links)
- Supervisory control of modular systems with global specification languages (Q2440703) (← links)
- Control of discrete-event systems with modular or distributed structure (Q2464943) (← links)
- Distributed computation of supremal conditionally controllable sublanguages (Q2792732) (← links)
- Coordination Control of Distributed Discrete-Event Systems (Q4560600) (← links)
- Robust and nonlinear control literature survey (No. 7) (Q5405791) (← links)
- Coordination Control of Distributed Discrete-Event Systems (Q5496926) (← links)
