Pages that link to "Item:Q2983297"
From MaRDI portal
The following pages link to A Framework for Compositional Synthesis of Modular Nonblocking Supervisors (Q2983297):
Displaying 12 items.
- Compositional synthesis of supervisors in the form of state machines and state maps (Q503186) (← links)
- Supervisory control of discrete event systems with distinguishers (Q889009) (← links)
- What information really matters in supervisor reduction? (Q1626914) (← links)
- Compositional coordinator synthesis of extended finite automata (Q2058570) (← links)
- Optimal modular control of discrete event systems with distinguishers and approximations (Q2063103) (← links)
- Consistent reduction in discrete-event systems (Q2151838) (← links)
- Time-optimal control of large-scale systems of systems using compositional optimization (Q2177769) (← links)
- SCT-based priority-free conditionally-preemptive scheduling of modular real-time systems with exact task execution time (Q2177772) (← links)
- Synthesis of least restrictive controllable supervisors for extended finite-state machines with variable abstraction (Q2197579) (← links)
- Abstraction-Based Verification and Synthesis for Prognosis of Discrete Event Systems (Q2821258) (← links)
- Optimal non‐blocking decentralized supervisory control with unobservable controllable events (Q5194895) (← links)
- A survey on compositional algorithms for verification and synthesis in supervisory control (Q6080680) (← links)
