Pages that link to "Item:Q5092184"
From MaRDI portal
The following pages link to Supervisory Control of Timed Discrete-Event Systems With Logical and Temporal Specifications (Q5092184):
Displaying 9 items.
- On a simplified untiming procedure for supervisory control of timed automata when the time increases strictly monotonically (Q4454754) (← links)
- Supervisory control of timed event graphs with partial specifications (Q4546954) (← links)
- Supervisory control of real-time discrete-event systems using lattice theory (Q4876585) (← links)
- Supervisory-based quantised <i>hands-off</i> control for a class of uncertain systems with nonlinear sector (Q6150868) (← links)
- A state class based controller synthesis approach for time Petri nets (Q6535204) (← links)
- Control laws synthesis for timed event graphs subject to generalised marking constraints by Min-Plus algebra: application to cluster tools (Q6548596) (← links)
- An algebraic control method to guarantee generalized marking constraints for partially observable timed event graphs (Q6580667) (← links)
- Control of a class of discrete event systems with disturbances and capacity constraints: application to a disassembly problem (Q6583363) (← links)
- An extremum timed extended reachability graph for temporal analysis of time Petri nets (Q6645150) (← links)
