Supervisory Control of Timed Discrete-Event Systems With Logical and Temporal Specifications
From MaRDI portal
Cited in
(13)- Analytical methods for controlling timed event graphs with disturbances and paths subject to marking constraints: application to a disassembly process
- Design of control laws to guarantee mutual exclusion constraints in a network of linear min-plus systems with disturbance inputs
- Optimization-based computation of bounded sequences to reach target states in DESs
- Supervisory control of real-time discrete-event systems using lattice theory
- On a simplified untiming procedure for supervisory control of timed automata when the time increases strictly monotonically
- Supervisory-based quantised hands-off control for a class of uncertain systems with nonlinear sector
- An algebraic control method to guarantee generalized marking constraints for partially observable timed event graphs
- Control of a class of discrete event systems with disturbances and capacity constraints: application to a disassembly problem
- A state class based controller synthesis approach for time Petri nets
- Formal solution for the generalized mutual exclusion constraints problem in a class of timed Petri nets
- Supervisory control of timed event graphs with partial specifications
- An extremum timed extended reachability graph for temporal analysis of time Petri nets
- Control laws synthesis for timed event graphs subject to generalised marking constraints by Min-Plus algebra: application to cluster tools
This page was built for publication: Supervisory Control of Timed Discrete-Event Systems With Logical and Temporal Specifications
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5092184)
