Pages that link to "Item:Q1389228"
From MaRDI portal
The following pages link to Supervisor synthesis for real-time discrete event systems (Q1389228):
Displaying 15 items.
- Sampled-data supervisory control (Q481359) (← links)
- Supervisor direct synthesis method for a structured discrete dynamical system (Q612182) (← links)
- A supervisory control method for ensuring the conformance of real-time discrete event systems (Q816702) (← links)
- State based control of timed discrete event systems using binary decision diagrams (Q864498) (← links)
- On supervisory control of real-time discrete-event systems (Q1115839) (← links)
- Supervisor reduction for discrete-event systems (Q1424972) (← links)
- A hierarchical consistency framework for real-time supervisory control (Q1790660) (← links)
- Scheduling and control of real-time systems based on a token player approach (Q2393143) (← links)
- A control synthesis approach for time discrete event systems (Q2489593) (← links)
- Supervisory control of discrete event systems with flexible marking (Q2511869) (← links)
- Maximally permissive controller synthesis for time Petri nets (Q2871733) (← links)
- A Learning-Based Synthesis Approach to the Supremal Nonblocking Supervisor of Discrete-Event Systems (Q4559495) (← links)
- Formalizing Real-Time Scheduling Using Priority-Based Supervisory Control of Discrete-Event Systems (Q5281872) (← links)
- (Q5375230) (← links)
- Discussion on: ``Supervisory control of discrete event systems with flexible marking'' (Q5971307) (← links)
